ЧТО: OpenAI заявила, что решила одну из семи задач тысячелетия — проблему Навье—Стокса 🤯
То самое доказательство, вокруг которого сегодня разгорелся скандал, теперь представили официально. Его создала группа из 10 000 ИИ-агентов на модели следующего поколения, которая, по словам OpenAI, значительно мощнее GPT-6 Astra. На работу ушло 88 часов и 130 млрд выходных токенов.
В итоге агенты получили доказательство, что в трёхмерных уравнениях Навье — Стокса при определённых условиях может возникнуть сингулярность за конечное время. Доказательство дополнительно формализовали и проверили с помощью ИИ.
Это, если что, одна из знаменитых задач тысячелетия, которые математики безуспешно штурмуют десятилетиями. За её решение назначен приз в $1 млн, но OpenAI заявила, что претендовать на деньги не собирается.
Складной iPhone ждут уже завтра. Но первые «раскладушки» появились ещё до ковида. Что Apple делала всё это время?
Компания часто приходит в новую категорию, когда конкуренты уже годами выпускают свои устройства. Иногда после этого гаджет становится привычной вещью, иногда — остаётся дорогой диковинкой. В новом видео разбираем, что отличает одно от другого и чего ждать от складного айфона.
OpenAI снова попала в СКАНДАЛ: математики подозревают, что компания использовала их приватные сессии для решения задачи на $1 млн 😳
Профессор Тристан Бакмастер почти год вместе с коллегой работал над сложнейшей задачей. Все черновики проекта они прогоняли через Codex, а недавно получили серьёзный результат на пути к решению знаменитой задачи Навье — Стокса — одной из задач тысячелетия, за решение которой положен денежный приз и бесконечная слава.
Но вот незадача. По словам Бакмастера, информация об их работе дошла до OpenAI, и через пару дней компания сообщила, что её внутренняя модель тоже получила примерно 100-страничное доказательство и пошла тем же довольно специфическим путём.
Ученый считает, что модель могли обучать на их приватных сессиях Codex, где и лежали все черновики. OpenAI же обвинения отрицает.
Появилась бесплатная альтернатива Microsoft Office со встроенными ИИ-агентами — GenOffice 🤯
Genspark выложили GenOffice в опенсопс и теперь называют приложение вашим новым ИИ-офисом! Оно умеет работать с документами, таблицами, презентациями и PDF. Встроенному же агенту можно поручить всю грязную работу: анализ данных, написание текста или создание презентации. Поддерживаются Claude, DeepSeek, Kimi и другие модели.
Кстати, саму первую версию GenOffice собрал всего один инженер за неделю, потратив $10 000 на токены. Теперь весь проект выложили в опенсорс для macOS, Windows и Linux.
Spotify неожиданно выложила плагины, которые сокращают расход токенов в Claude Code на 90% 😱
Первый, Portal, позволяет Claude Code отдавать легкие задачи дешёвым моделям вроде Gemini 2.5 Flash. А второй, Shunt, автоматизирует этот процесс.
Так, если Claude пытается прочитать файл больше 350 строк, то Shunt остановит его и через Portal отдаст файл дешёвой модели, которая вернет резюме. А сложные задачи, где реально нужны рассуждения, остаются Claude.
У автора этот подход сократил расход токенов на чтение файлов примерно на 90%.