Skip to content
Trending storyDeveloping

OpenAI posts AI math proofs on GitHub

9 reports5 sourcesUpdated 8 hours ago

What you need to know

AI summary

OpenAI published 722 manuscripts covering 372 result families on open mathematics problems, generated by an internal frontier model, along with Lean proof formalizations, on GitHub rather than submitting them to journals. The model itself has not been released, and OpenAI has not named it or the specific problems. No independent verification of the proofs is reported. TechCrunch reports the solutions are not yet meeting the field's standards, and mathematicians say it will take years to assess them; The Decoder reports mathematicians reacting with shock and disgust.

Generated by AI from the reporting · updated 8 hours ago

Latest updateOct 10 13:03
Mathematicians react with shock and disgust as OpenAI releases 700 manuscripts claiming solutions to open math problems

Developments

2 developments

  1. Oct 8 18:10 · 1 reports
    OpenAI's math solutions aren't meeting the field's standards
    TechCrunch · AI: OpenAI's math solutions aren't meeting the field's standards yet
  2. Oct 6 12:00 · 5 reports
    OpenAI shares AI results on open mathematics problems with L
    OpenAI News: OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub

Timeline

Follow the reports to see every side of the story.

Oct 10
  1. The DecoderFeatured
    Mathematicians react with shock and disgust as OpenAI releases 700 manuscripts claiming solutions to open math problems

    On October 6, 2026, OpenAI released more than 700 manuscripts at once, claiming solutions to hundreds of open math problems.

Oct 9
  1. The Verge · AIFeatured
    'Pure insanity': Mathematicians will need years to make sense of OpenAI's latest drop

    OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts.

  2. Don't Worry About the VaseFeatured
    OpenAI releases 722 mathematical manuscripts from an internal frontier model

    OpenAI released 722 manuscripts, organized into 372 families, containing results on open mathematical problems produced by an internal frontier model.

Oct 8
  1. The Decoder
    Mathematicians call for OpenAI boycott after AI-generated proofs flood their field

    A group of mathematicians, in a statement shared by Fields Medalist Terence Tao.

  2. TechCrunch · AI
    OpenAI's math solutions aren't meeting the field's standards yet

    OpenAI released hundreds of claimed solutions to hard math problems this week.

  3. Don't Worry About the Vase
    AI #189: New Math

    OpenAI solved 90 of the top 500 open math problems.

Oct 7
  1. The DecoderFeatured
    OpenAI publishes 372 AI-generated math proofs on GitHub, bypassing journals

    OpenAI released 372 mathematical results generated by an internal frontier model.

Oct 6
  1. The Verge · AIFeatured
    OpenAI releases 722 manuscripts of math results from an unreleased frontier model

    OpenAI published 722 manuscripts covering 372 result families.

  2. OpenAI NewsFeatured
    OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub

    OpenAI published new results on open problems in mathematics produced by an internal frontier model, and shared Lean proof formalizations and research details on GitHub.

Heat trend for this story

Not enough continuous data yet to chart a trend.