Trends

AI starts producing verified scientific and mathematical results

AI in scientific discovery · Since May 8

Organizations

Google DeepMindOpenAIAnthropicBigHat BiosciencesHugging Face

Updates

  1. Oct 9

    OpenAI published new results on open math problems with Lean-formalized proofs, and Hugging Face's Carbon-A proposed 566M candidate genes across 22,617 species.

    OpenAI's model produces new math resultsHugging Face's Carbon-A gene finder

  2. Sep 25

    About 950 Claude agents in Anthropic's life-sciences lab found a previously uncharacterized CRISPR-like enzyme system (ART) in 21 hours, and BigHat raised $75M for an agentic wet-lab design loop.

    Claude agents discover a CRISPR-like enzymeBigHat Biosciences raises $75M for protein design

  3. Sep 4

    GPT-6 Astra saturated FrontierMath Tier 4 (~98%), Anthropic's Mythos 5.1 designed protein binders at a ~50% hit rate, and Google's WeatherNext 3 produced hourly ~5 km forecasts with precipitation CRPS gains up to 60%.

    OpenAI's GPT-6 AstraAnthropic's Claude Fable 5.1 and Mythos 5.1Google's WeatherNext 3

  4. May 22

    An OpenAI general-purpose reasoning model disproved Erdős's 1946 unit distance conjecture, verified by nine mathematicians including W.T. Gowers, and Nature published DeepMind's Co-Scientist, whose lab-validated liver fibrosis candidate blocked 91% of a scarring response.

    OpenAI model disproves Erdős unit distance conjectureGoogle DeepMind's Co-Scientist published in Nature

  5. May 15

    SU-01, a 30B-A3B MoE trained with curriculum SFT, staged RL, and test-time verification, reached gold on IMO 2025, USAMO 2026, and IPhO 2024–25, scoring 35/42 and matching the top human among 340 USAMO competitors.

    SU-01 reaches olympiad gold at 30B-A3B

  6. May 8New

    Google DeepMind's AI Co-Mathematician scored 48% on FrontierMath Tier 4 versus 19% for its base model and solved three problems no AI had solved, while AlphaEvolve's first production year cut Gemini training time 1.5% and reached drug discovery and DNA sequencing.

    Google DeepMind's AI Co-MathematicianAlphaEvolve's first year in production

Predictions

  1. Nov 2026

    A peer-reviewed mathematical or formal-methods result with AI as a primary algorithmic contributor is accepted at a top venue such as STOC, FOCS, or Annals of Mathematics, setting a precedent for AI attribution. May 8

  2. Nov 2026

    A compact model of 50B parameters or fewer reaches IMO and USAMO gold in a direct pass without test-time refinement, using increasingly standardized training recipes. May 15

  3. Nov 2026

    At least one AI-assisted result is accepted at STOC, FOCS, or the Annals of Mathematics with AI credited as a primary contributor, forcing new journal and grant-agency policies on AI authorship. May 22

  4. Mar 2027

    Verifiable, artifact-producing scientific contribution becomes a standard axis of model comparison, and labs pair releases with domain-specific evaluation and wet-lab or formal validation. Sep 4

  5. Mar 2027

    Labs increasingly pair models with wet-lab validation, and large-scale hypothesis generation becomes a productized discovery workflow. Sep 25

  6. Apr 2027

    Artifact-producing scientific output such as formal proofs and annotated genomes becomes a recurring release type, shifting scrutiny toward reproducibility, citation norms, and wet-lab or formal verification. Oct 9