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

Here’s a simple-sounding problem: Imagine a circular fence that encloses one acre of grass. If you tie a goat to the inside of the fence, how long a rope do you need to allow the animal access to ...

DeepMind has used a large language model (LLM) to generate a novel solution to one of humanity’s toughest math problems — in a breakthrough that could herald a new era in AI development. The model, ...

Two mathematicians have used a new geometric approach in order to address a very old problem in algebra. In school, we often learn how to multiply out and factor polynomial equations like (x² – 1) or ...

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.