Dual-agent AI system solves and formalizes proof for decade-old math problem

Remember that math problem from 2014? A Chinese AI tool cracked it ...
Democrat and Chronicle

90-year-old math problem solved, with help of RIT doctoral student

A Rochester Institute of Technology doctoral student was part of a team of researchers that settled a 90-year-old math problem called Keller’s conjecture. David Narváez, who studies computing and ...
AOL

Teen stuns math community by disproving widely accepted 40-year-old math conjecture

Hannah Cairo found herself stuck on a problem that wouldn’t leave her mind. It wasn’t a regular homework assignment—it was a decades-old mathematical puzzle believed to be true by leading experts in ...
IFLScience

Math's "Bunkbed Conjecture" Has Been Proven False After 40 Years

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...
Quanta Magazine

‘Once in a Century’ Proof Settles Math’s Kakeya Conjecture

Consider a pencil lying on your desk. Try to spin it around so that it points once in every direction, but make sure it sweeps over as little of the desk’s surface as possible. You might twirl the ...
Indiatimes

Bakuage Offers Prize of 120 Million JPY to Whoever Solves Collatz Conjecture, Math Problem Unsolved for 84 Years

Disclaimer: The following press release comes to you under an arrangement with AsiaNet. takes no editorial responsibility for the same.) TOKYO, July 7, 2021 /Kyodo JBN-AsiaNet/ -- - Highest Prize for ...