OpenAI и Anthropic заявили об опровержении гипотезы, над которой математики бились десятилетиями
🧠 OpenAI и Anthropic заявили об опровержении гипотезы, над которой математики бились десятилетиями Исследовательские ИИ-модели обеих компаний независимо нашли доказательства того, что гипотеза экспоненциального времени (ETH) может быть ложной. Удивительно, что оба результата…
- 01.🧠 OpenAI и Anthropic заявили об опровержении гипотезы, над которой математики бились десятилетиями Исследовательские ИИ-модели обеих компаний независимо нашли доказательства того, что гипотеза экспоненциального времени (ETH) может быть ложной
- 02.Удивительно, что оба результата…
🧠 OpenAI и Anthropic заявили об опровержении гипотезы, над которой математики бились десятилетиями Исследовательские ИИ-модели обеих компаний независимо нашли доказательства того, что гипотеза экспоненциального времени (ETH) может быть ложной. Удивительно, что оба результата были получены 16 октября, практически одновременно. ETH — одна из фундаментальных гипотез теоретической информатики. Она предполагает, что для решения некоторых вычислительных задач неизбежно требуется экспоненциальное время. Компании уже опубликовали научные работы и формальные доказательства на Lean, позволяющем проверять математические рассуждения программными средствами. Если результаты окончательно подтвердятся, это может изменить представления о сложности вычислений. Однако знаменитая проблема P ≠ NP остаётся нерешённой, а практические последствия открытия пока неясны. Источник1 Источник2
Связанные материалы
Все материалы →Кими К3.1 меняет все...
Меня зовут Дэвид Андре, и Кимик 3.1 Pro уже здесь, и это лучшая модель с открытым исходным кодом в мире. На самом деле, посмотрите на это. На терминальном стенде 4.0 он даже лучше, чем Opus, по максимальному усилию рассуждения, полностью уничтожая Astra и Fable 5.1. На марафоне SWE это также…
Сначала чат, потом сервис: как закрыть дизайн без дизайнера
Сначала чат, потом сервис: как закрыть дизайн без дизайнера Нужна презентация, сайт, афиша или логотип, а дизайнера нет? Cейчас разберём, что за вас сделает Claude или ChatGPT, а где лучше подключить отдельный сервис. ⠀ 🟠Что закроет Claude или ChatGPT > Презентация — план и…
DeepSeek только что вызвал панику у американских компаний, занимающихся искусственным интеллектом
DeepSeek только что выпустил модель, которая превосходит Claude Opus 5 в некоторых из самых сложных тестов кодирования в мире, примерно за 1/20 цены. И в те же выходные правительство США приказало вырвать его из всех гражданских федеральных компьютеров, а хакер использовал его для проникновения в другие...