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

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old ...

Daniel Glasscock, an assistant professor of mathematics and statistics in the Kennedy College of Sciences, has been interested by Ramsey theory since his master’s degree studies at Central European ...

Gear-obsessed editors choose every product we review. We may earn commission if you buy from a link. Why Trust Us? Here’s what you’ll learn when you read this story: Because our eyes perceive color ...

Neuromorphic computers modeled after the human brain can now solve the complex equations behind physics simulations — something once thought possible only with energy-hungry supercomputers. The ...

Lottery tickets purchased repeatedly in the same small Texas town led to four separate wins and nearly $21 million in total payouts. State officials verified each claim, but the streak stood out ...

One day in November, a product strategist we’ll call Michelle (not her real name), logged into her LinkedIn account and switched her gender to male. She also changed her name to Michael, she told ...

In a world run by computers, there is one algorithm that stands above all the rest. It powers search engines, encrypts your data, guides rockets, runs simulations, and makes the modern digital ...

The original version of this story appeared in Quanta Magazine. Imagine a town with two widget merchants. Customers prefer cheaper widgets, so the merchants must compete to set the lowest price.

Descriptive set theorists study the niche mathematics of infinity. Now, they’ve shown that their problems can be rewritten in the concrete language of algorithms. All of modern mathematics is built on ...