The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from ...

The work of numerous mathematicians culminated in the discovery of hyperbolic geometry; today, thanks to virtual reality, it is possible to glimpse it beyond its formulas ...

After some serious number crunching, a researcher says that he has come up with a mathematical model for a viable time machine: a Traversable Acausal Retrograde Domain in Space-time (TARDIS). He ...

Noncommutative geometry offers a radical reformulation of traditional geometrical concepts by replacing the classical notion of a manifold with a noncommutative algebra of coordinates. This approach ...

On Friday, research organization Epoch AI released FrontierMath, a new mathematics benchmark that has been turning heads in the AI world because it contains hundreds of expert-level problems that ...

An AI model from Google reached gold-level scores at an international mathematical competition in Australia that ended Sunday, though it still didn’t beat some human competitors who represent the ...

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...