ИИ завоевал серебро на Международной математической олимпиаде

Искусственный интеллект впервые добился такого успеха на Международной математической олимпиаде (IMO). Системы AlphaProof и AlphaGeometry 2, разработанные Google, решили четыре из шести задач, что соответствует серебряной медали.

Это значительное достижение, так как ранее не существовало систем искусственного интеллекта, способных решать задачи с такой высокой точностью и универсальностью.

AlphaProof и AlphaGeometry 2 преодолели этот вызов благодаря интенсивному обучению и использованию формальных языков программирования. AlphaProof, основанная на модели ChatGPT от DeepMind, автоматически переводит задачи с естественного языка в формальные математические выражения, облегчая их решение. AlphaGeometry 2 специализируется на геометрических задачах и задачах, связанных с движением объектов.

Эти системы успешно решили две задачи по алгебре, одну по теории чисел (включая одну из самых сложных) и одну по геометрии.

Результаты решений были проверены и высоко оценены ведущими математиками Тимом Гауэрсом и Джозефом Майерсом. Системы набрали 28 из 42 возможных баллов, что эквивалентно серебряной медали на IMO.

Раннее ITinfo сообщало о том, что Xiaomi показала эксклюзивный смартфон Poco F6 в стиле Дэдпула и Росомахи.