OpenAI and Anthropic have announced a refutation of a hypothesis that mathematicians have been struggling with for decades.
🧠 OpenAI and Anthropic have announced a refutation of a hypothesis that mathematicians have been struggling with for decades. Research AI models from both companies independently found evidence that the exponential time hypothesis (ETH) may be false. Surprisingly, both results...
- 01.🧠 OpenAI and Anthropic have announced a refutation of a hypothesis that mathematicians have been struggling with for decades
- 02.Research AI models from both companies independently found evidence that the exponential time hypothesis (ETH) may be false
- 03.Surprisingly, both results...
🧠 OpenAI и Anthropic заявили об опровержении гипотезы, над которой математики бились десятилетиями Исследовательские ИИ-модели обеих компаний независимо нашли доказательства того, что гипотеза экспоненциального времени (ETH) может быть ложной. Удивительно, что оба результата были получены 16 октября, практически одновременно. ETH — одна из фундаментальных гипотез теоретической информатики. Она предполагает, что для решения некоторых вычислительных задач неизбежно требуется экспоненциальное время. Компании уже опубликовали научные работы и формальные доказательства на Lean, позволяющем проверять математические рассуждения программными средствами. Если результаты окончательно подтвердятся, это может изменить представления о сложности вычислений. Однако знаменитая проблема P ≠ NP остаётся нерешённой, а практические последствия открытия пока неясны. Источник1 Источник2
Related Intelligence
All stories →kimi k3.1 changes everything...
My name is David Andre and Kimik 3.1 Pro is here and this is the best open source model in the world. In fact, look at this. On terminal bench 4.0, it's even better than Opus on the max reasoning effort completely destroying Astra and Fable 5.1. On SWE Marathon, it's also the…
First chat, then service: how to close a design without a designer
First chat, then service: how to complete a design without a designer Do you need a presentation, website, poster or logo, but don’t have a designer? Now we’ll figure out what Claude or ChatGPT will do for you, and where it’s better to connect a separate service. ⠀ 🟠What will Claude or ChatGPT close > Presentation - plan and...
DeepSeek Just Made American AI Companies Panic
DeepSeek just released a model that beats Claude Opus 5 on some of the hardest coding tests in the world at around 1/20th of the price. And on the same weekend, the US government ordered it ripped out of every civilian federal computer while a hacker used it to break into more…