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 researcher on SkyNews flags concerns over inequality, power and criminal misuse — schwarzjn_ · 2026-09-11
- Researcher's SkyNews interview: deeply concerned about AI-driven inequality and power — schwarzjn_ · 2026-09-11
- VC compares AI doom rhetoric to pandemic-era fear messaging — StewartalsopIII · 2026-09-11
- Anthropic Insiders: Not Everyone at the Lab Believes in High p(doom) — anpaure · 2026-09-11
- Could 10k agents discover learning methods beyond backprop, or just tweak existing ones? — SeunghyunSEO7 · 2026-09-11
- AI companionship dissolves the friction real intimacy needs, warns long-form thread — YogeshMalik · 2026-09-11