Soon We’ll Have Math Proofs That No One Understands, And They’ll Still End Up Being Useful: Fields Medal Winner Jacob Tsimerman Who Joined OpenAI
While some parts of the math community are talking about how the field would suffer if AI generates large numbers of math proofs…








