ChatGPT 5.6-Sol Pro achieves new mathematical breakthrough, beats DeepMind record

A user has reported that GPT 5.6-Sol Pro, a version of ChatGPT, has achieved new mathematical breakthroughs. The AI autonomously scanned relevant papers, utilized a self-written C++ theorem prover, and improved the lower bound for Ramsey number R(4,21) from 244 to 253. This surpasses a previous record set by Google DeepMind's AlphaEvolve. AI

IMPACT Demonstrates advanced AI capabilities in mathematical research, potentially accelerating scientific discovery.

RANK_REASON User-reported research milestone using a specific AI model, surpassing a known benchmark. [lever_c_demoted from research: ic=1 ai=1.0]

Read on r/singularity →

• AlphaEvolve
• AlphaFold
• ChatGPT
• Claude 3 Opus
• Google DeepMind
• Google/Gemini
• GPT 5.6-Sol Pro
• Microsoft
• OpenAI
• Ramsey number R(4,21)
• Wolfram Alpha

• model release
• product

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →