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 ...

Google DeepMind’s AlphaProof system scored at a silver-medal level when tested against the 2024 International Mathematical Olympiad, solving problems that have historically separated elite human ...