Think You’re Good at Math? See How Far You Get With These 10 Unsolved Problems

For all of the recent strides we’ve made in the math world, we’re forever crunching calculations in pursuit of deeper ...

‘hello there the jacobian conjecture is false thanx’: why a tiny social media post has mathematicians rethinking AI

As millions of people were coming down from the excitement of the FIFA World Cup Final at the start of this week, a different kind of excitement was building within the mathematical community. Levent ...
New Scientist

An AI has disproved five mathematical conjectures with no human help

An artificial intelligence has disproved five mathematical conjectures – unproven theorems – despite not being equipped with any information about the problems. Adam Zsolt Wagner at Tel Aviv ...
Phys.org

Rota's Conjecture: Researcher solves 40-year-old math problem

(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, ...
Phys.org

The Ramanujan Machine: Researchers have developed a 'conjecture generator' that creates mathematical conjectures

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

Goldbach’s conjecture: if it’s unprovable, it must be true

The starting point for rigorous reasoning in mathematics is a system of axioms. An axiom is a statement that is assumed, without demonstration, to be true. It is usually self-evident, for example, ...
Scientific American magazine

ChatGPT just proved another 50-year-old math conjecture

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...