Five hundred million dollars. That is how much a Legislative Finance Committee report says New Mexico has spent on housing initiatives, aimed at combatting homelessness, within a span of three years, ...

A new approach translates physical climate hazards — floods, wildfires, heat stress — directly into credit risk, insurance ...

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

Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the ...

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

Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there ...

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

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...

AI plays a supportive educational role for nearly 70 percent of top-performing math students asked about their study habits, according to a new survey. The survey, conducted by Philadelphia-based ...