Лучший ИИ современности сразился с ведущими математиками Искусственный интеллект за последние пару лет добился действительно впечатляющих успехов. Сегодня, где машины могут не только решать сложные задачи, но и разрабатывать собственные уникальные стратегии доказательств. Но так ли они умны на самом деле? В новом исследовании передовым ИИ-системам бросают вызов ведущие математики. Пока нерецензированная научная статья вышла на сервере препринтов ArXiv. Хотя способность ИИ решать задачи, как из набора GSM8K (8,5 тысяч математических задач для средней школы, для решения которых требуется несколько шагов) или Международной математической олимпиады, впечатляет. Но это всё-таки не самые передовые области математики, а скорее уровень продвинутой школы, нежели границы человеческого познания в этой области. Кроме того, есть проблема нехватки новых задач для различных ИИ-программ. В резул... https://bloggertema.org/component/k2/item/82206