ChatGPT 5 решил открытую математическую задачу — впервые без помощи человека
Пока учёные спорят о том, как прозрачно и честно интегрировать ИИ в научные исследования и тексты, швейцарский математик Йоханнес Шмитт предложил вполне конкретный подход.
По словам Шмитта, GPT-5 впервые самостоятельно решил открытую математическую задачу — без какого‑либо человеческого участия или вмешательства.
Как утверждает исследователь, модель предложила элегантное решение, причём неожиданно опираясь на методы из другой области алгебраической геометрии, а не на привычные и каноничные приёмы. Рецензирование работы ещё впереди.
В опубликованной статье наглядно показаны разные формы сотрудничества человека и ИИ: доказательства, полученные с помощью ChatGPT 5 (базовой версии, не Pro) и Gemini 3 Pro, текстовые фрагменты от Claude, а также формальные доказательства в Lean, созданные при участии кода Claude и ChatGPT 5.2. В качестве эксперимента по прозрачной атрибуции ИИ каждый абзац снабжён пометкой — написан ли он человеком или моделью, — с приложенными ссылками на промпты и расшифровки диалогов.
В работе Шмитта каждый абзац помечен как созданный человеком или ИИ, с указанием ссылок на промпты и транскрипты диалогов
Подход Шмитта обеспечивает высокий уровень прозрачности и проверяемости: любой желающий может увидеть, какие идеи исходят от людей, а какие от алгоритмов. Однако у этого метода есть и оборотная сторона. Детальная маркировка каждого абзаца отнимает время и со временем может оказаться непрактичной, особенно если ИИ станет таким же повседневным инструментом, как текстовый редактор. Прозрачность важна, но ей не стоит превращаться в бюрократию.
Делегируйте часть рутинных задач вместе с BotHub! Для доступа к сервису не требуется VPN и можно использовать российскую карту. По ссылке вы можете получить 100 000 бесплатных токенов для первых задач и приступить к работе с нейросетями прямо сейчас!