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.

These 8 military vehicles became legends by solving brutal battlefield problems, from the Willys MB Jeep and GMC CCKW to the ...

The mayor is in for a fight on affordable housing. He told me about his plan of attack.

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

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

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

In 1946, the mathematician Paul Erdős posed the unit distance problem—and suggested a winning strategy. An A.I. model has now ...

A former high-ranking Chicago cop says the surge in thefts likely means criminals have noticed that police aren’t doing much ...

Mayor Zohran Mamdani released his Block by Block housing plan, pledging to build and preserve 400,000 units of housing. Will ...

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

Chariot Defense is adapting electric-vehicle technology for the battlefield, where drones, sensors, jammers, and ...

Tensormesh Inc. has hit upon a way to make artificial intelligence inference more efficient by eliminating the need for ...