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: Mathematics is Much More than Proof: Toby Ord on What AI Hasn't Yet Automated(9 posts)→

Original post →

More from AGI Musings

AGI Musings channel →