Recent related:
OpenAI Withdraws 3 Math Papers (382 points, 24 days ago, 612 comments) https://news.ycombinator.com/item?id=50002650
A look at the math that OpenAI claims computes faster Fourier transforms (249 points, 19 days ago, 170 comments) https://news.ycombinator.com/item?id=50065932
Simons Foundation launches $15M effort to help mathematicians navigate AI era (249 points, 16 days ago, 201 comments) https://news.ycombinator.com/item?id=50104654
"I'm on a war footing": Terry Tao and the crisis in math (230 points, 15 days ago, 541 comments) https://news.ycombinator.com/item?id=50118165
Why Math Dumped OpenAI (92 points, 15 days ago, 14 comments) https://news.ycombinator.com/item?id=50128468
The math that OpenAI keeps for itself (54 points, 14 days ago, 19 comments) https://news.ycombinator.com/item?id=50134211
OAI-math-revised: a community hub for revising OpenAI's math write-ups (53 points, 7 days ago, 43 comments) https://terrytao.wordpress.com/2026/10/24/oai-math-revised-a...
AI use leads UC Berkeley math professor to see 'no point' in grading homework (240 points, 6 days ago, 342 comments) https://news.ycombinator.com/item?id=50233304
The Exponential Time Hypothesis Is False [pdf] (802 points, 5 days ago, 301 comments) https://news.ycombinator.com/item?id=50251661
1. Not train models to get better on certain verifiable tasks like math proofs?
2. Train models to get better, produce groundbreaking proofs and keep the results private?
3. ?
The vast majority of the results they have released so far have no practical value beyond marketing. And that marketing aspect didn't work too well, because they didn't understand the target audience.