reasoning
prediction
bullish
Pending
When AI makes mathematical proofs cheap, mathematicians' work will increasingly shift toward asking deep questions and formulating bold new conjectures
Denny Zhou27 Jul 2026
https://x.com/denny_zhou/status/2081430796108513548
Outcome
No outcome evidence recorded.
Next observable
None recorded.