The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...

Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly they perform. By Siobhan Roberts A few weeks ago, a high school student emailed Martin ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

In the Remarks on the Foundations of Mathematics, Wittgenstein discusses in detail the significance of the Gödelian “true but unprovable” proposition. Despite the negative reviews of early ...

Mathematical superintelligence startup Harmonic AI Inc. revealed today that NVentures, the venture capital arm of Nvidia Corp., was among the investors in its $120 million Series C round that was ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

Mathematical proof debunks the idea that the universe is a computer simulation by Patty Wellborn, University of British Columbia edited by Gaby Clark, reviewed by Robert Egan Editors' notes The GIST ...

A high school teacher didn't expect a solution when she set a 2,000-year-old Pythagorean Theorem problem in front of her students. Then Calcea Johnson and Ne'Kiya Jackson stepped up to the challenge.

In a digital era plagued by growing privacy concerns and eroding institutional trust, the power to prove something without disclosing sensitive data is not merely an academic exercise—it's a ...