Science · 2026-10-27 · Дневной выпуск
OpenAI, Anthropic заявляют о прорывах в дуэльных доказательствах
OpenAI опубликовала три крупных доказательства, которые, по ее утверждению, решают давние проблемы в математике, физике и информатике. За этим объявлением немедленно последовала конкурирующая фирма Anthropic, которая опубликовала свой собственный независимый результат всего через несколько часов. Обе компании теперь заявляют, что опровергли гипотезу об экспоненциальном времени, фундаментальный принцип информатики, впервые предложенный в 1999 году.
Эти публикации вызывают споры. OpenAI сохранила собственную большую языковую модель, которая сгенерировала доказательства, скрывая использованные подсказки и вычислительные методы. Этот шаг также противоречит рекомендациям Консультативной группы по математике и искусственному интеллекту, экспертной группы, организованной самой OpenAI. Одно из доказательств относится к проблеме Янга-Миллса, одной из семи нерешенных «проблем тысячелетия», установленных Математическим институтом Клэя в 2000 году.
Краткое изложение подготовлено Cup of News с помощью ИИ по источникам ниже. Полный текст смотрите в оригиналах.
Читать источники
- Dueling proofs from OpenAI and Anthropic astound scientists
- OpenAI Claims Navier–Stokes Breakthrough, Sparking Research Dispute
- OpenAI touts math breakthrough. Mathematicians dispute credit
- Some OpenAI math discoveries are ‘jewels,’ if verified. But mathematicians are wary of ‘slop.’
- OpenAI Is Pissing Off a Bunch of Mathematicians—Again
Десять новостей, дважды в день. Спокойно, без уведомлений.
Установить приложениеДругие новости выпуска
- ЕС представляет климатический закон для подготовки к миру, потеплевшему на 3°C
- Чавинга из Малави — первая африканская женщина в топ-10 «Золотого мяча»
- Крупнейшее IPO Индии может положить конец эре дешевых данных
- Украина и Россия начинают местное прекращение огня в оккупированных Олешках
- Исследование: ИИ обходится до 17 раз дороже для неанглоязычных пользователей
- Кения освобождает контактировавших с Эболой, пока ДРК тестирует вакцины
- Гарри Кейн выигрывает «Золотой мяч», положив конец долгому ожиданию немецкого футбола
- Лидеры Северных стран в редком звонке Путину по поводу переговоров по Украине
- Каперник не жалеет о протесте, завершившем его карьеру, десять лет спустя