4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.
OpenAI says its model disproved the Exponential Time Hypothesis, Anthropic files a $1.5T-plus IPO, and GPT-6.1 Terra cuts agent costs ninefold. OpenAI published three claimed research breakthroughs on October 26, including a disproof of the Exponential Time Hypothesis. Anthropic filed its S-1 the same day, and GPT-6.1 Terra arrived at…
In its official release on building scientific understanding with academic communities, OpenAI frames the initiative around public artifacts, formalization in Lean and collaboration with independent academic researchers. The…
The claim concerns the Exponential Time Hypothesis. Independent scrutiny is open, and a practical Bitcoin attack would require several further steps. OpenAI says its AI system has refuted the Exponential Time Hypothesis, a…
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 polynomial time can usually be handled at scale.…
Finding the shortest route between two locations is something navigation apps like Google Maps do every day. Behind the scenes, sophisticated algorithms analyze networks of roads and intersections to identify efficient paths. But…
An AI model just disproved a hypothesis that complexity theorists had been building on since 1999. On October 25, OpenAI posted a 67-page preprint titled "The Exponential Time Hypothesis is False", found by an internal model and partly checked in the Lean proof checker. Anthropic soon posted a refutation of…
Published 9:29 am Friday, October 30, 2026 By DEBORAH GERTZ HUSAR, Staff Writer Illinois Report Card offers “comprehensive view” of schools statewide SPRINGFIELD, Ill. — Warsaw Superintendent Katrina Nixon earmarked time this week for some all stars. Elementary “all stars” recognized for first quarter attendance, grades and discipline enjoyed a…