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
- Open weights become the fallback when closed AI systems cannot respond — Xianbao_QIAN · 2026-07-25
- A post argues intelligence can live in body shape, not just in brains — MarwaEldiwiny · 2026-07-25
- AI Killswitch Will Become a Honeypot for Cyberattacks, Says Researcher — anderssandberg · 2026-07-25
- AI Was Expected to Replace Truck Drivers, But It's Replacing Mathematicians First — GiorgioPatrini · 2026-07-25
- KOL Complains AI Subscription Costs Doubled Amid Bi-Weekly Model Releases — yacineMTB · 2026-07-25
- “Scaling worked,” says post arguing the market is already on an ASI track — inductionheads · 2026-07-25