Биологические основы старения: взгляд через клеточные автоматы
Биг Смоук и Си-Джей в рекламе шиномонтажа
Объявлена программа VK Fest на 18 и 19 июля
Витамин B3 снижает риск развития глаукомы
Итоги торгов и главные экономические новости дня
Обзор AI-инструментов для личной продуктивности
1Password интегрировал Claude для безопасного входа в аккаунты
Миф о файле кокоса в Team Fortress 2
Эстетика экипировки в велоспорте
Охлаждение гаджетов в холодильнике приводит к поломкам
Медианная оценка стартапов на стадии seed достигла $28,8 млн
Вышел трейлер исторического боевика «Восставший» с Эндрю Гарфилдом
Исследование Anthropic: рекурсивное самосовершенствование и J-Space
Создание музыкального AI-клипа: от импровизации до монтажа
Sony и партнеры недовольны Community Notes в X
Почему не стоит искать идею для бизнеса
Выручка Steam в первом полугодии 2026 года достигла рекордных $11,1 млрд
История создания QR Barcode Hub: от заказной разработки к SaaS
GPT-5.6 Sol доказала 50-летнюю гипотезу о двойном покрытии циклами
Сотрудник OpenAI заявил, что новая модель GPT-5.6 Sol (в некоторых сообщениях — GPT-5.6 Sol Ultra) сгенерировала доказательство гипотезы о двойном покрытии циклами — одной из старейших открытых проблем теории графов, сформулированной Дьердем Секерешем в 1973 году. По словам OpenAI, доказательство было получено менее чем за час с помощью роя из 64 субагентов, причём результат появился прямо к моменту релиза модели.
Если доказательство подтвердит математическое сообщество, это станет одним из крупнейших ИИ-достижений в математике: гипотеза важна для теории нигде-не-нулевых потоков и не поддавалась учёным более полувека. Пока верификация не завершена, и эксперты, по данным источников, будут тщательно проверять результат.
ВыводГипотеза утверждает: для любого графа без мостов найдётся набор циклов, такой что каждое ребро графа входит ровно в два из этих циклов
Alice AI VLM и Alice AI ART прошли аудит ISO/IEC 42001
Все генеративные модели Яндекса под брендом Alice AI теперь сертифицированы по стандарту ISO/IEC 42001i — мультимодальная Alice AI VLMi и генератор изображений Alice AI ARTi прошли аудит вслед за языковой моделью, получившей сертификат годом ранее.
Стандарт оценивает не качество ответов нейросети, а процессы её создания и эксплуатации: как собираются и защищаются данные, как обучены сотрудники, как документируются цели и ограничения моделей, как отслеживаются сбои. По той же методологии ранее сертифицированы Amazon, Anthropic и Microsoft.