Профессор Калифорнийского университета в Лос-Анджелесе и лауреат Филдсовской премии Теренс Тао заявил, что ИИ стремительно исчерпывает запас значимых математических задач. По его словам, модели решают сложные вопросы быстрее, чем ученые успевают находить новые, что угрожает прогрессу в фундаментальной науке.
Лаборатории OpenAI и Anthropic направляют огромные вычислительные мощности на решение задач, которые оставались нерешенными десятилетиями. В мае модель OpenAI опровергла 80-летнюю гипотезу Эрдёша о единичных расстояниях, что подтвердили сторонние математики.
Модель Claude Mythos от Anthropic также независимо решила задачу о единичных расстояниях. Кроме того, на этой неделе Anthropic формализовала доказательство Великой теоремы Ферма, а OpenAI решила 90-летнюю проблему спустя несколько часов после публикации доказательства другим исследователем.
Тао предлагает маркировать задачи как требующие анализа, чтобы ИИ был обязан предоставлять подробные обоснования своих ответов. Математик считает, что голые решения без объяснения логики обесценивают научный поиск, однако признает, что полный запрет ИИ в математике технически невозможен.