GPT-5 только что прошел то, что исследователи называют «Тестом Гёделя». Это означает, что он не просто решает задачи из учебников, а справляется с открытыми математическими гипотезами, на решение которых обычно уходит дни у опытного аспиранта. В новой статье GPT-5 тестировался на 5 неразрешенных гипотезах оптимизации. Он решил 3 из 5. По одной задаче он даже представил другое действительное доказательство, чем ожидали исследователи. Мы официально вступили в эпоху, когда передовой ИИ не просто учится математике, а занимается математикой. Последствия огромны: • Прогресс в решении задач, которые ставят в тупик людей на дни или недели • ИИ, способствующий подлинному математическому открытию • Предварительный взгляд на то, как само исследование будет трансформироваться в 2030-х годах Люди все еще недооценивают это. Влияние моделей, которые могут доказывать теоремы, едва начинает осознаваться. Это грань между «модным автозаполнением» и настоящим научным рассуждением.