AI is increasingly being used as collaborators in mathematical research rather than simply as computational tools.

The Massachusetts Institute of Technology has released the largest free library of Olympiad-level math problems ever assembled, a collection of more than 30,000 problems and expert-written solutions ...

Claude Fabel 5 disproved the Jacobian conjecture over the weekend, landing days after the capabilities of China's Kimi AI became the biggest force moving bitcoin markets.

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most original problems. Those booklets get shared among delegations, then quietly ...