Большая языковая модель+Обучение с подкреплением → ИИ в математике

AlphaProof и AlphaGeometry 2 от DeepMind решают 4 из 6 задач Международной математической олимпиады — 28 баллов, уровень серебряной медали — deepmind.google ↗

Наука · Образование

⚑ Подкрепляют

• Наука / Тимоти Гауэрс: «Доказать то, чего не могут доказать LLM»
• Наука / Юго Дюминиль-Копен: «Выпуск OpenAI сотен ИИ-доказательств — «монументальный шок»: для математиков «наступил следующий день»; на одной из его задач — будто бежал марафон с кем-то на спине, кто спрыгнул за 100 метров до финиша и пересёк черту первым»
• Наука / Джек Кларк: «ИИ становится творческим — и в математике, и в исследованиях самого ИИ, поэтому полное рекурсивное самоулучшение теперь скорее станет возможным в 2027 году, а не в 2028-м»

¶ cpmp95wjd