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 ...
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 October 2024, news broke that Facebook parent company Meta had cracked an "impossible" problem that had stymied mathematicians for a century. In this case, the solvers weren't human. An artificial ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results