Get all your news in one place.
100's of premium titles.
One app.
Start reading
TechRadar
TechRadar
Efosa Udinmwen

'Essentially no human intervention': Chinese AI solves 12-year-old math problem in just 80 hours — and even proves it

Math Peking University
Complex mathematics solved and verified.
  • The dual agent AI system autonomously solved Anderson's conjecture from 2014
  • Rethlas explores problem-solving strategies like a human mathematician would
  • Archon transforms potential proofs into projects for the Lean 4 verifier

A research team led by Peking University developed a dual-agent AI system capable of solving advanced mathematical problems while also verifying its own results.

Sign up to read this article
Read news from 100's of titles, curated specifically for you.
Already a member? Sign in here
Related Stories
Top stories on inkl right now
One subscription that gives you access to news from hundreds of sites
Already a member? Sign in here
Our Picks
Wisconsin’s House on the Rock is unlike a typical museum. Here are the strange sights waiting inside
House on the Rock in Wisconsin features an unusual collection of giant installations and mechanical displays. Visitors can explore a notable indoor carousel that showcases intricate craftsmanship and detail without the option to ride. The attraction also includes an Infinity Room that stretches dramatically over the valley, enhancing the viewing…
The Economic Times
The Economic Times
Christian Man Has Bizarre Meltdown After Neighbor’s Halloween Decoration Scares Toddler
“Christian conservatives, we gotta get one thing clear. You can do what you want, but you gotta stop demanding everyone else to change,” a netizen said.
Bored Panda
Bored Panda
He Ate, Slept and Hid Inside Disneyland — Here’s How He Got Caught
Disneyland has spent decades selling the fantasy of escaping ordinary life for a day. One man took the idea of staying longer much too far. Stories about people hiding inside the park after closing have fueled a particular kind of Disney legend: empty streets, forbidden corners, and the possibility of…
Clever Dude
Clever Dude
Man leaves Nestlé cream out all night. Then he shows what hasn’t changed: ‘that should have done something’
Something feels off here.
We Got This Covered
We Got This Covered
1867 gold coin found in Texas closet sells for $97,600 after 159 years in a family’s possession
A remarkable 1867-S Liberty Half Eagle gold coin was unearthed from an obscure closet in Texas, boasting a staggering value of $97,600. This highly sought-after coin, a valuable heirloom of a Union soldier, shattered previous auction records. Experts praised its rarity and condition, sparking intense competition among collectors. After a…
The Times of India
The Times of India
Jennifer Lopez reportedly ‘casually dating’ Ted Lasso actor Brett Goldstein
The pair met on the set of the Netflix film ‘Office Romance’
The Independent UK
The Independent UK
Fourteen days free
Download the app
One app. One membership.
100+ trusted global sources.
Download on the AppStore Get it on Google Play