летом широко разошлась новость, которую один автор сформулировал максимально изящно: "люди победили OpenAI и ChatGPT в математической олимпиаде"; вы находитесь здесь, как говорится; ChatGPT взяла золото олимпиады, а Gemini - серебро
этот результат показывает, что модели могут справляться с новыми математическими задачами; в эту сторону исследование внезапно от коллег из компании Cisco; они предложили т.н. тест Гёделя, проверку возможности моделей доказывать новые теоремы, причем ChatGPT частично справилась - смогла доказать простые новые утверждения; в то же время Себастьян Бубек из OpenAI взял теорему из свежей математической статьи и дал ее ChatGPT - и та смогла не просто доказать ее, а улучшить оценку авторов (на картинке)
на мой взгляд это показывает, что даже в математике вполне есть много места "механической" работе, т.е. применению фиксированных схем доказательств, так что ждем вала статей и по математике тоже
