Математики запустили "Первый эксперимент доказательства": проверка ИИ на задачах исследований

Математики запустили "Первый эксперимент доказательства": проверка ИИ на задачах исследований

11 топовых математиков, включая Филдсовского лауреата Мартина Хайрера, выпустили 10 вопросов из своих исследований. Это тест без подсказок из сети — ответы раскроют 13 февраля. Ранние прогоны GPT и Gemini уже провалились.

1