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
• Tapetum-Lucidum 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

Please log in to respond to or judge prediction