OpenAI Astra решила задачи, нерешаемые десятилетиями
Математический прорыв openai astra
Новая модель Astra от OpenAI продемонстрировала выдающиеся успехи в математике, подготовив фундаментальный труд объемом 249 страниц. Нейросеть справилась с задачами по геометрии, квантовой сложности и теории кодирования, которые оставались нерешенными десятилетиями.
Среди главных достижений Astra: создание первой известной non-sofic group, опровержение гипотезы Connes Rigidity Conjecture 1980 года и решение трех задач из списка Paul Erdős.
Такой подход меняет саму суть науки: AI самостоятельно ищет доказательства для теорем столетней давности, что значительно ускоряет исследования и устраняет сложные технические барьеры в IT и разработке.
Проверка экспертами и сотрудничество
Качество расчетов подтвердил лауреат Филдсовской премии Tim Gowers. Чтобы сделать логику выводов доступной, Tim Gowers и Noga Alon перевели их на понятный язык.
Для усиления команды OpenAI привлекает ведущих мировых ученых. Например, Jacob Tsimerman из Университета Торонто перешел в компанию, чтобы сосредоточиться на вопросах AI safety.
Этика и признание
Успехи Astra ставят под сомнение традиционную систему научных наград. Когда AI самостоятельно решает уравнения, возникает вопрос: кому принадлежит слава — автору промпта или создателю модели? Отрасль начинает переосмыслять значимость таких премий, как Nobel Prizes и Fields Medal.
Однако критики указывают на возможную предвзятость: десять тестовых задач выбрала сама OpenAI без участия независимых экспертов.
Ранее по теме
OpenAI создаст AI-помощника — релиз в 2027
Больше новостей в нашем Телеграм. Подпишись!
Ссылка на источник тык.
