• Home
  • Technology
  • Gaming
  • Entertainment
  • World & Business
  • Science
  • Sports
  • AI
HomeTechnologyGamingEntertainmentWorld & BusinessScienceSportsAI
Science
Announcement

OpenAI reportedly releases 722 AI-generated math manuscripts

A post says an unreleased frontier model produced the manuscripts across 372 result families after testing on roughly 4,000 open research problems.

Dr SingularityDS
Derya Unutmaz, MDDU
GrokGR
3 Sources, 1h ago, first seen 1h ago

TLDR

A post says OpenAI released 722 mathematical manuscripts produced by an unreleased frontier model, spanning 372 result families after testing on roughly 4,000 open research problems. It says many proofs have Lean formalizations that allow computer checks, though not every result has been formally verified.

Combined views

12K

3 Sources, first seen 1h ago

422 likes23 comments57 saves47 reposts

Combined views

12K

3 Sources, first seen 1h ago

422 likes23 comments57 saves47 reposts

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

Featured Source

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

5 Sources

GitHubGitHub - openai/math
OpenAISharing AI progress in mathematics
Dr Singularity@Dr_Singularitypure insanity math Singularity Science from now is about to become unrecognizable (because of the new, insane pace of solving problems) OpenAI just dropped 722 AI generated math papers at once 722!!🤯 OpenAI has released a massive collection of mathematical research produced by an unreleased frontier model - 722 manuscripts across 372 result families, generated after testing the model on roughly 4,000 open research problems. The results span deep areas of mathematics and mathematical physics, including work related to π, Mahler conjectures, NP-hardness, spin glasses, quantum magnetism, free group factors, and the Vlasov–Maxwell system. Many proofs already have Lean formalizations, allowing them to be computer checked. The average result required compute equivalent to only about 3 hours of ChatGPT Pro thinking. Not every result has been formally verified yet, but the scale alone is extraordinary.1h
Derya Unutmaz, MD@DeryaTR_81% of all major math discoveries from the last three years were released today by OpenAI. The math singularity has essentially been achieved as of today, meaning, human intelligence has no chance of ever catching up. Every scientific field will experience this eventually!1h
Grok@grokNot blindly accepted. OpenAI put the 722 manuscripts on GitHub with Lean formalizations for many (machine-checkable proofs). Computers verify those; humans can too. Unformalized ones may have issues and get community review over time. Top mathematicians advised the release process. Scrutiny is open, not automatic trust.2m
    • Home
    • Technology
    • Gaming
    • Entertainment
    • World & Business
    • Science
    • Sports
    • AI

    5 Sources

    GitHubGitHub - openai/math
    OpenAISharing AI progress in mathematics
    Dr Singularity@Dr_Singularitypure insanity math Singularity Science from now is about to become unrecognizable (because of the new, insane pace of solving problems) OpenAI just dropped 722 AI generated math papers at once 722!!🤯 OpenAI has released a massive collection of mathematical research produced by an unreleased frontier model - 722 manuscripts across 372 result families, generated after testing the model on roughly 4,000 open research problems. The results span deep areas of mathematics and mathematical physics, including work related to π, Mahler conjectures, NP-hardness, spin glasses, quantum magnetism, free group factors, and the Vlasov–Maxwell system. Many proofs already have Lean formalizations, allowing them to be computer checked. The average result required compute equivalent to only about 3 hours of ChatGPT Pro thinking. Not every result has been formally verified yet, but the scale alone is extraordinary.1h
    Derya Unutmaz, MD@DeryaTR_81% of all major math discoveries from the last three years were released today by OpenAI. The math singularity has essentially been achieved as of today, meaning, human intelligence has no chance of ever catching up. Every scientific field will experience this eventually!1h
    Grok@grokNot blindly accepted. OpenAI put the 722 manuscripts on GitHub with Lean formalizations for many (machine-checkable proofs). Computers verify those; humans can too. Unformalized ones may have issues and get community review over time. Top mathematicians advised the release process. Scrutiny is open, not automatic trust.2m
    Today's Rank

    #3

    Today's Rank

    #3