AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.

Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) ...

The first puzzle you'll encounter in Hell Is Us is the ruins code puzzle, taking place during Act One's Family Reunion Investigation. It requires finding three symbols that are hidden around the ...

The research, conducted across three separate randomized experiments involving math and reading comprehension tasks, found something that should make any AI user pause and think. After around ten ...

SAN FRANCISCO—At its Code with Claude developer conference on Wednesday, Anthropic announced a deal with SpaceX to utilize the entire compute capacity of the latter’s data center in Memphis, Tennessee ...

Using AI chatbots for even just 10 minutes may have a shockingly negative impact on people’s ability to think and problem-solve, according to a new study from researchers at Carnegie Mellon, MIT, ...