Carnegie Mellon University computer scientists and mathematicians have resolved the last, stubborn piece of Keller's conjecture, a geometry problem that scientists have puzzled over for 90 years. By ...

Equiangular lines are lines in space that pass through a single point, and whose pairwise angles are all equal. Picture in 2D the three diagonals of a regular hexagon, and in 3D, the six lines ...

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished mathematicians for almost 90 years. It was included in "Smale's problems," a list of ...

An AI from Google DeepMind can solve some International Mathematical Olympiad (IMO) questions on geometry almost as well as the best human contestants. How does ChatGPT work and do AI-powered chatbots ...

A system developed by Google’s DeepMind has set a new record for AI performance on geometry problems. DeepMind’s AlphaGeometry managed to solve 25 of the 30 geometry problems drawn from the ...

After cracking an unsolvable mathematics problem last year, AI is back to tackle geometry. Developed by Google DeepMind, a new algorithm, AlphaGeometry, can crush problems from past International ...

Researchers at DeepMind, the artificial intelligence research division of Alphabet Inc., have created software that’s able to solve difficult geometry proofs that are often used to test the brightest ...

OpenAI's unreleased Astra AI has resolved 10 longstanding mathematical problems across diverse fields, achieving breakthroughs that had eluded researchers for over a decade.

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...