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
- Musk: robot RAM demand will dwarf everything else, and 100% of superintelligence compute goes to deep space — elonmusk · 2026-10-27
- Anthropic S-1 warns of AI job displacement as Microsoft offers exit to ~27% of staff — _jaydeepkarale · 2026-10-27
- eigenrobot: 200 years of attempts to replace Christianity have each fared worse than the last — eigenrobot · 2026-10-27
- Replit CEO on the 'self-driving company': agents to absorb coordination costs by 2030 — amasad · 2026-10-27
- US senator slams AI industry for proposing 50-death threshold for 'catastrophic incident' — peterwildeford · 2026-10-27
- Replit CEO Says AI Makes All Software De Facto Open Source; Aakash Gupta Asks What Moats Remain — aakashgupta · 2026-10-27