Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

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.

You're currently following this author! Want to unfollow? Unsubscribe via the link in your email. If you feel like you've been inundated with AI-related layoff announcements, you're not alone. Workers ...

At 25, Kurt Gödel proved there can never be a mathematical “theory of everything.” Columnist Natalie Wolchover explores the implications.

For years, the idea that reality might be a giant computer simulation has lived comfortably in science fiction, philosophy, ...

I’ll be frank, Googlebook is an absolutely terrible name for Google’s new brand of Android-powered laptops. Not just because Google Books already exists as a search product people barely remember, but ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

At the bar, Fabian Santiago is combining liquids from decanters and stoppered bottles, shaking them together with a flourish before pouring them into a cocktail glass. The counter is lined with dishes ...

The FBI is vocally upset that tech companies won't make it easier to seize your private messages and data. That's made clear in a blog post from the agency decrying what it refers to as "warrant-proof ...