🧠 OpenAI и Anthropic заявили об опровержении гипотезы, над которой математики бились десятилетиями Исследовательские ИИ-модели обеих компаний независимо нашли доказательства того, что гипотеза экспоненциального времени (ETH) может быть ложной. Удивительно, что оба результата были получены 16 октября, практически одновременно. ETH — одна из фундаментальных гипотез теоретической информатики. Она предполагает, что для решения некоторых вычислительных задач неизбежно требуется экспоненциальное время. Компании уже опубликовали научные работы и формальные доказательства на Lean, позволяющем проверять математические рассуждения программными средствами. Если результаты окончательно подтвердятся, это может изменить представления о сложности вычислений. Однако знаменитая проблема P ≠ NP остаётся нерешённой, а практические последствия открытия пока неясны. Источник1 Источник2
From the original source:
Telegram — GPT Time | Нейросети | ИИ
Read full article at Telegram — GPT Time | Нейросети | ИИ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...
AI Summary & Key Takeaways
- 🧠 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...
OpenAI and Anthropic have announced a refutation of a hypothesis that mathematicians have been struggling with for decades.
Related 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…
Should AI Decide Your Court Case? This Judge Says Yes
One of England’s top judges, Geoffrey Vos, believes that AI could adjudicate plenty of civil cases. The question, he says, is where the line should be drawn.