After AI cracked a Millennium Problem: tasteful disclosure beats slop PDFs, researcher argues
ChowdhuryNeil · x · 2026-09-22
Asked what specifically disappointed him about an AI system that apparently solved a Millennium Prize math problem, the author pushes back: the solve itself should already update everyone on the frontier of AI math capabilities, and communicating results tastefully is better than pumping out lean scripts and slop PDFs. The exchange highlights a real debate over how frontier math-AI results should be published and verified: formal, checkable academic channels versus rapid demos that grab the narrative.
Related event: AI Solves Millennium Problem, Sparking Backlash in Math Community(4 posts)→
More from Models
- In prod, 4.7 uses 5% more tokens than 4.6 at median, 20-30% at p99 — ns123abc · 2026-09-22
- Users worry OpenAI may kill the $200 Pro plan as a rumored $150 tier emerges — BLUECOW009 · 2026-09-22
- Hinton says AI understands and has emotions; researchers push back — AlexTensor · 2026-09-22
- Grok 4.7 medium beats xhigh in independent tests, sparking benchmark-gaming doubts — PawelHuryn · 2026-09-22
- Ollama admits misbilling on deepseek-v4.1-flash, resets usage for affected users — ollama · 2026-09-22
- Grok 4.7 Token Efficiency Falls 30-80% Short of Claims, Real-World Costs 2x Grok 4.6 — flowersslop · 2026-09-22