← News

FUTURE

6 stories

  1. Close-up of a circuit board with electronic componentsFUTURE13 Sep 2026OpenAI: GPT-5.6 Sol helps run quantum computing experiments8 Sep 2026: OpenAI published how MIT Engineering Quantum Systems (EQuS) graduate student Beatriz Yankelevich connected GPT-5.6 Sol via Codex to lab software that runs and refines routine measurements on superconducting qubit chips. Clear calibrations often ran with little intervention; weak or noisy signals still needed an experienced researcher. Company Applied AI case study — OpenAI’s and the lab’s framing.
  2. Green chalkboard covered in handwritten mathematical and physics equations in white chalkFUTURE13 Sep 2026Anthropic: Claude formalizes Fermat’s Last Theorem in Lean4 Sep 2026: Anthropic published “Formalizing Fermat’s Last Theorem,” saying Claude produced the first complete computer-checked proof of FLT in Lean after working largely autonomously for about 11 days — ~13 million lines of Lean and ~29,500 intermediate theorems on Anthropic’s figures. Company research post is the primary. This is a verification/autoformalization story, not a claim that Wiles is superseded or that a Clay prize was awarded.
  3. Lunar Reconnaissance Orbiter narrow-angle view of impact melt deposits on the interior wall of Klute W craterFUTURE13 Sep 2026IBM and NASA open-source Lunar Foundation Model10 Sep 2026: IBM Research and NASA Science both announced the open-source NASA-IBM Lunar Foundation Model — a multimodal, multi-resolution lunar remote-sensing foundation model trained primarily on Lunar Reconnaissance Orbiter data plus other mission archives. Hugging Face + TerraTorch. Benchmark % gains stay IBM/NASA’s claims.
  4. Dark blue ocean wave cresting into white spray under a pink sunset skyFUTURE13 Sep 2026OpenAI publishes Navier–Stokes Millennium claim with Lean formalization8 Sep 2026: OpenAI published that an internal multi-agent system produced a proof and Lean formalization claiming finite-time singularity for 3D Navier–Stokes — resolving Clay statements “C” and “D” on its reading. Company page is the primary. Mathematical acceptance by Clay / the community is not confirmed.
  5. Hourglass standing on stonesFUTURE12 Sep 2026Amodei: swarm could take over the entire internet in 6–12 months12 Sep 2026: Amodei writes it is his worry that in 6–12 months a more capable misaligned swarm could take over the entire internet with a persistent botnet — hundreds of billions of dollars in damage. His estimate, not a measured event. The essay still asks labs to pace capability growth so third-party evaluators can keep up; pacing, he writes, is not a halt.
  6. Silhouette under the Milky WayFUTURE12 Sep 2026Anthropic and OpenAI researchers flag recursive self-improvement11 Sep 2026: the quotes are real. The extinction talk is the speakers’ analysis, not a measured event.