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