Skip to content
Trending storyDeveloping

OpenAI releases about 400 AI-generated math results across 700+ manuscripts

2 articles2 sourcessince Oct 6Last article 3h ago ·

Overview

AISummary of 2 articles

OpenAI released nearly 400 AI-generated mathematical results spread across more than 700 manuscripts in fields including combinatorics, number theory, algebra and topology.

OpenAI says 300 of the 719 manuscripts' top-line results, about 42 percent, have been formalized, and it will add more formalizations as they are completed. Sam Altman had earlier described the release as the start of a new era of discovery, but that claim comes from his own post, not an independent review.

Mathematicians told The Verge that verifying and understanding the results could take years. Several said some results may warrant top-tier publication, while others raised concerns about paper quality, attribution, and the effect on early-career researchers.

Written by AI from the articles below · updated Oct 9, 4:00 PM ET

Check the sources:

Latest developmentOct 9, 3:09 PM ET
Mathematicians say OpenAI's mass release of AI-generated results will take years to digest

Developments

2 developments

  1. Oct 9, 3:09 PM ET · 1 article
    OpenAI releases nearly 400 AI-generated mathematical results across 700+ manuscripts
    The Verge · AI: Mathematicians say OpenAI's mass release of AI-generated results will take years to digest
  2. Oct 6, 8:06 PM ET · 1 article
    We are entering a new era of discovery now: https://openai.com/index/sharing-ai-progress-in-mathematics/
    Sam Altman: OpenAI shares AI progress in mathematics discovery

Article timeline

The articles in this story. Times are ET.

Oct 9
  1. The Verge · AINewsPick
    Mathematicians say OpenAI's mass release of AI-generated results will take years to digest

    AIOpenAI released nearly 400 AI-generated results spread across more than 700 manuscripts in several branches of mathematics. Mathematicians told The Verge that only 300 of 719 manuscripts had been formalized in Lean, and that verification and understanding could take years. Several researchers said some results may warrant top-tier publication, while others raised concerns about paper quality, attribution, and disruption to early-career researchers.

Oct 6
  1. Sam AltmanX
    OpenAI shares AI progress in mathematics discovery

    AIOpenAI has published a post on sharing its AI progress in mathematics, which Sam Altman says marks the start of a new era of discovery. The post text provides no further details on specific results, models, or benchmarks.

Heat trend

Not enough continuous observations to show a trend yet.