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 15 days ago; known on 2031-01-01
- JoshuaZ estimated 55% 15 days ago
- Tapetum-Lucidum estimated 45% 8 days ago
- Baeboo estimated 45% 8 days ago
- Reinersaltaccount estimated 50% and said “#mathematics” 7 days ago
- rlourie estimated 55% 6 days ago
- panashe estimated 55% 6 days ago
- Medea estimated 65% 4 days ago
Please log in to respond to or judge prediction