Mathematicians as curators of synthetic genius.
Development
A student says solutions arrive faster than he can process them
Claim
An MIT senior reported that GPT-5.5 has been finding solutions quicker than he can process them, with three full Erdős problem solutions already claimed and more in the supervision queue, while observers noted the models are also sweeping up neglected open problems and giving them proper statements.
Reported metric: 3 solutions queued
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to April 29, 2026 (theinnermostloop.substack.com)
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.