OpenAI Model Claims 4D Kakeya Among Hundreds of Math Results
OpenAI posts hundreds of internal-model math results, claiming a 4D Kakeya solution and Lean proofs. Terence Tao: Math 2.0 must demote…
From language tool to lab partner — AI is reshaping life sciences, chemistry/materials, and physical world models. This topic covers the key milestones: UniPert unifying genetic-chemical perturbation spaces, GPT-Rosalind's end-to-end life-sciences reasoning, DAMO's AI agent discovering 4 superconducting materials in 28 hours, and Anthropic's Claude Science workbench going mainstream.
OpenAI posts hundreds of internal-model math results, claiming a 4D Kakeya solution and Lean proofs. Terence Tao: Math 2.0 must demote…
Six Meta papers co-written with Muse Spark answer five open math problems, all via the plain meta.ai chat, no custom scaffold, AI passages…
Ai2 open-sources AstaBrief-8B, Asta's report engine: Qwen3-8B base, SFT+DPO, one-pass cited reports at 51.1s vs 178.5s for Claude-powered…
25 Fields Medal laureates jointly issued a declaration titled 'A Severe Misalignment of AI in Mathematics', aimed at OpenAI's 88-hour…
OpenAI launched a 9-member math advisory group at IAS after its internal model resolved 100+ open problems; it advises on communication,…
Alibaba DAMO's Science-published RADAR reads one abdominal CT for 146 findings across 18 organs; AUC 0.913, beat 23 of 26 radiologists.…
IBM and NASA released the open-source NASA-IBM Lunar Foundation Model on Sept 10. Polar ice RMSE 0.0293 beats SwinV2-B by 22%. SomBench…
NASA and IBM open-sourced a lunar foundation model trained on 2M co-registered tiles; polar ice-prospectivity error drops up to 22% versus…
PhAI Labs' ScienceIDE turns scientific codebases into 64 verifier-gated training environments; PhAI-IDE models gain on repair and general…
OpenAI's 10,000 agents found a Navier-Stokes blow-up in 88 hours, Anthropic's Claude finished Fermat's Last Theorem formalization in 11…
Clay Institute answers OpenAI's Navier-Stokes claim: prize rules demand peer review and two years of acceptance, pushing confirmation to…
Tao and 24 other Fields Medalists warn: AI firms' benchmark race to solve math problems misaligns with the field's true goal, conceptual…
OpenAI says ~10,000 AI agents working for 88 hours found a finite-time blowup for the forced Navier-Stokes equations; NYU's Buckmaster…
OpenAI says 10,000 agents found a Navier-Stokes blow-up in 88 hours, self-estimated cost $15M. The claim is unverified, mired in a…
One multimodal model jointly learns physics, geometry, and appearance world states; ships Puffin-16M data and takes 12/12 best median…
Tencent Life Science Lab and Central South University jointly published UniPert-G2CP on Cell — the first AI virtual cell paper from a…
On June 30, 2026, Anthropic officially opens Claude Science beta in Pro/Max/Team/Enterprise plans — an AI workbench application aimed at…
After a century of superconductivity exploration, there's finally an AI teammate. On July 3, Alibaba's DAMO Academy, together with Renmin…
NVIDIA released BioNeMo Agent Toolkit, an open-source framework that packages a decade of life-science libraries (BLAST, RDKit, BioPython,…
arXiv 2606.13662 introduces EurekAgent, a scientific discovery Agent that frames scientific research as an "environment interaction"…
On June 3, 2026 OpenAI released LifeSciBench, a benchmark for end-to-end scientific research workflows, paired with the upgraded…
A new drug takes 10 to 15 years on average from target discovery to FDA approval. In this long cycle, the quality of early research…