Hosted on MSN
Massive new database of the hardest math problems is now open to everyone – including AI programs
Have you ever wondered whether mathletes can go pro? Since 1959, the answer has been “yes” – with the height of achievement and prestige being at the International Mathematical Olympiad (IMO). Every ...
It’s surprisingly difficult to prove one of the most basic properties of a number: whether it can be written as a fraction. A broad new method can help settle this ancient question. In June 1978, the ...
24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...
In a world where scientific breakthroughs often bring fame, wealth, and global recognition, Grigori Perelman chose a completely different path. The Russian mathematician stunned the academic world ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results