Is this really the end of era for math heroes as Terry Tao said?
6:48 pm · Oct 18, 26 · 2 follow-ups
Can AI really discover a math theorem that no human mathematician can understand?
Do humans really generate and connect more ideas during the journey towards a mathematical proof than an AI will ever be able to do?
