In 2024, an AI entered the fray of the International Mathematical Olympiad (IMO). Google’s AlphaProof is part of the same Alpha group that also created AlphaFold and AlphaGo. It solved problems that ...
2025 marked a historic year in mathematics. Researchers solved a major case of Hilbert’s ambitious sixth problem, proved a sweeping new theorem about hyperbolic surfaces, and settled the longstanding ...
This is an updated version of a story first published on May 5, 2024. For many high school students returning to class, it may seem like geometry and trigonometry were created by the Greeks as a form ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results