AI can prove famous math problems now, but open-ended science is the real test
miniapeur · x · 2026-10-28
The author observes that AI can already produce proofs of difficult, well-known math problems — but these have well-formulated statements and substantial prior work to build upon. The real question is whether AI can tackle open-ended scientific challenges like reconciling general relativity with quantum mechanics, though the bottleneck there is arguably experimental rather than theoretical.
More from AGI Musings
- Top econometricians Andrews & Mikusheva publish paper on AI's impact with an AI-written note — paulnovosad · 2026-10-28
- Drug development timelines stretch to 9.3 years as pipelines slow 32% despite AI advances — paulnovosad · 2026-10-28
- Committee reportedly holds back OpenAI's major math breakthrough over caution — IgorCarron · 2026-10-28
- Marc Andreessen: Europe is "determined to be left behind" on AI and would happily skip it entirely — 2C_ornot2C · 2026-10-28
- The Sane Asylum: Inside Silicon Valley's AI-Era Collective Breakdown — DevinLewtan · 2026-10-28
- Paras Chopra: "AI-generated" labels will fade; "100% human" will flourish — paraschopra · 2026-10-28