{
  "api_version": "1",
  "updated": "2026-11-10",
  "latest_event": "2026-11-09",
  "rights": "© Frontier Log, all rights reserved.",
  "total": 15,
  "events": [
    {
      "slug": "2023-12-14-funsearch",
      "date": "2023-12-14",
      "provider": "google",
      "importance": "major",
      "title": "Google introduces FunSearch",
      "headline": "Google introduces FunSearch",
      "detail": "Pairing an LLM with an evaluator, Google DeepMind's FunSearch found new solutions to open math problems.",
      "tags": [
        "math"
      ],
      "related": [],
      "source": "https://deepmind.google/blog/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-models/",
      "models": [],
      "source_title": "FunSearch: Making new discoveries in mathematical sciences using Large Language Models",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": null,
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2023-12-14-funsearch",
      "image": "https://frontierlog.ai/og/2023-12-14-funsearch.png"
    },
    {
      "slug": "2024-01-17-alphageometry",
      "date": "2024-01-17",
      "provider": "google",
      "importance": "major",
      "title": "AlphaGeometry",
      "headline": "Google launches AlphaGeometry",
      "detail": "DeepMind's neuro-symbolic system solved 25 of 30 Olympiad geometry problems; code and model open-sourced.",
      "tags": [
        "model-releases",
        "math"
      ],
      "related": [],
      "source": "https://deepmind.google/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/",
      "models": [
        "alphageometry"
      ],
      "source_title": "AlphaGeometry: An Olympiad-level AI system for geometry",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "In a benchmarking test of 30 Olympiad geometry problems, AlphaGeometry solved 25 within the standard Olympiad time limit.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2024-01-17-alphageometry",
      "image": "https://frontierlog.ai/og/2024-01-17-alphageometry.png"
    },
    {
      "slug": "2024-07-25-alphaproof-imo-silver-medal-level",
      "date": "2024-07-25",
      "provider": "google",
      "importance": "major",
      "title": "Google's AlphaProof reaches IMO silver-medal level",
      "headline": "Google's AlphaProof reaches IMO silver-medal level",
      "detail": "AlphaProof and AlphaGeometry 2 solved four of six IMO 2024 problems, scoring 28 of 42, silver-medal level.",
      "tags": [
        "math"
      ],
      "related": [],
      "source": "https://deepmind.google/blog/ai-solves-imo-problems-at-silver-medal-level/",
      "models": [],
      "source_title": "AI achieves silver-medal standard solving International Mathematical Olympiad problems",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "We earned 28 out of 42 total points, achieving the same level as a silver medalist in the competition.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2024-07-25-alphaproof-imo-silver-medal-level",
      "image": "https://frontierlog.ai/og/2024-07-25-alphaproof-imo-silver-medal-level.png"
    },
    {
      "slug": "2025-05-14-alphaevolve",
      "date": "2025-05-14",
      "provider": "google",
      "importance": "major",
      "title": "AlphaEvolve",
      "headline": "Google launches AlphaEvolve",
      "detail": "A Gemini-powered evolutionary coding agent that discovers and optimizes algorithms for math and computing.",
      "tags": [
        "model-releases",
        "agents",
        "coding",
        "science",
        "math"
      ],
      "related": [
        "2026-07-09-alphaevolve-generally-available-on-cloud"
      ],
      "source": "https://deepmind.google/blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/",
      "models": [
        "alphaevolve"
      ],
      "source_title": "AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": null,
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2025-05-14-alphaevolve",
      "image": "https://frontierlog.ai/og/2025-05-14-alphaevolve.png"
    },
    {
      "slug": "2025-07-21-gemini-deep-think-earns-imo-gold",
      "date": "2025-07-21",
      "provider": "google",
      "importance": "milestone",
      "title": "Google's Gemini Deep Think earns IMO gold",
      "headline": "Google's Gemini Deep Think earns IMO gold",
      "detail": "An advanced Gemini Deep Think solved five of six IMO problems in natural language, scoring 35 of 42 points.",
      "tags": [
        "math"
      ],
      "related": [],
      "source": "https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/",
      "models": [],
      "source_title": "Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "An advanced version of Gemini Deep Think solved five out of the six IMO problems perfectly, earning 35 total points, and achieving gold-medal level performance.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2025-07-21-gemini-deep-think-earns-imo-gold",
      "image": "https://frontierlog.ai/og/2025-07-21-gemini-deep-think-earns-imo-gold.png"
    },
    {
      "slug": "2026-02-11-aletheia-math-research-agent",
      "date": "2026-02-11",
      "provider": "google",
      "importance": "minor",
      "title": "Google introduces Aletheia math research agent",
      "headline": "Google introduces Aletheia math research agent",
      "detail": "A Gemini Deep Think agent that generates, verifies and revises solutions to research-level maths problems.",
      "tags": [
        "math"
      ],
      "related": [],
      "source": "https://deepmind.google/blog/accelerating-mathematical-and-scientific-discovery-with-gemini-deep-think/",
      "models": [],
      "source_title": "Gemini Deep Think: Redefining the Future of Scientific Research",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": null,
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-02-11-aletheia-math-research-agent",
      "image": "https://frontierlog.ai/og/2026-02-11-aletheia-math-research-agent.png"
    },
    {
      "slug": "2026-03-16-leanstral",
      "date": "2026-03-16",
      "provider": "mistral",
      "importance": "minor",
      "title": "Leanstral",
      "headline": "Mistral releases Leanstral",
      "detail": "Open-source code agent for the Lean 4 proof assistant, with 6B active parameters and weights under Apache 2.0.",
      "tags": [
        "model-releases",
        "open-weights",
        "coding",
        "math"
      ],
      "related": [],
      "source": "https://mistral.ai/news/leanstral/",
      "models": [
        "leanstral"
      ],
      "source_title": "Leanstral: Open-Source foundation for trustworthy vibe-coding",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "Unlike existing proving systems that act as wrappers around large generalist models or focus on single math problems, Leanstral is designed to be highly efficient (with 6B active parameters) and trained for operating in realistic formal repositories.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-03-16-leanstral",
      "image": "https://frontierlog.ai/og/2026-03-16-leanstral.png"
    },
    {
      "slug": "2026-05-20-openai-model-disproves-unit-distance-conjecture",
      "date": "2026-05-20",
      "provider": "openai",
      "importance": "minor",
      "title": "OpenAI model disproves Erdős unit distance conjecture",
      "headline": "OpenAI model disproves Erdős unit distance conjecture",
      "detail": "An internal general-purpose reasoning model disproved it, and external mathematicians checked the proof.",
      "tags": [
        "math"
      ],
      "related": [
        "2026-08-01-openai-ten-advances-in-mathematics"
      ],
      "source": "https://openai.com/index/model-disproves-discrete-geometry-conjecture",
      "models": [],
      "source_title": "An OpenAI model has disproved a central conjecture in discrete geometry",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "It marks the first time that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-05-20-openai-model-disproves-unit-distance-conjecture",
      "image": "https://frontierlog.ai/og/2026-05-20-openai-model-disproves-unit-distance-conjecture.png"
    },
    {
      "slug": "2026-07-02-leanstral-1-5",
      "date": "2026-07-02",
      "provider": "mistral",
      "importance": "minor",
      "title": "Leanstral 1.5",
      "headline": "Mistral releases Leanstral 1.5",
      "detail": "Open Lean 4 proof model, 119B total and 6B active, under Apache 2.0; solves 587 of 672 PutnamBench problems.",
      "tags": [
        "model-releases",
        "open-weights",
        "coding",
        "math"
      ],
      "related": [],
      "source": "https://mistral.ai/news/leanstral-1-5/",
      "models": [
        "leanstral-1-5"
      ],
      "source_title": "Leanstral 1.5: Proof Abundance for All",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "Today, we are releasing Leanstral 1.5, a free Apache-2.0 licensed model with 119B total and only 6B active parameters, delivering a performance upgrade that makes formal verification more powerful and accessible than ever.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-07-02-leanstral-1-5",
      "image": "https://frontierlog.ai/og/2026-07-02-leanstral-1-5.png"
    },
    {
      "slug": "2026-08-01-openai-ten-advances-in-mathematics",
      "date": "2026-08-01",
      "provider": "openai",
      "importance": "minor",
      "title": "OpenAI shares ten advances on open math problems",
      "headline": "OpenAI shares ten advances on open math problems",
      "detail": "Results on ten long-standing open problems from an internal version of Astra, each formalized in Lean.",
      "tags": [
        "math"
      ],
      "related": [
        "2026-05-20-openai-model-disproves-unit-distance-conjecture",
        "2026-10-06-openai-publishes-ai-math-results"
      ],
      "source": "https://openai.com/index/ten-advances-in-mathematics",
      "models": [],
      "source_title": "Ten advances in mathematics and theoretical computer science",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "Today, we are sharing a selection of ten results, each of which resolves or makes substantial progress on a long-standing open problem.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-08-01-openai-ten-advances-in-mathematics",
      "image": "https://frontierlog.ai/og/2026-08-01-openai-ten-advances-in-mathematics.png"
    },
    {
      "slug": "2026-08-10-claude-raises-riemann-zeta-zeros-bound",
      "date": "2026-08-10",
      "provider": "anthropic",
      "importance": "minor",
      "title": "Anthropic's Claude raises Riemann zeta zeros bound",
      "headline": "Anthropic's Claude raises Riemann zeta zeros bound",
      "detail": "An unreleased Claude model raised the lower bound on zeta zeros satisfying the Riemann hypothesis from 41.6% to 67.2%.",
      "tags": [
        "math"
      ],
      "related": [],
      "source": "https://www.anthropic.com/research/riemann-zeta",
      "models": [],
      "source_title": "Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "An unreleased research version of Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-08-10-claude-raises-riemann-zeta-zeros-bound",
      "image": "https://frontierlog.ai/og/2026-08-10-claude-raises-riemann-zeta-zeros-bound.png"
    },
    {
      "slug": "2026-09-04-claude-formalizes-fermats-last-theorem",
      "date": "2026-09-04",
      "provider": "anthropic",
      "importance": "minor",
      "title": "Anthropic's Claude formalizes Fermat's Last Theorem",
      "headline": "Anthropic's Claude formalizes Fermat's Last Theorem",
      "detail": "Working largely autonomously for 11 days, Claude wrote the first complete computer-checked proof, in Lean.",
      "tags": [
        "math"
      ],
      "related": [],
      "source": "https://www.anthropic.com/research/formalizing-fermats-last-theorem",
      "models": [],
      "source_title": "Formalizing Fermat's Last Theorem",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "In 11 days, working largely autonomously, Claude produced the first end-to-end, computer-checked proof of FLT.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-09-04-claude-formalizes-fermats-last-theorem",
      "image": "https://frontierlog.ai/og/2026-09-04-claude-formalizes-fermats-last-theorem.png"
    },
    {
      "slug": "2026-09-08-navier-stokes-solution",
      "date": "2026-09-08",
      "provider": "openai",
      "importance": "milestone",
      "title": "OpenAI shares AI solution to Navier–Stokes problem",
      "headline": "OpenAI shares AI solution to Navier–Stokes problem",
      "detail": "OpenAI shares an AI-generated solution to the Millennium Prize problem with a formal Lean proof.",
      "tags": [
        "math"
      ],
      "related": [
        "2026-10-26-openai-three-discoveries",
        "2026-10-06-openai-publishes-ai-math-results"
      ],
      "source": "https://openai.com/index/navier-stokes-solution",
      "models": [],
      "source_title": "On the Navier–Stokes Millennium Prize Problem",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": null,
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-09-08-navier-stokes-solution",
      "image": "https://frontierlog.ai/og/2026-09-08-navier-stokes-solution.png"
    },
    {
      "slug": "2026-10-06-openai-publishes-ai-math-results",
      "date": "2026-10-06",
      "provider": "openai",
      "importance": "minor",
      "title": "OpenAI publishes AI math results on GitHub",
      "headline": "OpenAI publishes AI math results on GitHub",
      "detail": "New results from an internal frontier model, with Lean formalizations of many of the proofs.",
      "tags": [
        "math"
      ],
      "related": [
        "2026-09-08-navier-stokes-solution",
        "2026-08-01-openai-ten-advances-in-mathematics"
      ],
      "source": "https://openai.com/index/sharing-ai-progress-in-mathematics",
      "models": [],
      "source_title": "Sharing AI progress in mathematics",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": "We’re releasing a broad range of new mathematical results produced by an internal frontier model.",
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-10-06-openai-publishes-ai-math-results",
      "image": "https://frontierlog.ai/og/2026-10-06-openai-publishes-ai-math-results.png"
    },
    {
      "slug": "2026-10-26-openai-three-discoveries",
      "date": "2026-10-26",
      "provider": "openai",
      "importance": "minor",
      "title": "OpenAI announces discoveries in math, CS and physics",
      "headline": "OpenAI announces discoveries in math, CS and physics",
      "detail": "Results in harmonic analysis, complexity theory and quantum field theory, released with outside expert groups.",
      "tags": [
        "science",
        "math"
      ],
      "related": [
        "2026-09-08-navier-stokes-solution"
      ],
      "source": "https://openai.com/index/building-scientific-understanding-with-academic-communities",
      "models": [],
      "source_title": "Working with academic communities to build scientific understanding",
      "source_archived": null,
      "source_http_status": null,
      "source_quote": null,
      "followups": [],
      "successor": null,
      "predecessors": [],
      "revealed_as": null,
      "stealth_previews": [],
      "reveal_source": null,
      "url": "https://frontierlog.ai/event/2026-10-26-openai-three-discoveries",
      "image": "https://frontierlog.ai/og/2026-10-26-openai-three-discoveries.png"
    }
  ],
  "next_cursor": null
}