dioscuri: 2027 will be the year AI does for science what it did for math
dioscuri · x · 2026-10-11
dioscuri expects 2027 to be the year AI starts doing for science what it has done this year for mathematics. Quoting algekalipso's claim that AI solved an ungodly number of open math problems this year—and that next year it'll solve new open problems proposed by today's AI, whose relevance most mathematicians fail to appreciate—the thread points to formal reasoning breakthroughs spilling over into empirical science.
More from AGI Musings
- Your Body Runs on Just 80.6W Across 37 Trillion Cells, Argues 'Natural Intelligence' Talk — vinodg · 2026-10-11
- AGI Has Arrived? Why Nobody Can Agree on What AGI Actually Means — annetgriffin · 2026-10-11
- At AGI's edge, people split into pleasure-seekers vs meaning-makers — danfaggella · 2026-10-11
- Accenture pays IIT interns ₹1.25L/month but ₹3.5 LPA to tier-69 college grads — ayushthakur0 · 2026-10-11
- Halvar Flake asks: are we witnessing the vulnpocalypse or the bugocide? — AccBalanced · 2026-10-11
- Personal AI agents could drain subscription revenue built on customer inattention — rohanpaul_ai · 2026-10-11