Exponential Time Hypothesis disproof: two rival AI systems at OpenAI and Anthropic independently published machine-verified ...

This is a sequel to yesterday's article. The initial questionAnother idea. Let's use AI to generate the nasty counterexamples for SAT from our previous discussion. We can observe this generation ...

OpenAI says one of its internal models has disproved the Exponential Time Hypothesis, a conjecture that computer scientists have leaned on for ...

A central tenet in computer science has apparently been disproven by OpenAI, a result that will force textbooks to be ...

OpenAI has released a preprint and a Lean formal proof claiming to refute the Exponential Time Hypothesis. Experts are now ...

A new review maps the evolution of cloud task scheduling algorithms, from classical heuristics to nature-inspired ...

Truth be told, I dabbled a bit in computational complexity theory back in my student days, and looking back on it now, I can ...

OpenAI said in an announcement on October 26, 2026, that its internal models produced three research results in mathematics, ...

The Global Health Innovative Technology (GHIT) Fund announced today a total investment of approximately JPY 1.06 billion (USD 6.8 million 1) in nine R&D projects for the development of drugs, vaccines ...

In shortOpenAI says its AI has proven that ETH is fake—but the "ETH" referred to here is not the one cryptocurrency traders ...

OpenAI announced that its internal models have produced three major results in harmonic analysis, computational complexity, ...

OpenAI and Anthropic assert that their AI models have posed a challenge to a traditional view concerning the limits of ...