IndustryThe Decoder·August 1, 2026

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

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. He warns of the "possible destruction of mathematical culture" if mathematicians stop building the expertise needed to understand such results.…

This is a summary curated by AIFuture. Read the complete article at the original source:

Read the full story on The Decoder

More AI News

RegulationTechCrunch

Judge denies xAI’s request to block Minnesota ban on ‘nudify’ apps

Despite a lawsuit from xAI, a Minnesota ban on apps that allow users to “nudify” images can move forward.

Aug 1, 2026

IndustryTechCrunch

YouTuber Hank Green says his AI usage is ‘not healthy’

Green offered a remarkable apology, saying that "the level of dopamine that I've been getting from interacting with LLMs ... is not healthy for me or good for the world."

Aug 1, 2026

StartupsThe Verge

Is this Billboard Hot 100 hit AI slop?

That cover art is almost certainly AI, too. | Image: Fenix Flexin Fenix Flexin is best known as a member of Shoreline Mafia, a rap duo from Los Angeles. But he's recently found solo success with the track "Rubberz," which has climbed to number 58 on the Billboard Hot 100. Almost immediately, though, questions were raised about the song's origins, with many speculating that it was largely, if not…

Aug 1, 2026