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