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

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

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

Сообщает astera.ru

 

Новость из рубрики: Технологии, Наука

 

Поделиться новостью: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

 
 

Пропавшего неделю назад экс-главу Уралкалия Владислава Баумгертнера предположительно нашли мёртвым на Кипре 05:07, 15 Янв Пропавшего неделю назад экс-главу "Уралкалия" Владислава Баумгертнера предположительно нашли мёртвым на Кипре На Кипре обнаружили тело, которое, предположительно, принадлежит пропавшему неделю назад экс-главе "Уралкалия" Владиславу Баумгертнеру. Об этом сообщает издание Philenews, а также "Фонтанка" со ссылкой на источники, участвовавших в поисках 56-летнег...

Пропавшего неделю назад экс-главу Уралкалия Владислава Баумгертнера, предположительно, нашли мёртвым на Кипре 11:07, 15 Янв Пропавшего неделю назад экс-главу "Уралкалия" Владислава Баумгертнера, предположительно, нашли мёртвым на Кипре На Кипре обнаружили тело, которое, предположительно, принадлежит пропавшему неделю назад экс-главе "Уралкалия" Владиславу Баумгертнеру. Об этом сообщает издание Philenews, а также "Фонтанка" со ссылкой на источники, участвовавших в поисках 56-летнег...

Разработка технической карты сварки 14:14, 10 Дек Разработка технической карты сварки В производстве и строительстве ключевым фактором безопасности и качества является строгое соблюдение технологических процессов. Особенно это актуально для сварочных работ на объектах повышенной опасности, где малейшее отклонение от нормы может приве...

Плющев о работе в сборной: На ЧМ-2003 должен был попасть в топ-8, задачу выполнил. Мне устроили показательную порку, в ФХР договорились, что Плющев з 22:07, 15 Авг Плющев о работе в сборной: «На ЧМ-2003 должен был попасть в топ-8, задачу выполнил. Мне устроили показательную порку, в ФХР договорились, что Плющев захватил власть, все делал сам» В 2003 году на чемпионате мира в Финляндии российская команда под руководством Плющева заняла 7-е место. – Для вас стало сильным разочарованием, когда вместо обещанной подготовки к Олимпиаде в Турине вам дали провести только один чемпионат мира с на...

Матрица судьбы как зеркало жизни и скрытых возможностей 13:36, 18 Дек Матрица судьбы как зеркало жизни и скрытых возможностей Интерес к самопознанию всегда был частью человеческой природы. В разные эпохи люди искали ответы в философии, религии и науке, а сегодня всё чаще обращаются к нумерологии. Одним из самых глубоких и наглядных инструментов считается Матрица судьбы на ...

Создана платформа AgentSpore, где ИИ-агенты самостоятельно разрабатывают приложения 07:07, 12 Мар Создана платформа AgentSpore, где ИИ-агенты самостоятельно разрабатывают приложения AgentSpore — открытая платформа, на которой искусственные агенты автономно создают продукты: они получают задачи, пишут код, деплоят проекты и накапливают репутацию. Люди в этой системе выступают в роли наблюдателей и кураторов, оценивая проекты и п...

Английский с нуля самостоятельно: честный гайд и системный план на 2026 08:07, 24 Янв Английский с нуля самостоятельно: честный гайд и системный план на 2026 Давайте признаем очевидное: если вы читаете эту статью, значит, школьные уроки и многочисленные попытки «начать новую жизнь с понедельника» пока не принесли желаемого результата. Традиционная общеобразовательная программа, чаще всего построенная на ...

