prediction · reasoningpending
When AI makes proofs cheap, mathematicians' work will shift toward asking deep questions and formulating bold new conjectures
Denny ZhouMade 26 Jul 2026
- Timeframe
- medium-term
- Target date
- Target date not normalized
Every row is a durable prediction. Target dates, outcomes, and next observables are shown only when stored. Null due dates display Target date not normalized instead of an inferred calendar date.
277
Tracked
All persisted rows
277
Open
Pending or too early
0
Resolved
Verified, falsified, or partial
0/277
Target-date coverage
0 have a stored due date
75/277
Source + quote evidence
75 have both
Corpus