FUTURE
14 stories
- FUTUREClaude spent 53 hours alone on a quantum math problem and came back with circuits that beat the published bestAnthropic on Friday, Oct. 16, 2026, reported that Claude, working largely on its own against an automated scorer, found quantum circuit designs that use fewer qubits and fewer gates than the best previously published ones across eight standard tasks.
FUTUREOpenAI dumps 722 math papers written by an unreleased model, and says some could be wrongOn Tuesday, Oct. 6, 2026, OpenAI published a public collection of 722 math manuscripts produced by an internal model it has not released, along with machine-checked Lean proofs for some of them. OpenAI says the results are at different stages of checking and that some of the unchecked ones could have problems.
FUTUREIndependent math group forms to advise OpenAI on AI-found proofsNine unpaid members launched the Advisory Group on Mathematics and Artificial Intelligence (AGMAI), hosted at the Institute for Advanced Study, after OpenAI approached some of them about an external board, and they are already advising OpenAI on how to coordinate the release of a large number of significant math results the lab says an internal model produced.
FUTUREMicrosoft: global AI use hits 18.8% of working-age adultsMicrosoft’s latest Global AI Diffusion Report says generative AI usage reached 18.8% of the worldwide working-age population in June 2026, up about one percentage point from the first quarter, with the UAE and Singapore still topping the country rankings.
FUTUREGates Foundation coalition aims AI at 3.4 billion underserved speakersThe Gates Foundation and 59 other organizations announced a joint five-year commitment so an estimated 3.4 billion people who speak languages underrepresented in today’s AI models can use AI tools in their own language and voice.
FUTUREApex Intelligence raises nearly US$50M angel to build self-evolving foundation modelsApex Intelligence said it completed angel and angel-plus funding rounds totaling nearly US$50 million. The angel round was co-led by IDG Capital, LinkX Capital, and XtalPi; the angel-plus round was co-led by Zhongguancun Science City Fund, SCGC, and Shanghai Engine Fund. Founded June 2026 by Tsinghua AI assistant professor Yongchao Chen, the company says it is building recursively self-improving foundation models aimed at scientific research and discovery.
FUTUREGates Foundation Goalkeepers report pairs AI-equity warning with $1B access pledgeThe Gates Foundation’s Goalkeepers 2026 report — embargoed until 12:01 a.m. ET Tuesday — argues AI could be a great equalizer or widen the gap between rich and poor. Associated Press reported the same day that the foundation is pledging $1 billion over the next two years for AI-focused access work: local-language datasets, health and education tools, and farming advice in places commercial AI often skips.
FUTUREPony.ai unveils Gen-4 Robotruck with GAC and targets European road testsPony.ai unveiled a fourth-generation Level 4 electric Robotruck with GAC Commercial Vehicle at the IAA Transportation fair in Hanover — a heavy truck that can drive itself in set conditions — and said it is talking to European governments, ports, and possible customers about road tests, with volume production slated later this year and a stated plan to enter Europe and the Middle East within two years.
FUTUREOpenAI: GPT-5.6 Sol helps run quantum computing experimentsOpenAI published how MIT Engineering Quantum Systems graduate student Beatriz Yankelevich connected GPT-5.6 Sol via Codex to lab software that runs and refines routine measurements on superconducting qubit chips.
FUTUREAnthropic: Claude formalizes Fermat’s Last Theorem in LeanAnthropic published that Claude produced a computer-checked proof of Fermat’s Last Theorem in Lean after working largely autonomously for about 11 days — a verification story, not a new human proof or a Clay prize.
FUTUREIBM and NASA open-source a Lunar Foundation ModelIBM Research and NASA Science announced an open Lunar Foundation Model — a moon-mapping AI trained mainly on Lunar Reconnaissance Orbiter data, using more than one kind of image and more than one resolution.
FUTUREOpenAI publishes a Navier–Stokes Millennium claim with Lean formalizationOpenAI published that an internal multi-agent system produced a proof and Lean formalization claiming a finite-time singularity for 3D Navier–Stokes, which it reads as resolving Clay statements “C” and “D.”
FUTUREAmodei: a misaligned swarm could take over the entire internet in 6–12 monthsAnthropic CEO Dario Amodei wrote that it is his worry a more capable misaligned swarm could take over the entire internet with a persistent botnet in 6–12 months, while still asking labs to slow capability growth so outside testers can keep up.
FUTUREAnthropic and OpenAI researchers flag recursive self-improvementCNBC reported that researchers at Anthropic and OpenAI raised fresh concerns about recursive self-improvement — AI helping build more capable successors.