DeepMind's AlphaProof Nexus solves 9 Erdős problems, two open for over 50 years, with Lean proofs
Results across 353 attempted Erdős problems and 492 OEIS conjectures are public in DeepMind's GitHub repository with machine-checked proofs.

Hillclimb's 15 tasks are scored by private held-out verifiers; Claude Fable 5.1 leads at 1548 Elo ahead of GPT-6 Astra at 1232.
Results across 353 attempted Erdős problems and 492 OEIS conjectures are public in DeepMind's GitHub repository with machine-checked proofs.
Available in Microsoft Foundry, it takes typed yes/no, choice and score questions; it joins OpenAI's Decisions API in the fast-decision niche.
The 'mito-polariton' is inferred rather than directly measured; the bioRxiv work is not peer reviewed and needs independent replication.
Announced at Gemini at Work 2026, the agents act under their own Workspace identity; it is a private preview with no pricing or GA date.
The stealth startup is led by a former Tencent scientist; the round was not finalized and DeepSeek has not commented publicly.
Ting-Wei Sun pleaded guilty in Manhattan federal court to four counts; prosecutors allege about $2.5 billion in AI hardware was shipped without licenses.
Docs describe a coordinator that spawns threads on separate branches that keep running while the user's computer is off; access is a beta for Pro and Max.
The FDA approval letter is dated October 8; Teva says U.S. availability follows in the coming weeks.
Higher-functioning patients (FAC 4) improved in walking, balance and gait speed, a subgroup finding that needs confirmation.
Owain Evans and co-authors report partial transfer of a backdoor and a hacking propensity through distillation on number sequences; the arXiv preprint is not yet reviewed.
The policy excludes ordinary frustration, dark fiction and model testing; Claude ending the chat is the main enforcement tool.