←Search results

Search “Microsoft”

By relevance · Total 5 results Clear search

Friday

  1. Microsoft AI Blog

    Microsoft AI releases the MAI-DxO diagnostic system and the SDBench benchmark, with results published in Science

    Microsoft AI has released the AI diagnostic system MAI-DxO and the step-by-step diagnostic benchmark SDBench, with the related results published in Science. On 304 complex NEJM cases, MAI-DxO achieved a diagnostic accuracy of 83%, compared with 36% for doctors with external reference materials and 22% without reference materials; on common emergency cases in MIMIC-IV-ED, MAI-DxO scored 80%, compared with 47% for doctors. The system selects examination items step by step through multi-round debates among multiple virtual doctors, and still achieves 81% accuracy under a cost-optimized configuration at less than half the cost of comparison systems, and it has open-sourced the benchmark and scoring code for the SDBench subset of NEJM cases.

    Microsoft AI has released the AI diagnostic system MAI-DxO and the step-by-step diagnostic benchmark SDBench, with the related results published in Science. On 304 complex NEJM cases, MAI-DxO achieved a diagnostic accuracy of 83%, compared with 36% for doctors with external reference materials and 22% without reference materials; on common emergency cases in MIMIC-IV-ED, MAI-DxO scored 80%, compared with 47% for doctors. The system selects examination items step by step through multi-round debat

    Matched fieldsTitle

    #company#Papers/Research#Agents#Evaluations / benchmarks

Thursday

Wednesday

Thursday

  1. Story1 reports · 1 facts

    Microsoft researchers prove the KLS conjecture

    Microsoft Research researcher Xinzhi Zhang and co-authors proved the KLS conjecture proposed in 1995, giving a dimension-independent fixed bound; the previous best result only allowed the bound to grow slowly with dimension. According to Microsoft Research, the proof came from a human-guided agent search process, in which the team explored more than 100 candidate paths, which researchers evaluated, pruned, and redirected. An independent team also gave a complete proof around the same time, followed by Lean 4 formal verification. The authors state that previous unguided end-to-end attempts with multiple frontier models failed to achieve the goal. Another report states that AI agents explored about 100 research paths, the draft was about 140 pages, AI was responsible for exploring candidate methods, executing derivations, assisting in writing the manuscript, and performing internal proof checks, while the recursive method and error bounds that completed the proof are credited to the two researchers.

    Microsoft Research researcher Xinzhi Zhang and co-authors proved the KLS conjecture proposed in 1995, giving a dimension-independent fixed bound; the previous best result only allowed the bound to grow slowly with dimension. According to Microsoft Research, the proof came from a human-guided agent search process, in which the team explored more than 100 candidate paths, which researchers evaluated, pruned, and redirected. An independent team also gave a complete proof around the same time, follo

    Matched fieldsTitle

Sunday

  1. FactRelated story

    Microsoft researchers prove the KLS conjecture

    Microsoft Research researcher Xinzhi Zhang and co-authors proved the KLS conjecture proposed in 1995, giving a dimension-independent fixed bound; the previous best result only allowed the bound to grow slowly with dimension. According to Microsoft Research, the proof came from a human-guided agent search process, in which the team explored more than 100 candidate paths, which researchers evaluated, pruned, and redirected. An independent team also gave a complete proof around the same time, followed by Lean 4 formal verification. The authors state that previous unguided end-to-end attempts with multiple frontier models failed to achieve the goal. Another report states that AI agents explored about 100 research paths, the draft was about 140 pages, AI was responsible for exploring candidate methods, executing derivations, assisting in writing the manuscript, and performing internal proof checks, while the recursive method and error bounds that completed the proof are credited to the two researchers.

    Matched fieldsTitle

    View story:Microsoft researchers prove the KLS conjecture