Math Is Crossing the Human Frontier - AI Proves New Theorems

Name: Math Is Crossing the Human Frontier - AI Proves New Theorems
Uploaded: 2026-01-31T22:31:39+00:00
Duration: 1 min 17 s
Channel: Muhammad Umar
Description: AI has moved beyond code and images to prove new mathematical theorems. David Vikil, president of the American Mathematical Society, announced an AI…

31 Jan 2026 · 1 min

Watch on YouTube

1:17

AI has moved beyond code and images to prove new mathematical theorems. David Vikil, president of the American Mathematical Society, announced an AI system that discovered a new pure-mathematical theorem. Muhammad Umar says AI has already found a new Bellman function and GPT-5.2 is solving longstanding Erdős problems.

Chapters

So the signal one of the day is that math is crossing the human frontier we have seen AI write code generating images but now it's contributing to the pure math what happened basically this week even surprised mathematicians as well David Vikil is the leading researcher and the president of American Math society he recently shared that he experiment in AI system that help improve a new pure mathematical true and he was even though sharing that he's unsure that even he could do that alone ever so what's your take on it Umar.
I think we've been talking this a lot in terms of AI for scientific research or AI for math in the last two weeks what we have seen is AI have discovered new Bellman function AI is solving GPT 5.2 is solving Erdos problems so clearly math is now promptable commodity I would say it's not that complex function anymore and by the way I tell you the math that we know Rafael I mean these symbols and all that and this formation this compression these equations they are not.