Toyota представила баскетбольного робота CUE7: ИИ самостоятельно учится бросать мяч 17:07, 14 Апр Toyota представила баскетбольного робота CUE7: ИИ самостоятельно учится бросать мяч Toyota Motor Corporation впервые за три года показала публике новое поколение своего знаменитого баскетбольного робота — CUE7. Демонстрация прошла на закрытой технологической выставке в Токио. 219-сантиметровая машина на двухколёсной платформе (вмес...

16:07, 30 Окт В Adobe Express появился ИИ-помощник, который может самостоятельно редактировать проекты Компания Adobe добавила нового помощника на основе искусственного интеллекта в Adobe Express, который может преображать пользовательские проекты на основе простого текстового описания. Новый инструмент «расширит возможности людей с любым уровнем нав...

06:07, 13 Фев Apple будет самостоятельно снимать сериал «Разделение» и планирует развитие этой франшизы Apple Studios будет самостоятельно заниматься производством будущих сезонов сериала «Разделение» (Severance). Как сообщает издание Deadline, компания выкупила права на шоу и его интеллектуальную собственность у студии Fifth Season ещё в де...

05:07, 01 Сен Скорую или сами справимся? Комаровский рассказал, когда нельзя обрабатывать рану самостоятельно Своевременное обращение за помощью может спасти жизнь. Бытовые раны, укусы, ожоги и случаи в духе «упал, очнулся, гипс» могут быть причиной тяжелых осложнений. Неприятности случаются в любое время года, и для этого не обязательно выходит...

17:07, 24 Окт Робот — друг человека: чат-бот самостоятельно решает более половины вопросов клиентов «Ростелекома» Робот — друг человека: чат-бот самостоятельно решает более половины вопросов клиентов «Ростелекома» «Ростелеком» проанализировал обращения клиентов компании по технической поддержке — 60% из них успешно обрабатывается чат-ботом без переключения на о...

01:07, 22 Янв OpenAI решила выпустить умные наушники Компания OpenAI, создавшая знаменитый ChatGPT, готовится к выходу на рынок потребительской электроники. Первым устройством станут умные наушники, которые могут быть представлены уже во второй половине 2026 года. Этот шаг стал логичным развитием для ...

01:07, 01 Янв Литва решила потратить 320 млн евро на ракеты Bolide SAAB Литовское военное ведомство оформило сделку на приобретение у шведской SAAB партии ракет Bolide RBS-70 для армии страны стоимостью 320 млн евро. Контракт о закупке противовоздушных ракет был заключен с компанией SAAB, передает ТАСС. Министр обороны ...

12:07, 27 Янв «Жена вроде как решила»: Стас Пьеха рассказал о будущем сына Певец Стас Пьеха рассказал, что его бывшая супруга решила судьбу их сына Петра. В будущем мальчик, возможно, пойдет по стопам отца и станет музыкантом. Этим артист поделился в разговоре с kp.ru. «Жена вроде как решила, что будет (музыкантом. &...

14:07, 19 Ноя Европейская Eurenco решила построить новые заводы боеприпасов в Канаде Крупнейшая европейская компания по производству взрывчатых веществ и боеприпасов, французская Eurenco, подписала соглашение с канадской компанией Nalagx о строительстве в стране своих новых производственных мощностей для удовлетворения растущего спр...

01:07, 14 Авг Reuters: Индия решила разрешить частным компаниям добычу и импорт урана Власти Индии планируют разрешить частным фирмам добывать, импортировать и обрабатывать уран, чтобы увеличить производство ядерной энергии и привлечь инвестиции, пишет Reuters. Как сообщает Reuters, индийские власти планируют положить конец многолетн...

01:07, 16 Авг Александра Трусова решила выйти на лёд через девять дней после родов Фигуристку Александра Трусова, которая на прошлой неделе впервые стала мамой, решила выйти на лёд спустя всего девять дней после родов.В своём телеграм-канале Александра опубликовала ролик, в котором рассказала о своей первой неделе после родов, а т...

20:07, 26 Мар "Решила поиграть в косметолога". Елена Перминова получила "сильнейший" ожог кожи 39-летняя Елена Перминова рассказала, почему пропала из соцсетей. Модель проводит время дома с детьми из-за "сильнейшего ожога кожи" вокруг глаза.Елена Перминова"Я на домашнем, веду тихую затворническую жизнь с детками. Решила поиграть в косметолога...

21:07, 09 Фев Автомобили LADA получили официальную поддержку CarPlay. Apple решила вернуться в Россию? Apple официально добавила автомобили LADA в список поддерживаемых CarPlay, и именно в этом месте возникает тот самый диссонанс, который сложно игнорировать. Apple ушла из России, закрыла онлайн-продажи, свернула официальный сервис, перестала напряму...

21:07, 04 Фев Все нахваливают форель из Светофора: и я решила, что мне надо тоже - купила на пробу, теперь делюсь впечатлениями pxhere.com Все нахваливают форель из «Светофора» — и правда, отзывы попадаются самые радужные. Создается впечатление, что это must-have для любого уважающего себя кулинара. Жара нынче стоит нешуточная, и мысль о легком ужине — рыбе с салатом — казал...

23:07, 22 Авг Левников ошибочно не удалил Лещука и не назначил пенальти на Алвесе в матче ЦСКА с «Динамо», решила ЭСК Армейцы обыграли бело-голубых (3:1) в 5-м туре Мир РПЛ. Главным арбитром матча был Кирилл Левников. На заседании экспертно-судейской комиссии РФС рассмотрели обращение ЦСКА по итогам матча с «Динамо». Ранее стало известно, что ЦСКА попросил комиссию...

05:07, 14 Авг "Я решила сознаться". Искалеченная в Дубае украинская модель рассказала, о чём солгала в интервью Ксении Собчак Украинская OnlyFans-модель Мария Ковальчук, которую в марте нашли искалеченной на обочине дороги в Дубае, рассказала, о чём на самом деле солгала в интервью Ксении Собчак.В своём новом аккаунте в инстаграме* девушка опубликовала видео, в котором рас...

01:07, 29 Окт Два года не была в "Ермолино", а тут решила зайти: не смогла пройти мимо этого - показываю покупки Два года не была в "Ермолино", а тут решила зайти: не смогла пройти мимо этого - показываю покупкиПосещение магазина «Ермолино» после двухлетнего перерыва — это как встреча со старым знакомым, в котором когда-то разочаровался. Ожидаешь одного, а пол...

14:07, 27 Янв И даром не нужен мне этот "Кокосовый пудинг": попробовала модные конфетки из ФиксПрайса - решила дать честный отзыв Прогород Эти конфетки «Марсианка» со вкусом «Кокосовый пудинг» сейчас везде — в лентах соцсетей, на полках бюджетных магазинчиков. Выглядят заманчиво, почти как мини-версии известных итальянских собратьев. Цена в Fix Price вообще смешная. Но вот воп...

03:07, 04 Апр "Задолбала бы эту мать". Марина Федункив, которая родила в 53 года, рассказала, почему решила выносить ребёнка сама 54-летняя Марина Федункив, которая чуть больше года назад впервые стала матерью, рассказала, почему решила выносить ребёнка сама вместо того, чтобы воспользоваться услугами суррогатной матери. Так, в новом выпуске Rutube-шоу "Теория" звезда Comedy W...

08:07, 29 Мар Вместо забора вкопала в землю 3000 прутиков ивы: решила сделать зеленую изгородь - вот что с ними стало за 3 года Фото сгенерировано В коттеджном посёлке, где управляющая компания не одобряет глухие заборы из профлиста и бетона, решили создать живую изгородь. Вариантов было несколько: снежноягодник, пузыреплодник, акация, барбарис, ива. Снежноягодник растёт мед...

04:07, 05 Апр Туктамышева о своем номере на «Русском вызове»: «Я решила рассказать о проблеме домашнего насилия. У нас до сих пор не принят закон, и меня это беспокоит» Чемпионка мира по фигурному катанию Елизавета Туктамышева рассказала, что ее номер на турнире шоу-программ «Русский вызов» был посвящен проблеме домашнего насилия. Туктамышева заняла 12-е место по итогам голосования жюри и зрителей. Видео ее номера ...

15:07, 27 Фев Ушла к детям в соседнее купе, а когда вернулась — бабушка в поезде решила, что мое место общее и им могут пользоваться все пассажиры ПрогородИстория, достойная сценария для короткометражки. Женщина едет с детьми-двойняшками. Билеты, как назло, разбросало по разным купе. Логичное решение: день проводить с ребятней в их купе, а на ночь возвращаться к себе. В первый же вечер, часы о...

05:07, 25 Мар Пришли на своё место в поезде, а там сидят чужие — говорят протёрли салфетками и теперь полка их: рассказываю как решила вопрос Прогород В поездах дальнего следования пассажиры встречаются самые разные. Но иногда попадаются те, кто искренне считает, что билеты продаются без мест. История о том, как семейная пара отказалась уступать чужое купе, ссылаясь на то, что «уже протёр...

15:07, 27 Ноя Nvidia решила избавиться от рисков и теперь будет поставлять производителям видеокарт только GPU, а память они должны будут покупать сами Компания Nvidia на фоне катастрофы на рынке памяти решила от этой памяти немного дистанцироваться как минимум на рынке видеокарт. Как сообщает инсайдер Golden Pig Upgrade Pack, компания теперь будет поставлять партнёрам только GPU. Фото Videocardz К...

02:07, 13 Дек Вместо забора вкопала в землю по границе участка 3000 прутиков ивы: решила сделать зеленую изгородь — рассказываю, что с ними стало за 3 год Шедеврум Забор — это не защита. Это декларация. Которая иногда говорит ворам: «Здесь есть, что охранять, добро пожаловать». Однажды, вдумавшись в эту парадоксальную статистику, моя знакомая Ирина решила, что её участку нужна не крепость, а просто гр...

05:07, 22 Авг "Попробую себя в роли актрисы". 19-летняя невеста Григория Лепса решила вернуться в Москву из Лондона из-за жениха и карьеры в России 19-летняя невеста Григория Лепса Аврора Киба призналась, что покинула Лондон из-за 63-летнего жениха и карьерных перспектив в России.В своём инстаграме* Киба ответила на вопрос подписчиков, почему она всё же решила вернуться в Россию: "Я устала от Л...

15:07, 21 Авг «Металлург» из Новокузнецка может сняться с ВХЛ из-за проблем с ареной: «Администрация города решила, что не будет платить за ее содержание, и идет на разрыв соглашения» Клуб выступает в Olimpbet ВХЛ последние восемь сезонов. «Металлург» выиграл предыдущий регулярный чемпионат. «На этой неделе «Металлург» заявил «Арену им. Короленко» на сезон-2025/2026. Мы сделали это, исходя из условий соглашения, которое ранее был...

05:07, 11 Авг "Решила выдохнуть и немного гульнуть". Полина Диброва отправила детей к бабушке на фоне скандального развода и новых заявлений её адвокатов 36-летняя Полина Диброва вышла на связь с подписчиками во время скандального развода с 65-летним Дмитрием Дибровым, от которого она якобы ушла к мужу своей подруги Роману Товстику.В своих соцсетях девушка опубликовала видео прощания с детьми от Дибр...