APIUp to 25% cheaper than official pricesTry the API →
HermesHermes Agent Docs
API
Back to News
newsReasoningLlms

OpenAI Drops 722 Math Papers From a Model Smarter Than GPT-6

OpenAI dropped 722 AI-generated math manuscripts across 372 problem families, with Lean-verified proofs, reasoning traces, and compute budgets

OpenAI Drops 722 Math Papers From a Model Smarter Than GPT-6
Source
OpenAI
Published
Author
AlphaSignal Newsroom
Read
1 min read

OpenAI dropped 722 AI-generated math manuscripts across 372 problem families, with Lean-verified proofs, reasoning traces, and compute budgets

Reporting is indexed from AlphaSignal. Rights remain with the original publisher and cited sources.

Read original report

Next reads

Meta's Muse Spark Helped Mathematicians Solve Five Open Research Problems
AI at Meta · news

Meta's Muse Spark Helped Mathematicians Solve Five Open Research Problems

NVIDIA's Sigma Pushes Continuous Text Diffusion to 8 Billion Parameters
AlphaSignal · paper

NVIDIA's Sigma Pushes Continuous Text Diffusion to 8 Billion Parameters

Google's Gemini 4 Argon Pushes AI Agent Output to One Million Tokens
Google AI · news

Google's Gemini 4 Argon Pushes AI Agent Output to One Million Tokens