Компания OpenAI представила результаты работы своих нейросетей, сумевших доказать гипотезу Согге и опровергнуть гипотезу экспоненциального времени. Эти открытия знаменуют новый этап в применении ИИ для решения фундаментальных задач в математике, физике и информатике.
Математическое сообщество поставило под сомнение недавний прорыв OpenAI в решении уравнений Навье-Стокса. Анализ алгоритмической версии доказательства в системе Lean выявил расхождения, которые требуют тщательной проверки и пересмотра ключевых утверждений.
Группа обладателей медали Филдса выступила против использования математических достижений разработчиками ИИ. Ученые опасаются обесценивания научного прогресса и неэтичного использования интеллектуальной собственности ради коммерческих целей.
Группа ведущих мировых математиков выступила с открытым письмом, предупреждая о рисках, которые стремительное внедрение искусственного интеллекта несет для фундаментальной науки и качества академических исследований.
Российские исследователи применили инновационный подход с использованием 10 тысяч ИИ-агентов для работы над одной из семи «задач тысячелетия». Разбираемся, как коллективный разум нейросетей справляется с нелинейными уравнениями гидродинамики.
Исследовательская группа OpenAI сообщила о достижении в области математической физики. Искусственный интеллект справился с проблемой существования и гладкости решений уравнений Навье-Стокса, что считалось невозможным для вычислительных систем на протяжении десятилетий.
Разработчики OpenAI объявили о достижении, которое может изменить мировую науку: нейросеть справилась с доказательством проблемы уравнений Навье-Стокса. Это одна из семи математических задач, за решение которых Математический институт Клэя назначил премию в миллион долларов.
Разработчики из Anthropic сообщили о значительном достижении в области математической логики. Модель Claude успешно перевела сложное доказательство Великой теоремы Ферма на язык формальной верификации, открывая новые возможности для автоматизации фундаментальной науки.
Компания OpenAI презентовала новую разработку — нейросеть Astra, способную справляться со сложнейшими задачами в сфере чистой математики и теоретической информатики.
Разработчики представили модель ИИ, решившую задачу теории графов, которая оставалась неразрешимой на протяжении полувека. Это достижение знаменует новый этап в использовании нейросетей для фундаментальных научных исследований.
