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

For more than a decade, mathematicians have been unable to settle the question of whether the ABC conjecture has been solved.

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.

Yet another longstanding mathematical question has been resolved by AI – and it feels a little different from the ones that ...