Пока ученые размышляют над честным использованием ИИ в исследованиях и текстах, швейцарский математик Йоханнес Шмитт предложил конкретный вариант.
Шмитт поделился в X, что GPT-5 впервые самостоятельно справился с открытой математической задачей — без подсказок или правок от человека. Модель выдала изысканное решение, неожиданно применив приемы из иной области алгебраической геометрии вместо привычных инструментов. Проверка коллегами еще не завершена. Похожие случаи, когда ИИ помогает в математике, недавно описал известный математик Теренс Тао.
Статья с результатом показывает разные формы взаимодействия человека и ИИ: доказательства от GPT-5 (базовая модель, не Pro) и Gemini 3 Pro, части текста от Claude, формальные доказательства в Lean через код от Claude и ChatGPT 5.2. В качестве теста на открытость каждый абзац отмечен как работа человека или ИИ, с ссылками на промпты и полные записи диалогов.
Прозрачность нужна, но без бюрократии
Подход Шмитта дает полную видимость и возможность проверки: ясно, что придумал человек, а что ИИ. Но есть и недостатки: детальная разметка каждого фрагмента отнимает много сил и рискует стать неподъемной, когда ИИ станет обыденностью. Открытость важна, однако не должна усложнять жизнь.
Разграничить вклад человека и машины бывает непросто. Кто составляет промт? Кто отбирает и дорабатывает ответ? Такой метод вряд ли приживется в других дисциплинах.
Возможно, науке нужно разобраться с более простым вопросом: зачем вообще различать, откуда идея — от одного человека, от человека с ИИ или чисто от ИИ, и реально ли последнее без человеческого замысла?