AI may be better at rejecting conjectures than proving them, post argues
bradneuberg · x · 2026-07-25
The post argues that AI may be much better at rejecting conjectures than proving them, and that this distinction matters. The author says they are not pessimistic about AI’s role in pure math, but that “proving things” should remain a separate category from merely proving them wrong.
More from AGI Musings
- AI accusations shake literary prizes from Caine to Goncourt: who decides what's human? — TuhinChakr · 2026-10-26
- Tech discovers wargaming: applying to be Anthropic's tabletop exercise lead — round · 2026-10-26
- RSI is the culmination of the industrial revolution: a factory building a faster factory — tobias_rees · 2026-10-26
- NYT roundtable asks five experts what the rules for AI companies should actually be — ShakeelHashim · 2026-10-26
- Anti-AI content is algorithm gold and very profitable, quips commentator — annetgriffin · 2026-10-26
- Silicon Valley breakdown: five Stanford-area giants worth ~$18T — FinanceYF5 · 2026-10-26