Odd Lots podcast: AI is upending the world of mathematics as OpenAI rolls out proof after proof
soumitrashukla9 · x · 2026-10-10
Bloomberg's Odd Lots released 'AI Is Upending The World Of Mathematics,' interviewing MIT's Justin Solomon amid OpenAI's streak of mathematical proofs. Key takeaways from the repost: math's value lies in allocating attention to the tiny subset of interesting results; verification remains bandwidth-constrained by human experts judging what matters; and Solomon himself is far from being replaced, using AI with curiosity.
Related event: MIT Scholar: AI Is Upending Mathematics(2 posts)→
More from AGI Musings
- a16z charts: call center jobs flipped from +4% annual growth to -4% decline — a16z · 2026-10-10
- Mathematician littmath: theorem-proving is just an easy-to-measure proxy, and AI solving problems isn't the real threat — littmath · 2026-10-10
- Economist: most published math papers are right, econ papers are wrong — and that's why AI lags — paulnovosad · 2026-10-10
- Freeswarms by 2027: AI bot swarms that earn money, buy compute and code themselves — max_paperclips · 2026-10-10
- Mike Frank: AI welfare talk is regulatory capture, not genuine care for models — MikePFrank · 2026-10-10
- The Most Viral Videos on Social Are Now AI-Made — And Parents Aren't the Ones Sharing — bennash · 2026-10-10