Только что в Австралии прошла международная олимпиад школьников по математике.

Она проходила в очень живописном месте — на сайте олимпиады написано: "Выбранное место — Солнечный берег. Это солнечное место по названию и по природе, с более чем 100-километровой береговой линией, где тропический лес встречается с морем. Возможно, вы даже встретите некоторых из наших прекрасных диких животных, которых, возможно, найдете у себя на заднем дворе (только не забывайте соблюдать безопасную дистанцию, так как они могут бережно относиться к своему пространству)."
Российские школьники выступили очень хорошо:
1) Часовских Иван (Химки) — 42 балла,
2) Гришко Дмитрий (Москва) — 36 баллов,
3) Замоторин Илья (Санкт-Петербург) — 35 баллов,
4) Патрушев Василий (Владивосток) — 35 баллов,
6) Садыков Артём (Челябинск) — 35 баллов,
7) Кокарев Иван (Челябинск) — 33 балла.
5 золотых медалей и 1 серебряная.
Китай набрал сумму баллов 231,
Россия 216,
команда США тоже 216,
затем Южная Корея (203),
затем Польша и Япония (196).
Кроме того, есть ещё одна хорошая новость для российской команды. Жюри международной олимпиады по математике школьников, состоящее из делегатов из 114 стран, проголосовало за отмену приостановки членства России в организации. Теперь российские олимпиадники могут открыто представлять свою страну на олимпиадах по математике.
Предложение было принято тайным голосованием: 62 голоса «за», 23 «против», шесть воздержавшихся.
Но это отмена будет действовать только со следующего года. В этом году россияне снова выступали без национального флага.
Задачки очень интересные, особенно сложная 6-й. Китайцы сделали хороший разбор и выложили на ютуб. Они назвали эту задачу "финальным боссом". С этой задачей сумели справиться лишь несколько участников олимпиады.
У участников из России проблемы вызвала только эта задача, остальные задачи они все смогли решить (кроме Кокарева, который получил неполный балл за 3-ю задачу).
Кроме того, по задачам олимпиады прошли соревнования между LLM-моделями — решают они уже их вполне достойно. Модель Gemini 2.5-Pro решила задачи значительно лучше всех прочих LLM моделей и набрала 13 баллов из 42. Этого недостаточно на бронзовую медаль ещё, но результат уже лучше, чем у очень многих человеческих участников олимпиады. Можно отметить нулевую решаемость этими моделями задачи по геометрии и самой сложной, шестой задачи.
Грегор Долинар, президент IMO, заявил: «Очень воодушевляет прогресс в математических возможностях моделей ИИ, но мы хотели бы ясно заявить, что IMO не может валидировать методы, включая объём использованных вычислений, наличие человеческого участия или воспроизводимость результатов. Мы можем сказать, что правильные математические доказательства, полученные как самыми талантливыми студентами, так и моделями ИИ, являются достоверными».
На сайте у них написано:
"Мы гордимся тем, что IMO высоко ценится как эталон математического мастерства, и что в этом году на мероприятии были представлены модели ИИ как с открытым, так и с закрытым исходным кодом."
Примечание.
В комментариях пишут, что модели ИИ решили на золотую медаль. Это специализированные модели решили, которых специально специалисты натаскивали на олимпиаду. А лучшая обычная общедоступная на 13 из 42. https://youtu.be/fgXg9CdCDcs ?si=ytnORHAS… - шестая задача
Разборы других задач https://www.youtube.com/watch ?v=kJVQqugw… - первая задача https://www.youtube.com/watch ?v=A4_bYF97… - вторая задача https://www.youtube.com/watch ?v=vPqUTG4C… - третья задача https://www.youtube.com/watch ?v=Kb4h_GVF… - четвертая задача https://www.youtube.com/watch ?v=laYxMrfb… - пятая задача