The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

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

Array Theater has officially achieved STEM certification, recognizing the theater’s commitment to integrating Science, ...

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

Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.

A seemingly simple set of rules kicks off a kind of mathematical magic trick, which has kept great minds busy since the 1930s ...

An economics major examines resource allocation, incentives and wealth in fields like business management, law and public ...

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

The dwindling congressional calendar may spur a legislative competition for the crypto market structure bill to win Senate ...

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

Switching to XLOOKUP transformed how I build spreadsheets by removing fragile column counting and hidden lookup traps.