Нейросеть OpenAI решила 10 нерешенных десятилетиями математических задач

Компания OpenAI сообщила о достижении своей внутренней нейросети Astra, которая успешно справилась с десятью открытыми задачами в области математики и теоретической информатики. Некоторые из этих задач оставались нерешенными более полувека. На генерацию решений ушло токенов на сумму около $2 тыс. Затем с помощью той же модели результаты были оформлены в научные работы, а доказательства переведены в формат Lean, позволяющий автоматически проверять их корректность. В частности, нейросеть опровергла две математические гипотезы, нашла решение задачи из квантовой теории и получила новые результаты в других областях. В OpenAI выразили надежду, что математики изучат эти результаты и используют их в дальнейших исследованиях.