Hacker News · 18.07.2026 ·Исследования и наука

ИИ помог решить 30-летнюю математическую задачу в области выпуклой оптимизации

Исследователи применили продвинутую языковую модель для решения давней математической проблемы, связанной с гипотезой о выпуклой оптимизации. ИИ удалось найти доказательство, которое оставалось недоступным для математиков на протяжении трех десятилетий. Этот прорыв демонстрирует способность нейросетей не просто генерировать текст, но и выполнять сложные логические выводы в фундаментальных научных дисциплинах, требующих строгой формализации.

Процесс решения опирался на использование специализированных промптов, которые направляли модель через этапы формального доказательства. В отличие от стандартных задач, где ИИ часто галлюцинирует, здесь потребовалась глубокая интеграция с методами автоматического доказательства теорем. Результат подтверждает, что современные модели могут выступать в роли полноценных ассистентов в теоретической математике, сокращая время на поиск решений в узкоспециализированных областях.

Ключевые факты

Задача по выпуклой оптимизации оставалась нерешенной в течение 30 лет.
Использование промптов позволило модели структурировать доказательство, которое ранее считалось крайне сложным для автоматизации.
Успех эксперимента подтверждает эффективность LLM в задачах, требующих высокой точности логических цепочек.
Метод доказательства был верифицирован с помощью инструментов для формальной проверки математических утверждений.

Источник: Hacker News

Обсудить с ИИ

Похожие материалы

Hacker News · Исследования и наука ИИ помог решить 30-летнюю задачу в области выпуклой оптимизации Модель GPT-5.6 Sol Pro успешно справилась с математической задачей в области выпуклой оптимизации, которая оставалась нерешенной на протяжении 30 лет. Использование специализированного ИИ-инструмента позволило найти доказательство и алгоритмическое решение, что демонстрирует потенциал больших языковых моделей в качестве ассистентов для фундаментальных научных исследований и решения сложных вычислительных проблем, ранее требовавших десятилетий работы экспертов. Hacker News · Исследования и наука Эффективность больших языковых моделей в решении математических задач Исследование анализирует способность современных LLM справляться со сложными математическими задачами, которые ранее считались доступными только для специализированных систем. Автор рассматривает механизмы, позволяющие моделям демонстрировать неожиданно высокие результаты в доказательстве теорем и решении олимпиадных задач, подчеркивая сдвиг в возможностях нейросетей от простого предсказания текста к логическому рассуждению и формальной верификации математических конструкций. Hacker News · Исследования и наука Обзор достижений LLM в решении открытых математических задач Исследователи проанализировали способность современных языковых моделей к совершению математических открытий, которые ранее считались нерешенными. В работе рассматривается потенциал LLM в генерации верифицируемых доказательств и поиске новых закономерностей. Авторы оценивают текущие успехи моделей в области формальной математики и определяют границы их автономности при решении задач, требующих глубокого логического вывода и креативного подхода. Hacker News · Исследования и наука Математическое доказательство и логические ограничения LLM Исследователи представили работу, посвященную применению принципа открытой индукции для анализа логических возможностей больших языковых моделей. Авторы статьи исследуют, как формальные методы доказательства соотносятся с архитектурными особенностями нейросетей, работающих на основе предсказания следующего токена. В центре внимания — вопрос о том, способны ли современные модели к полноценному дедуктивному выводу или их логика ограничена вероятностным распределением данных. Hacker News · Исследования и наука Математическая задача Эрдёша решена с помощью ИИ и системы формальной верификации Lean Исследователи применили комбинацию продвинутых языковых моделей и системы формальной верификации Lean для решения классической математической задачи №870 из списка Пола Эрдёша. Использование ИИ в связке с инструментами доказательства теорем демонстрирует значительный прогресс в автоматизации поиска строгих математических выводов, ранее требовавших длительной работы экспертов-математиков, и открывает новые возможности для формализации сложных научных гипотез. arXiv · Исследования и наука Новый метод обучения LLM решению сложных логических задач с битовыми манипуляциями Исследователи представили новый алгоритмический подход, который позволяет большим языковым моделям эффективнее справляться с задачами на логический вывод и битовые манипуляции. В рамках конкурса NVIDIA Nemotron Model Reasoning Challenge авторы работы сфокусировались на поиске скрытых правил, которые преобразуют входные бинарные строки в выходные данные. Традиционные методы часто заставляют модели имитировать сложные булевы вычисления, что приводит к ошибкам при работе с комбинаторными задачами. Hacker News · Исследования и наука Современное состояние математических способностей ИИ В актуальном обзоре математических возможностей современных языковых моделей анализируется прогресс в решении задач, требующих формальной логики и глубоких вычислений. Исследование охватывает как классические бенчмарки, так и новые подходы к верификации ответов, где модели сталкиваются с необходимостью не просто предсказывать следующий токен, а следовать строгим правилам математического доказательства. arXiv · Исследования и наука Исследование: LLM используют «пустые» токены для скрытых вычислений Исследователи обнаружили, что современные языковые модели способны выполнять сложные многошаговые рассуждения, используя «пустые» токены, такие как многоточия или последовательности чисел. В таких случаях модель выдает правильный ответ без видимой цепочки рассуждений (CoT) в тексте. Это создает серьезную проблему для контроля поведения ИИ, так как внешне токены не содержат информации о логике процесса. The Decoder · Исследования и наука ИИ опроверг 30-летнюю статистическую гипотезу за 90 минут Профессор статистики Пенсильванского университета использовал модель GPT-5.6 Sol Pro для решения математической задачи, которая оставалась открытой на протяжении 30 лет. ИИ удалось опровергнуть гипотезу, связанную с методом Бенджамини-Хохберга, всего за 90 минут. Предыдущая версия модели, GPT-5.5, не смогла справиться с этой задачей даже после 20 часов непрерывных вычислений и попыток анализа. Hacker News · Исследования и наука Применение LLM для решения задач оптимизации в научных исследованиях Исследователь Эллиот Смит представил подход к автоматизации научных изысканий с использованием Claude 3.5 Sonnet для решения задач с ограничениями. Метод заключается в итеративном уточнении параметров поиска и проверке гипотез через программный код, что позволяет эффективно находить оптимальные конфигурации систем, минимизируя ручное вмешательство и повышая точность результатов в сложных вычислительных экспериментах.

← Все материалы