By January 1, 2031, large-language models combined with automated proof checking systems like Lean and Coq will have contributed to proofs which have appeared in major math journals.
Created by JoshuaZ on 2023-01-21; known on 2031-01-01
- JoshuaZ estimated 55% on 2023-01-21
- PseudonymousUser estimated 45% on 2023-01-28
- Baeboo estimated 45% on 2023-01-28
- Reinersaltaccount estimated 50% and said “#mathematics” on 2023-01-29
- rlourie estimated 55% on 2023-01-30
- panashe estimated 55% on 2023-01-30
- Medea estimated 65% on 2023-02-01
- rlourie estimated 59% on 2023-02-26