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 ...

In a new perspective paper, Qin Huang of Arizona State University and colleagues propose that the worst damage from extreme ...

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.

Upbound Inc. today released Modelplane, a new open-source tool for managing artificial intelligence inference clusters. San Francisco-based Upbound is backed by $69 million from Alphabet Inc.’s GV ...

He built interfaces that allowed engineers, scientists and everyday people to solve difficult problems without having to write the underlying code.

“If you are a mathematician,” one of the world’s leading mathematicians recently wrote, “you may want to make sure you are sitting down before reading further.” And you’ll definitely need to sit down ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. News about AI math problem raises realization that finding counterexamples can be extremely ...

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, ...

More than 20% of the workload on the world's 500 fastest supercomputers is spent simulating how atoms and molecules move—with applications ranging from material design to identifying drug interactions ...

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 ...

Fault-tolerant quantum simulation just got 250 times cheaper to run. QuEra Computing and Los Alamos published an architecture ...