107 подписчиков
Трудно представить себе уровень современных ИИ-систем, влет переводящей сотню языков и помнящей содержание 2/3 Интернета
Но при этом поверить, что машина много сильнее любого из нас не только в количественном смысле (число языков, прочитанных книг, перебранных вариантов и т.п.), но и в логике, - без примера трудно
Вот вам пример, - сравните себя с машиной на этой задаче
Пусть I - центр вписанной окружности остроугольного треугольника ABC, в котором AB ≠ AC
Вписанная окружность ω треугольника ABC касается сторон BC, CA и AB в точках D, E и F соответственно
Прямая, проходящая через D и перпендикулярная EF, пересекает ω вторично в точке R
Прямая AR снова пересекает ω вторично в точке P
Окружности, описанные вокруг треугольников PCE и PBF, пересекаются вторично в точке Q
Докажите, что прямые DI и PQ пересекаются на прямой, проходящей через A и перпендикулярной AI
Задача уровня всемирной математической олимпиады требует исключительного уровня логико-пространственного мышления
Средняя «длина доказательств» (количество шагов, необходимых для полного и строгого доказательства) в задачах на таких олимпиадах – около 50
И хотя для приведенной выше задачи это число много больше (187), ИИ-система AlphaGeometry от Google DeepMind (объединяет модель нейронного языка с механизмом символьной дедукции) решает её запросто
Она и уровень 247 уже запросто решает
И потому до уровня золотых медалистов таких олимпиад (людей, коих, может, 1 на миллиард) AlphaGeometry осталось чуть-чуть (полагаю, к лету догонит, а к концу года уйдет в далекий отрыв)
Если вдруг вы не справились с этой задачкой, вот подсказка – рисунок для доказательства:
PS И даже не думайте, будто AlphaGeometry могла заранее знать решение, - ей специально 100.000.000 новых задач со случайной постановкой другая ИИ-система придумала
1 минута
20 января 2024