Чудом осталась жива: Пенсионерка из столицы выпала из окна пятого этажа

Искусственные интеллект-системы AlphaProof и AlphaGeometry 2, разработанные Google, продемонстрировали выдающийся результат на Международной математической олимпиаде (IMO), решив четыре из шести задач. Это достижение приравнивается к серебряной медали, что является первым подобным успехом для ИИ в истории этого престижного соревнования. Вице-президент Google DeepMind Пушмит Коли подчеркнул, что ранее не существовало систем искусственного интеллекта, способных решать задачи с такой высокой точностью и универсальностью. Он также отметил, что решение задач на уровне математической олимпиады требует исключительного абстрактного мышления и сложного планирования, что долгое время оставалось практически невозможным для ИИ. Тем не менее, AlphaProof и AlphaGeometry 2 смогли преодолеть эти вызовы благодаря интенсивному обучению и использованию формальных языков программирования. Система AlphaProof, созданная на основе модели Gemini от DeepMind, автоматически переводит задачи с естественного языка в формальные математические выражения, облегчая их решение. AlphaGeometry 2 специально адаптирована для работы с геометрическими задачами и задачами, связанными с движением объектов. Для оценки возможностей этих систем им были предложены