Debate on whether current LLMs can formulate math conjectures better than humans
tobyordoxford · x · 2026-08-24
Toby Ord and David Manheim discuss the capability of current LLMs to generate mathematical questions or conjectures. Ord argues that human mathematicians add substantial information through their selection, unlike random propositions. He notes that while quality is uneven, there is currently little evidence in either direction regarding LLM performance relative to humans.
Related event: Toby Ord: AI Automates Proof, but Math Is Much More(9 posts)→
More from AGI Musings
- Alignment researcher Turn_Trout blasts AI assistants scraping private Signal chats without consent — Turn_Trout · 2026-10-16
- Stage-4 cancer patient builds his own personalized mRNA vaccine with AI — TheMoonMidas · 2026-10-16
- Sim data can't cover the humanoid long tail: the sim2real debate, mapped — herbiebradley · 2026-10-16
- Planck's 'science advances one funeral at a time' breaks down as AI accelerates — paul_cal · 2026-10-16
- Kevin Roose joins Big Technology Podcast to discuss the bumpy road to AGI — kevinroose · 2026-10-16
- Ex-xAI employee sparks drama: alignment work is 'openly conspiring to end humanity' — zetalyrae · 2026-10-16