ИИ доказал гипотезу Ааронсона-Амбайниса за 3 дня: 18 лет ожидания завершены
Американская исследовательская компания PSI официально заявила о доказательстве гипотезы Ааронсона-Амбайниса — фундаментальной математической проблемы, сформулированной в 2008 году и оставшейся нерешенной в течение 18 лет. Прорыв был достигнут исследовательской системой всего за три дня работы. Сут…
OpenAI представила модель Astra: ИИ решил 10 фундаментальных математических задач за $2000
2 августа OpenAI официально раскрыла название своего нового семейства моделей — Astra — и опубликовала результаты её работы. Система смогла решить десять фундаментальных задач в области математики и теоретической информатики, над которыми ученые работали десятилетиями. Проблемы охватывают шесть нап…
OpenAI представила модель Astra: 10 математических прорывов за один отчет
Компания OpenAI анонсировала исследовательскую работу, посвященную внутренней модели Astra. По заявлению разработчиков, система смогла самостоятельно найти ключевые идеи для решения десяти давно открытых математических задач, а затем формализовать доказательства в системе Lean, получив машинно пров…
