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

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

For the first time, archaeologists identified one of the culture’s famed Classic era mathematicians and astronomers ...

Claude Opus 5 scored 30.2% on ARC-AGI-3, independently verified by ARC Prize, nearly quadrupling GPT-5.6 Sol's previous ...