ИИ решил 84 % геометрических задач IMO за последние 25 лет, превысив средний результат золотого медалиста, сообщает Ferra.
AlphaGeometry2 использует смесь ИИ Gemini от Google и движка, применяющего математические правила. Он предсказывает «полезные шаги» в решении геометрических задач и проверяет их на точность. Из-за ограниченности обучающих данных DeepMind создала 300 миллионов синтетических теорем и доказательств, чтобы обучить ИИ.
Система успешно решила 42 из 50 прошлых задач IMO, но столкнулась с трудностями при решении более сложных задач, решив только 20 из 29 задач, которые еще не появлялись в конкурсах. Кроме того, у нее возникли проблемы с решением задач с некоторыми сложными переменными.
DeepMind считает, что будущие модели ИИ смогут меньше полагаться на символьные механизмы по мере совершенствования языковых моделей.
АЭС
Президент: «Доля возобновляемых источников в общем энергобалансе превысила 7%»
Налоговый кодекс РК 2026
Минэкономики сообщило, когда и на сколько повысятся цены в Казахстане в 2026 году
Убийство Яны Легкодимовой
Обвиняемые по делу Яны Легкодимовой получили пожизненный срок
Алматы
Регистрация на январское ЕНТ стартует 22 декабря в Казахстане
МРП 2026
Минфин признал кризис и рассказал об этом в законе о бюджете РК
Землетрясение
Землетрясения могут привести Казахстан к нехватке воды
Бокс
Журнал The Ring принял решение по Алимханулы после допинг-скандала
Футбол
Прямая трансляция плей-офф Лиги конференций Бранн - Астана
Астана
Новогодние елки засияли во всех районах Астаны
Азербайджан
Президент Казахстана принял участие в VII Консультативной встрече глав государств Центральной Азии
Шымкент
В Шымкенте 21 декабря зажгут главную ёлку
Иран
Президенты осмотрели выставку найденных в архивах Ирана древних рукописей, содержащих сведения по истории Казахстана
Война
Песков отреагировал на предложение Зеленского провести переговоры с Путиным в Казахстане
Нефть
Это удар не только по нефти: что атака украинских беспилотников на КТК значит для Казахстана
Закон
Глава государства подписал поправки по вопросам административной юстиции
Туризм
Во сколько обойдется иностранцам новогодняя ночь в Астане и Алматы
Медицина
Почему в Казахстане не доверяют медицине