Top AI Stories · October 23, 2026

Microsoft's diagnostic AI reaches Science

Microsoft's MAI-DxO, a panel of AI agents, outscored unaided doctors on hard cases in a Science paper. Separately, Anthropic used Claude to prove 123 libraries cannot crash. Plus 6 more stories.

Listen to this brief

Free preview · first 0:30
0:00 / 0:30

Audio & video are paid features

Plus unlocks audio streaming and PDF downloads. Pro adds offline MP3 downloads, video, certificates, and more.

Plus adds:
  • Audio streaming
  • Downloadable PDFs
  • All AI Playbooks
  • Personalized content
Pro also adds:
  • Certificates of completion
  • Audio MP3 downloads
  • Video lessonssoon
  • & More…soon

Microsoft's diagnostic agents cleared peer review in Science, while Anthropic showed Claude writing machine-checked proofs across 123 open-source libraries, at a scale the company calls a first.

  1. 1

    Microsoft's MAI-DxO diagnostic system reaches Science, outscoring doctors on hard cases

    Microsoft AI published its MAI-DxO system in the journal Science on Thursday. It works as a panel of AI agents that question a patient, order tests and debate a diagnosis step by step, weighing each test's value against its cost. On 304 complex cases from the New England Journal of Medicine it was right 83 percent of the time, against 36 percent for general physicians working with reference materials, while ordering fewer tests. Two caveats matter: specialists were not in the comparison, and every case was a simulation. A prospective study with Beth Israel Deaconess Medical Center in Boston, where patients talk to the system directly, comes next.

  2. 2

    Anthropic uses Claude to prove 123 open-source libraries cannot crash

    Working with the formal-methods startup Theorem, Anthropic's Frontier Red Team had Claude turn existing fuzz tests from Google's OSS-Fuzz project into mathematical specifications, then write machine-checked proofs that 239 entry points across 123 libraries never crash on any input up to 64 megabytes. The proofs run to about 180 million lines in the Rocq proof assistant and are checked automatically, not by people. Along the way Claude found and patched hundreds of bugs that years of fuzzing had missed. The guarantee is narrow, covering single-threaded RISC-V programs on Linux, but Anthropic is publishing a subset of the proofs, and Theorem is offering to run the same pipeline for other open-source projects.

  3. 3

    OpenAI nears a $30 billion round at $1.25 trillion, below its October asking price

    OpenAI told investors on Thursday that it wants signatures by the end of next week on a round of up to $30 billion, led by Coatue and investors from the United Arab Emirates, CNBC reported. The price values OpenAI at $1.25 trillion before the new money, about $150 billion below the roughly $1.4 trillion it had put to backers earlier in October. It is the same bridge round first reported in late September, now at a lower number. OpenAI, which filed confidentially for an IPO in June, declined to comment, and the terms could still change.

  4. 4

    DeepSeek reportedly nears a record raise of up to $15 billion, with Tencent and CATL

    DeepSeek is close to securing at least 80 billion yuan, about $12 billion, and signed term sheets could take the round toward 100 billion yuan, roughly $15 billion, Bloomberg reported, with Tencent and battery maker CATL among the largest backers. That would rank among the biggest private rounds ever raised in China, by a lab that took its first outside money only in June. It lands days after the US published a federal order requiring civilian agencies to remove DeepSeek's technology from their systems. DeepSeek did not respond to requests for comment.

  5. 5

    OpenAI makes its Decisions API generally available, built on GPT-6 Luna

    OpenAI moved its Decisions API out of beta on Thursday. The service runs GPT-6 Luna on questions with bounded answers, such as classifying an input, routing a request or choosing an agent's next action, and OpenAI says it responds up to 10 times faster than calling Luna through the Responses API. Since the public beta began in early October it has gained prompt caching, inference residency in the US and EU, a GPT-Live voice integration, and up to 400 questions per request. It competes directly with TypeSafe's Jev, which opened the category in September.

  6. 6

    MiniMax publishes the M3.1 Flash weights under its non-open-source community license

    Days after an API-only launch, MiniMax put the weights for M3.1 Flash on Hugging Face: a multimodal mixture-of-experts model of about 428 billion parameters, 23 billion of them active per token, with a context window of up to one million tokens. The license is the MiniMax Community License, not an open-source one. Non-commercial use is free, while commercial users must display "Built with MiniMax M3.1-Flash" and notify the company, products earning more than 20 million dollars a year need written authorization, and military use is prohibited. The commercial thresholds match the ones MiniMax set for M3 in June.

  7. 7

    Canva releases Craft, its first in-house image model, trained on its own templates

    Canva released Canva Craft on Thursday, its first image-generation model built in-house, to all users through its Dream Lab tool. It works in two stages, first planning element placement, scale and text, then rendering at up to 2K resolution in more than 30 aspect ratios. Canva trained it on millions of human-made templates from its own library rather than on photographs. It debuted fourth on Design Arena's crowdsourced leaderboard, behind three OpenAI image models, and cheaper Craft-fast and Craft-ultrafast versions are due later.

  8. 8

    Google maps the world's forest types at 10-meter detail for the EU deforestation law

    Google DeepMind and Google Research, with the World Resources Institute and the International Institute for Applied Systems Analysis, released Forest Typology, a global map sorting every 10-meter patch of land into primary forest, naturally regenerating forest, planted forest, plantations, tree crops or other land. Checked against more than 9,000 expert-reviewed sites, it named the right forest type 90 percent of the time. It is built as the 2020 baseline for the EU deforestation regulation, which bars coffee, cocoa, palm oil and wood grown on land cleared after that year. The map, plus an early time series running from 2017 through 2025, is free on Google Earth Engine under an open license.

Get Top AI Stories by email

The day's most important AI news — free, daily, unsubscribe anytime.

Share
Spot a typo or have feedback?Share feedback

Sources

  1. 1.OpenAI working on new $30B raise at $1.25T valuation ahead of IPO — TechCrunch · October 22, 2026
  2. 2.Beyond tree cover: mapping the world's forest types — Google DeepMind · October 22, 2026
  3. 3.Build more responsive apps with the Decisions API — OpenAI · October 22, 2026
  4. 4.DeepSeek reportedly raises $15B days after US restrictions — TechCrunch · October 22, 2026
  5. 5.Microsoft says its AI tool is better than doctors at diagnosing conditions — The Verge · October 22, 2026
  6. 6.LLMs are making formal software verification feasible at a much larger scale — Anthropic · October 22, 2026
  7. 7.OpenAI Nears $30 Billion Round at $1.25 Trillion Valuation — Implicator · October 22, 2026
  8. 8.MiniMax-M3.1-Flash — Hugging Face · October 23, 2026
  9. 9.Building medical superintelligence — Microsoft AI · October 22, 2026
  10. 10.Canva's first AI image model plans designs before generating them — The Verge · October 22, 2026

AI disclosure: Researched and drafted with AI; reviewed and edited by the AI Pro Playbook editorial team before publishing. Sources above link to original publishers.

🧭Recommended for you