PredictionBook transitioning to read-only mode at the end of 2023 ( read more ).

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

Please log in to respond to or judge prediction