(Phys.org) —A Victoria University mathematician has experienced his own eureka moment, solving a 40 year-old mathematical problem. Professor Geoff Whittle, from Victoria's School of Mathematics, ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

Mathematicians from New York University and the University of British Columbia have resolved a decades-old geometric problem, the Kakeya conjecture in 3D, which studies the shape left behind by a ...

Using AI and computer automation, researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing mathematical ...

The last dimension of Keller's conjecture has been proven using a computer algorithm. The conjecture involves the way hypercubes in different dimensions share sides when tiled. The proof is ...

Despite their successes, machine learning techniques are often stochastic, error-prone and blackbox. How could they then be used in fields such as theoretical physics and pure mathematics for which ...