AI keeps cracking unsolved math problems, and mathematicians have mixed feelings

Technology · en

AI keeps cracking unsolved math problems, and mathematicians have mixed feelings

The Decoder · Aug 1, 2026, 4:01 PM UTC

OpenAI's refutation of the Unit Distance Conjecture has sparked a wave of AI-assisted advances in mathematics. Fields Medal winner Timothy Gowers says GPT 5.6 Pro solved two problems he had spent considerable time working on, each on its first attempt.…

Read original report Visit The Decoder

Technology · The Decoder

OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions

OpenAI is building a new model family called "Astra" that would let multiple agents tackle complex problems together for hours or even days.…Read original ↗

Technology · WIRED

Astronomers Have Detected an Exomoon for the First Time

A discovery in a solar system 73 light-years from Earth is challenging definitions and “blurring the lines between stars, planets, and moons.”Read original ↗

Technology · Engadget

Lenovo's first Googlebooks have leaked

The company appears to have built new laptops and a 2-in-1 for the Googlebook initiative.Read original ↗

Technology · Ars Technica

Reddit keeps its strange DMCA fight over Google search results alive

Reddit advances lawsuit accusing Perplexity AI of conspiring with web scraper.Read original ↗

Technology · Engadget

Snapchat is cracking down on AI slop in Spotlight

Videos made with AI will no longer appear in Snapchat's public recommendations.Read original ↗

Technology · TechCrunch

AI hedge fund Situational Awareness may have sold its public portfolio, but it still has its Anthropic shares

The former OpenAI researcher’s fund was forced to unwind public equities after leveraged public bets plummeted. But he still has cards to play.Read original ↗