Get all your news in one place.

100's of premium titles.
One app.

Get all your news in one place.

100's of premium titles. One news app.

TechRadar

Efosa Udinmwen

FOUND: Essentially no human intervention chinese ai solves 12 year old math problem in just 80 hours and even proves it - What They Never Told You

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

Top stories on inkl right now

Trump heads to Nebraska in attempt to shore up GOP’s midterm vote – US politics live

Trump heads to Nebraska in attempt to shore up GOP’s midterm vote – US politics live

President to visit Grand Island as his plan to allow more foreign beef imports proves unpopular in agriculture-rich state

The Guardian - UK

Catholic priest given life sentence for sexual assault in Texas found to have neglected daughter

Catholic priest given life sentence for sexual assault in Texas found to have neglected daughter

Child of Anthony Odiong, born in 2023, did not have car seat while cleric spent $20,000 on phone calls from jail

The Guardian - US

Explaining MLB’s Rules for Domed Stadiums and Retractable Roofs

Explaining MLB’s Rules for Domed Stadiums and Retractable Roofs

After Saturday night’s bizarre incident involving Ty France and the roof at American Family Field, here’s a quick refresher on MLB’s rules regarding domed stadiums, or stadiums with retractable roofs.

Sports Illustrated

Aircraft vanishes off coast of Massachusetts with six people feared dead

Aircraft vanishes off coast of Massachusetts with six people feared dead

US coast guard ends search for survivors off Massachusetts

The Independent UK

One subscription that gives you access to news from hundreds of sites

Already a member? Sign in here

Alito Hints That The Dobbs Knew A Member of the Majority Would Be Subject To Assassination

Alito Hints That The Dobbs Knew A Member of the Majority Would Be Subject To Assassination

This strongly suggests Alito does not think a conservative leaked to "lock in" the votes.

FBI Director Kash Patel gets engaged to country singer girlfriend Alexis Wilkins

FBI Director Kash Patel gets engaged to country singer girlfriend Alexis Wilkins

Alexis Wilkins revealed their engagement with a black-and-white photo captioned: ‘Went and got the law involved’

The Independent UK

Related Stories

Top stories on inkl right now

Trump heads to Nebraska in attempt to shore up GOP’s midterm vote – US politics live

Trump heads to Nebraska in attempt to shore up GOP’s midterm vote – US politics live

President to visit Grand Island as his plan to allow more foreign beef imports proves unpopular in agriculture-rich state

The Guardian - UK

Catholic priest given life sentence for sexual assault in Texas found to have neglected daughter

Catholic priest given life sentence for sexual assault in Texas found to have neglected daughter

Child of Anthony Odiong, born in 2023, did not have car seat while cleric spent $20,000 on phone calls from jail

The Guardian - US

Explaining MLB’s Rules for Domed Stadiums and Retractable Roofs

Explaining MLB’s Rules for Domed Stadiums and Retractable Roofs

After Saturday night’s bizarre incident involving Ty France and the roof at American Family Field, here’s a quick refresher on MLB’s rules regarding domed stadiums, or stadiums with retractable roofs.

Sports Illustrated

Aircraft vanishes off coast of Massachusetts with six people feared dead

Aircraft vanishes off coast of Massachusetts with six people feared dead

US coast guard ends search for survivors off Massachusetts

The Independent UK

One subscription that gives you access to news from hundreds of sites

Already a member? Sign in here

Alito Hints That The Dobbs Knew A Member of the Majority Would Be Subject To Assassination

Alito Hints That The Dobbs Knew A Member of the Majority Would Be Subject To Assassination

This strongly suggests Alito does not think a conservative leaked to "lock in" the votes.

FBI Director Kash Patel gets engaged to country singer girlfriend Alexis Wilkins

FBI Director Kash Patel gets engaged to country singer girlfriend Alexis Wilkins

Alexis Wilkins revealed their engagement with a black-and-white photo captioned: ‘Went and got the law involved’

The Independent UK

Our Picks

‘Avengers: Endgame’ is the biggest movie ever again, 7 years later—and it says a lot about the future of Hollywood’s IP machine

Disney’s 7-year-old ‘Avengers: Endgame’ just grossed $126 million in a rerelease and retook the box office crown from ‘Avatar’.

New James Bond film reportedly wants House of the Dragon star for villain role

British actor could be swapping one bad guy role for another

The Independent UK

MS Now connects ‘blue dots’ at Texas fan event: ‘I always feel hope when I watch them’

Network at receiving end of White House press ban recently chose red state to host fan event as part of broader outreach

The Guardian - US

'Cookie's Bustle' Is Back in the Spotlight After 25 Years of Mystery

"Cookie's Bustle" returns to the spotlight as its 25th anniversary, lost history, and copyright battle fuel speculation about its future.

Karl review – straightforward tribute tells inside story of fashion world’s great eccentric Karl Lagerfeld

Based on Lagerfeld’s biography, director Nick Hooker gets access to the designer’s inner circle, but ultimately fails to find the man behind the high collar and sunglasses

The Guardian - UK

Malfoid Fan Art Trend Turns Draco Malfoy Into a Bratty Anime Girl With an Incel-Linked Name

A viral Harry Potter fan art trend reimagines Draco Malfoy as a bratty anime girl, while the nickname 'Malfoid' draws attention for its incel-linked origins.

International Business Times UK

Fourteen days free

Download the app

One app. One membership.
100+ trusted global sources.

Download on the AppStore

Get it on Google Play