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 ...

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 ...

This year's Fields Medal honors four mathematicians in their 30s who have made their mark in geometry and physics.

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role in research.

Computers are working to solve an age-old geometry problem. Humans can’t “square the circle” by hand, which was proven in the 1800s. Computer solutions involve infinity, complexity, and some ...

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 ...