In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Tensor networks enable researchers to tackle quantum physics problems previously thought to be solvable only by quantum computers. Credit: Lucy Reading-Ikkanda/Simons Foundation By applying a 1980s ...

Insects join list of species capable of solving simple ‘box-and-banana’ problem that demonstrates basic intelligence Bumblebees can use tools to solve a problem, according to experiments that ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

The automation waves of the past rewarded companies with the best systems, not the most robots, and AI will be no different.

It’s been three-and-a-half years since generative AI exploded onto the scene. In this past year, progress has continued its relentless pace: Vibe coding took off, companies embraced agentic workflows, ...

UPDATE: Jun. 4, 2026, 3:38 p.m. EDT — This article has been updated with a statement from Reddit. In recent years, brands and spammers alike have been using Reddit to manipulate AI chatbots by ...