ИИ решил математические задачи Международной олимпиады школьников
Компания DeepMind объявила, что ее системы искусственного интеллекта (ИИ) решили четыре из шести задач, которые были заданы школьникам на Международной математической олимпиаде (IMO) 2024 года в Бате, Великобритания. ИИ представил строгие пошаговые доказательства, которые были оценены двумя ведущими математиками и получили оценку 28/42 — всего на один балл меньше диапазона золотой медали.
Может показаться, что раз это олимпиада среди школьников, то задачи там простые. Но это не так. Задачи на Международной олимпиаде очень сложные, а школьники, которые их решают обладают настоящим математическим талантом. Задачи для каждой олимпиады придумывают заново и занимаются этим настоящие математики. Результат ИИ совершенно выдающийся еще и потому, что он не только угадал решение, но и привел его полное доказательство. И это уже очень серьезно.
Компания DeepMind объявила 25 июля, что ее системы искусственного интеллекта (ИИ) решили четыре из шести задач, которые были заданы школьникам на Международной математической олимпиаде (IMO) 2024 года в Бате, Великобритания. ИИ представил строгие пошаговые доказательства, которые были оценены двумя ведущими математиками и получили оценку 28/42 — всего на один балл меньше диапазона золотой медали.
ИИ DeepMind решает задачи на уровне самых талантливых школьников мира
«Это, несомненно, очень существенный прогресс», — говорит Джозеф Майерс, математик из Кембриджа, Великобритания, который вместе с лауреатом медали Филдса Тимом Гауэрсом проверил решения и помог выбрать оригинальные задачи для IMO этого года.
DeepMind и другие компании пытаются обучить свои модели давать строгие доказательства трудных математических проблем. Задачи, поставленные на IMO — главном в мире конкурсе для молодых математиков — стали эталоном прогресса на пути к этой цели и стали рассматриваться как «грандиозный вызов» для машинного обучения, заявляет компания.