These 10 unsolved problems in computer science, from P versus NP to quantum advantage, bear on cryptography, algorithm design and computing's limits — here is what each asks That distinction sounds abstract, but it decides what is feasible. A problem solvable in…
A question posed by Sir Walter Raleigh about cannonballs inadvertently led to a puzzle that mathematicians have been trying to solve for centuries By Manon Bischoff edited by Daisy Yuhas Astronomer Johannes Kepler hypothesized that this arrangement of spheres would…
OpenAI released solutions to three blockbuster math problems that have long vexed researchers yesterday. One was a surprise rejection of the Exponential Time Hypothesis (ETH), a durable assumption in computer science that plays a large role in how we understand…
Terence Tao, who was born in Australia, demonstrated extraordinary mathematical skills from a young age. He began learning calculus at the age of 7 and became the youngest winner of the International Mathematical Olympiad at 13. After earning his Ph.D. from Princeton…
For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and computing. The Kannan…
The process by which GPT-5.4 Pro might have arrived at this novel construction involves several facets of LLM capabilities, potentially operating in concert: Consider a simplified illustrative example for a graph problem: Iterative Refinement and Error Correction: The discovery process…
Microsoft Research announced on October 21, 2026 that Xinzhi Zhang, a senior researcher in its Machine Learning and Optimization group, and collaborator Zhao Song have proved the Kannan–Lovász–Simonovits conjecture, a 31-year-old problem in high-dimensional geometry and probability, using a human-directed…
AI challenges mathematics by solving the unsolvable ABS-CBN AI challenges mathematics by solving the unsolvable Your go-to source for the latest news, entertainment highlights, exclusive interviews, and updates on your favorite Kapamilya stars. ABS-CBN is the leading media and entertainment…
A mathematical problem is making big news, with AI companies clashing over claims by one tech giant to have found the solution to the Navier-Stokes equations. Regarded as one of trickiest puzzles of mathematics, it has Irish connection. George Gabriel…
In 1988, hundreds of exceptionally talented school students arrived in Canberra for the International Mathematical Olympiad. On the second day they encountered a problem that would acquire a reputation far beyond that year’s competition. It contained no calculus, no advanced algebra,…
Proofs and Theorems in Geometry: the news, the names and what changed.
An article joins this feed when it matches these terms. Each one is also a search of its own.