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

Please log in to respond to or judge prediction