AI just solved one of the hardest math problems… (INTELLIGENCE EXPLOSION) – matthew-berman

The video discusses a major breakthrough in mathematics, where one of the hardest open math problems, known as an Erdős problem (specifically problem 397), was recently solved with the help of artificial intelligence. Neil Smani, a quantitative researcher, used GPT-5.2 to generate a proof, which was then submitted and accepted by renowned mathematician Terence Tao. […]

Math Creatures in Hyperspace – visual-studio-code

The video introduces the concept of “math creatures” or “manals,” complex and colorful mathematical objects defined entirely by mathematical functions. These creatures live in a mathematical zoo that viewers can explore online. The creator emphasizes that functions, which map inputs to outputs, can describe anything in the world, and by extending functions to have many […]

Math Creatures in Hyperspace – visual-studio-code

The video introduces the concept of “math creatures” or “manals,” complex and colorful mathematical objects defined entirely by mathematical functions. These creatures live in a mathematical zoo that viewers can explore online. The creator emphasizes that functions, which map inputs to outputs, can describe anything in the world, and by extending functions to have many […]