🥁 Компания Deep Mind объявила, что ее системы ИИ решили 4 из 6 задач, которые были заданы школьникам на Международной математической олимпиаде (IMO) 2024 года в Бате, Великобритания.

AlphaProof и AlphaGeometry2 представили строгие пошаговые доказательства, которые были оценены двумя ведущими математиками и получили оценку 28/42 — всего на один балл меньше диапазона золотой медали.

🥇 Al AlphaProof начинает с преобразования около 1 миллиона неформальных математических задач в формальный математический язык. AlphaGeometry 2 использует аналогичный подход, но специализируется на геометрических задачах.

Источник