Tessellations aren’t just eye-catching patterns—they can be used to crack complex mathematical problems. By repeatedly reflecting shapes to tile a surface, researchers uncovered a method that links ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

In a recent study, mathematicians from Freie Universität Berlin have demonstrated that planar tiling, or tessellation, is much more than a way to create a pretty pattern. Consisting of a surface ...

What if the secrets to the universe’s most perplexing mathematical riddles were no longer locked away, but instead cracked open by an artificial mind? In a new development, OpenAI’s o3-mini model has ...

A few minutes into a 2018 talk at the University of Michigan, Ian Tobasco picked up a large piece of paper and crumpled it into a seemingly disordered ball of chaos. He held it up for the audience to ...

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.

These student-constructed problems foster collaboration, communication, and a sense of ownership over learning.