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

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.

Zermelo-Fraenkel set theory is so widely accepted that modern mathematicians hardly think about it. But believing in its core principles didn’t come easily. How do mathematicians decide that something ...

Katelyn is a reporter with CNET covering artificial intelligence, including chatbots, image and video generators. Her work explores how new AI technology is infiltrating our lives, shaping the content ...

New Haven’s police chief, Karl Jacobson, resigned abruptly after his deputies saw red flags, including missing money. He has pleaded not guilty to embezzling city money to gamble on sports. By Hurubie ...

Nvidia technically launched DLSS 4.5 back at CES 2026, improving the already-great DLSS 4 algorithm with an updated transformer model for upscaling. But its headline feature, Dynamic Multi-Frame ...

The San Francisco school board approved a plan to restore algebra as an option at all middle schools, more than a decade after it was removed over equity concerns. By Dana Goldstein The San Francisco ...

A Polish mathematician who once described artificial intelligence as “a very advanced calculator” has been left stunned after an AI model managed to solve a research-level mathematics problem he spent ...

Being a proud owner of a Sony PlayStation 5 means you have access to one powerful machine that can play demanding AAA titles from God of War Ragnarök to legacy semi-indies like Clair Obscur: ...

GPT just keeps getting better at mathematics, increasingly solving the trickiest of problems. In January, AI testing company Epoch AI found that a previous version of the AI model, GPT-5.2 Pro had ...

At a secret meeting in 2025, some of the world's leading mathematicians gathered to test OpenAI's newest large language model, o4-mini. Experts at the meeting were amazed by how much the model's ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...