Задача, где обычные ИИ пасуют: Доказательство гипотезы Артина
В этом видео представлено подробное доказательство одной из задач бенчмарка FrontierMath — гипотезы Артина о примитивном корне. Это пример задачи, где большинство современных ИИ-моделей терпят неудачу, включая O1, Claude, GPT-4 и другие. Исключение — O3, которому удаётся справиться с 25% подобных задач, но даже для него это огромный вызов. Узнайте, как решаются такие сложные математические вопросы, где человеческий интеллект всё ещё превосходит машины! https://epoch.ai/frontiermath/benchmark-problems
В этом видео представлено подробное доказательство одной из задач бенчмарка FrontierMath — гипотезы Артина о примитивном корне. Это пример задачи, где большинство современных ИИ-моделей терпят неудачу, включая O1, Claude, GPT-4 и другие. Исключение — O3, которому удаётся справиться с 25% подобных задач, но даже для него это огромный вызов. Узнайте, как решаются такие сложные математические вопросы, где человеческий интеллект всё ещё превосходит машины! https://epoch.ai/frontiermath/benchmark-problems