Нейросетевые алгоритмы AlphaProof и AlphaGeometry 2, разработанные Google DeepMind, успешно решили четыре из шести задач на Международной математической олимпиаде.
ИИ справился с двумя задачами по алгебре и одной по теории чисел, включая самую сложную, а также с одной задачей по геометрии. Две задачи по комбинаторике остались нерешенными.
Системы набрали 28 из 42 возможных баллов, что соответствует серебряной медали на IMO. До этого искусственный интеллект не справлялся с задачами с такой точностью и универсальностью.
🤖 Ранее GPT-4 прошел тест Тьюринга. Больше половины участников приняли его за человека.