GPT-5 предположительно самостоятельно решила открытую математическую задачу

GPT-5 предположительно самостоятельно решила открытую математическую задачу

Швейцарский математик Йоханнес Шмитт (Johannes Schmitt) сообщил в сети X, что GPT-5 впервые независимо решила открытую математическую задачу. По словам Шмитта, GPT-5 предложила элегантное решение, неожиданно применив методы из другой области алгебраической геометрии, а не традиционные подходы. В настоящее время работа находится на стадии рецензирования. Ранее о пользе ИИ в математике сообщал, в частности, математик Теренс Тао. В статье представлены различные формы сотрудничества человека и ИИ: доказательства, полученные GPT-5 (базовая модель, не Pro) и Gemini 3 Pro, текстовые фрагменты, сгенерированные Claude, и формальные доказательства Lean (инструмент интерактивного доказательства теорем), созданные с помощью кода Claude и ChatGPT 5.2. В качестве эксперимента по прозрачной атрибуции ИИ каждый абзац помечен как написанный человеком или ИИ, со ссылками на запросы и расшифровки диалогов. Иллюстрация: Grok Подход Шмитта обеспечивает высокий уровень прозрачности и отслеживаемости: любой желающий может проверить, какие идеи принадлежат людям, а какие — ИИ. Однако подробная маркировка каждого абзаца занимает много времени и может стать непрактичной по мере того, как ИИ будет всё шире использоваться в повседневной работе. Кроме того, граница между вкладом человека и ИИ не всегда ясна. Эта модель, вероятно, не сможет быть легко перенесена в другие науки. Примечание: независимая проверка и публикация решения в рецензируемом журнале ещё отсутствуют, поэтому результаты пок...
24.12.2025 - 06:19
Источник: www.ixbt.com  
Рубрика: «Наука и Техника»   Поделиться: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

Ставропольский вуз запустил математическую школу в АзербайджанеСтавропольский вуз запустил математическую школу в Азербайджане Северо-Кавказский федеральный университет открыл математическую школу в Баку. Это произошло в ходе посещения делегации ставропольского вуза Азербайдж ...

Модель OpenAI o1 почти идеально устранила математическую предвзятость, но данные это так и не подтвердилиМодель OpenAI o1 «почти идеально» устранила математическую предвзятость, но данные это так и не подтвердили Комментарии Анны Маканджу, вице-президента OpenAI по глобальным делам, привлекли интерес людей по всему миру. Выступая на дискуссии во время саммита ...

Российские ученые создали математическую модель безопасной работы реакторов на быстрых нейтронахРоссийские ученые создали математическую модель безопасной работы реакторов на быстрых нейтронах Разработанная сотрудниками МФТИ и ОИВТ РАН теоретическая модель описывает поведение внешнего слоя защитной... ...

Самолет Уиткоффа, предположительно, прилетел в ОманСамолет Уиткоффа, предположительно, прилетел в Оман Самолет, на котором предположительно прибывал в Россию спецпосланник президента США Стивен Уиткофф, прилетел в Оман ...

В ДТП предположительно попала министр сельского хозяйства РоссииВ ДТП предположительно попала министр сельского хозяйства России Ежегодно происходит большое количество происшествий на дорогах, иногда в ДТП попадают известные, публичные личности. Известно, что в прошлом году чис ...

На территории Польши упали два предположительно российских метеозондаНа территории Польши упали два предположительно российских метеозонда Пиш. Польша. За минувшие сутки в Польше нашли два российских метеорологических зонда. Об этом пишет Лента.ру со ссылкой на радиостанцию RMF FM.Обломк ...

Ракету Нептун предположительно сбили в небе под ВоронежемРакету «Нептун» предположительно сбили в небе под Воронежем Минобороны РФ. Вероятно, системы ПВО уничтожили противокорабельную ракету «Нептун», пролетавшую ночью 10 декабря над территорией Воронежской области. ...

Разговор в открытуюРазговор в открытую С 1 января этого года действуют новые правила покупки сим-карт для иностранцев и лиц без гражданства, находящихся на территории России. Сообщаем, в ч ...

Покушение на Трампа: подозреваемый в стрельбе на митинге предположительно убитПокушение на Трампа: подозреваемый в стрельбе на митинге предположительно убит Мужчина, которого подозревают в стрельбе на предвыборном митинге Дональда Трампа в штате Пенсильвания, предположительно убит. Об этом говорится в соо ...

Муж Собчак Богомолов, предположительно, оформил налоговый номер в ИталииМуж Собчак Богомолов, предположительно, оформил налоговый номер в Италии Муж Собчак Богомолов, предположительно, оформил налоговый номер в Италии. Об этом стало известно «Страстям». Супруг Ксении Собчак Константин Богомоло ...

В Турции, предположительно, обнаружили тело пловца Свечникова агентствоВ Турции, предположительно, обнаружили тело пловца Свечникова — агентство В турецком Босфоре найдено неопознанное тело, морская полиция предполагает, что это может быть российский пловец Николай Свечников. Об этом сообщает ...

На аукцион выставили рисунки, предположительно, авторства Майкла ДжексонаНа аукцион выставили рисунки, предположительно, авторства Майкла Джексона На аукционе Kings Auctions в Лос-Анджелесе 3 августа будут представлены 78 эскизов, которые, предположительно, могли принадлежать певцу Майклу Джексо ...

☰