OpenAI's proofs and the question of which math results matter

Odd Lots hosts talk to Justin Solomon, MIT's associate dean for engineering education, about math and math education as OpenAI rolls out proof after proof. Sharing the episode, another poster argues that even if a mathematical result is correct, human experts still have to judge whether it is interesting and valuable to learn.