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

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

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

Сообщает www.ixbt.com

 

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

 

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

 
 

Математик: GPT-5 предположительно самостоятельно решила открытую задачу 14:56, 24 Дек Математик: GPT-5 предположительно самостоятельно решила открытую задачу Швейцарский математик Йоханнес Шмитт сообщил в социальной сети X, что модель GPT-5, по его утверждению, впервые независимо решила открытую математическую задачу. По словам исследователя, система предложила решение, применив методы из другой области ...

Искусственный интеллект от OpenAI сокрушил 80-летнюю математическую гипотезу Пауля Эрдёша 01:56, 22 Май Искусственный интеллект от OpenAI сокрушил 80-летнюю математическую гипотезу Пауля Эрдёша Нейросеть нашла неожиданное решение сложнейшей геометрической задачи, с которой 40 лет не могли справиться лучшие умы человечестваМодель от OpenAI опровергла знаменитую 80-летнюю математическую гипотезу, которая долгое время оставалась недосягаемой ...

Правильный выбор днища колодца  это важный этап строительства, который нельзя игнорировать 17:13, 19 Янв Правильный выбор днища колодца — это важный этап строительства, который нельзя игнорировать При строительстве инженерных сооружений, связанных с водоснабжением, канализацией или дренажными системами, особое внимание уделяется каждому конструктивному элементу. Колодцы используются в частном и промышленном строительстве, на коммунальных сетя...

В России создали математическую модель точного расчёта оптических свойств наночастиц 06:56, 08 Окт В России создали математическую модель точного расчёта оптических свойств наночастиц Учёные Балтийского федерального университета имени Иммануила Канта создали математическую модель для определения оптических свойств наночастиц серебра различной формы. По информации Минобрнауки России, этот инструмент может способствовать разработке...

Как ChatGPT решил задачу, над которой математики бились 60 лет 14:56, 02 Май Как ChatGPT решил задачу, над которой математики бились 60 лет Нейросеть решила одну из самых сложных задач Пола Эрдеша Недавно 23-летний парень без математического образования попросил ChatGPT решить задачу, над которой десятилетиями ломали голову лучшие математики мира. Нейросеть справилась за 80 минут, и наш...

Яна Рудковская выложила видео, где Ирина Костылева, предположительно, бьет дочь 20:56, 28 Ноя Яна Рудковская выложила видео, где Ирина Костылева, предположительно, бьет дочь Яна Рудковская в своем телеграм-канале опубликовала видео, где Ирина Костылева , предположительно, ударила свою дочь – фигуристку Елену Костылеву. Рудковская – супруга двукратного олимпийского чемпиона и тренера Евгения Плющенко. Она выложила запись...

Дизайнеры BMW Alpina получили задачу интегрировать в акулий нос камеры 09:56, 30 Май Дизайнеры BMW Alpina получили задачу интегрировать в «акулий нос» камеры Создатели «заряженных» BMW признались, что вписать легендарный «акулий нос» в требования безопасности оказалось проще, чем установить на него все необходимые датчики. Культовый элемент дизайна BMW, знакомый по купе E24 1970-х годов возвращается: он ...

Китай ставит задачу технологической независимости в новом пятилетнем плане 19:56, 24 Окт Китай ставит задачу технологической независимости в новом пятилетнем плане Китайская Коммунистическая партия разрабатывает 15-й пятилетний план развития страны на 2026–2030 годы, направленный на повышение технологической самостоятельности и укрепление позиций в науке и технологиях, сообщает государственный телеканал ...

07:56, 03 Окт Xiaomi SU7 самостоятельно уехал от владельца В конце сентября в Шаньдуне, Китай, произошёл необычный инцидент с электромобилем Xiaomi SU7. Владелец машины рассказал, что его автомобиль, стоявший на парковке возле дома, вдруг сам начал движение, хотя в салоне никого не было. Видео с камер наблю...

00:56, 07 Май Искусственный интеллект решил сложнейшую «обратную задачу» математики и займется раком Ученые из университета создали метод «сглаживающих слоев», который впервые позволяет ИИ эффективно решать обратные инженерные задачи, не поддававшиеся решению десятилетиями. Прорыв, способный изменить методы прогнозирования климата, поиска лекарств ...

00:56, 18 Ноя Это будет очередной прорыв для смартфонов Huawei. Предположительно, SoC Kirin 9030 производится по нормам, сопоставимым с 3 нм Компания Huawei уже несколько лет использует в своих флагманских смартфонах собственные SoC Kirin, которые заметно уступают топовым решениям конкурентов. Согласно свежим данным, в следующем году у Huawei будет новая SoC Kirin 9030, которая даже буде...

20:56, 06 Янв «Хаббл» обнаружил «несостоявшуюся галактику» Cloud-9 без звёзд, предположительно состоящую из тёмной материи и газа Группа учёных, работающих с космическим телескопом «Хаббл», обнаружила новый тип астрономического объекта — богатое газом облако тёмной материи без звёзд, которое считается «реликтом» раннего формирования галактик. Объе...

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

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

02:56, 03 Май Талалаев о критике от фанатов «Балтики»: «Я очень жду всех диванных критиков, придите и скажите все в лицо мне и игрокам. На открытую тренировку пришли только те, кто хвалят. Это плохо» Главный тренер «Балтики» Андрей Талалаев высказался о критике со стороны болельщиков клуба. «Когда закончится сезон, я пойду к трибунам. Там много знакомых. У есть командное мероприятие – мы ездим в баню. Есть банщик, который знает особенности всех ...

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

13:56, 08 Авг В Индии похороненный заживо мужчина самостоятельно выбрался из могилы Работодатель закопал своего подчиненного в могиле заживо за плохую работу. В городе Гондал злоумышленники заживо похоронили мужчину, но он самостоятельно выбрался из могилы. Об этом сообщает издание The Times of India, ссылаясь на правоохранительные...

12:56, 28 Ноя Нарколог объяснил, как самостоятельно распознать начало алкогольной зависимости Алкогольная зависимость определяется не количеством выпитого, а совокупностью признаков, которые проявляются в поведении, психическом состоянии и физиологических реакциях. Об этом рассказал врач-психиатр и нарколог Руслан Исаев в беседе с Lenta.ru. ...

01:56, 17 Авг Врач о попавшей в ДТП Асель Кадырбековой: «Она в коме, но дышит самостоятельно» У 29-летней артистки серьёзные травмы головы и шеи, дома её ждёт годовалая дочь. Фото: Instagram @aselkadyrbekova Глава Научно-исследовательского центра травматологии и ортопедии города Бишкек Сабырбек Жумабеков дал оценку состояние попавшей в ДТП А...

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

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

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

17:56, 04 Май Роскомнадзор официально закрепил борьбу с VPN как государственную задачу: к 2030 году ведомство намерено блокировать до 96% средств обхода ограничений Впервые параметры противостояния обходу блокировок зафиксированы в федеральном проекте «Инфраструктура кибербезопасности». На модернизацию ТСПУ до 2030 года планируется направить около 59 млрд рублей. Параллельно уже в 2026 году РКН внедряет механиз...

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

11:56, 15 Апр «Обеспечивает лучшую в мире калибровку квантовых процессоров». Nvidia представила Ising — первую в мире открытую платформу для создания моделей ИИ, призванную ускорить разработку полезных квантовых компьютеров Внутри два типа моделейКомпания Nvidia представила и запустила первую в мире открытую платформу для создания моделей искусственного интеллекта, призванную ускорить разработку полезных квантовых компьютеров. Платформа называется Ising и, как обещает ...

00:56, 12 Май Anthropic научила модель Claude «видеть сны»: ИИ-агенты начали самостоятельно анализировать свои ошибки и улучшать собственные стратегии Новая функция Dreaming позволяет агентам Claude изучать прошлые сессии, выявлять повторяющиеся ошибки и автоматически создавать «плейбуки» для будущих задачКомпания Anthropic представила новую систему Dreaming («Сновидение») для платформы Claude Man...

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

11:56, 23 Сен Польша решила амнистировать воюющих в ВСУ наемников Польский парламент планирует обсудить законопроект, предполагающий амнистию для поляков и иностранцев, участвующих в боевых действиях на стороне ВСУ. Сейм Польши в начале октября рассмотрит проект закона об отмене уголовного преследования поляков, в...

20:56, 14 Апр Николь Кидман решила стать доулой смерти Николь Кидман решила стать доулой смерти — специалистом, который поддерживает умирающих и их родственников в последние дни жизни. "Я хочу расширить свои горизонты. Я хочу стать доулой по сопровождению умирающих", — рассказала актриса на встрече со с...

19:56, 28 Фев Porsche решила не делать из флагманского кроссовера K1 электромобиль Модель дебютирует в 2028 году с мощными двигателями внутреннего сгорания и гибридными установками и станет «близнецом» будущего Audi Q9.Модель, которая будет на уровень выше Cayenne, призвана конкурировать с такими «китами» люксового сегмента, как B...

03:56, 05 Фев Bloomberg: Porsche решила не делать из Cayman и Boxster электромобили Немецкий автопроизводитель рассматривает такую возможность в рамках сокращения расходов на создание новых моделей и из-за задержек в разработке новинок. В компании признают, что спрос на электрокары оказался не таким высоким, как ожидалось.Источники...

00:56, 18 Сен В мире: Польша решила померяться военной силой с Германией Польша заявила об амбициях стать обладательницей самой сильной армии в Европе. Однако в реализации этих планов у Варшавы есть серьезный конкурент – Германия, канцлер которой Фридрих Мерц намерен превратить ФРГ в военного лидера ЕС. Эксперты отмечают...

15:56, 06 Мар Греция решила перебазировать Patriot для «защиты Болгарии от Ирана» Греция перебросит на север своей территории батарею ПВО Patriot и два истребителя F-16 для помощи в защите Болгарии от баллистических ракет Ирана, заявил министр национальной обороны Греции Никос Дендиас после телефонного разговора с главой Миноборо...

07:56, 27 Авг Супруга Брюса Уиллиса решила нанять для него обученных сиделок Семья голливудского актера Брюса Уиллиса, который страдает от деменции, решила нанять для него профессиональных сиделок в новом доме. Об этом стало известно из сообщения телеканала ABC. Родные посчитали важным, чтобы Уиллис проживал в безопасном и т...

15:56, 11 Дек Обманутая мошенниками пианистка Адфельдт решила вернуть проданную квартиру Заслуженная пианистка Лидия Адфельдт оказалась жертвой мошенников, которые под предлогом участия в спецоперации ФСБ вынудили ее продать однокомнатную квартиру в центре Москвы, теперь она намерена вернуть недвижимость. Адфельдт в интервью телеканалу ...

22:56, 19 Янв Госдума решила рассмотреть проект о запрете депортации иностранцев-военнослужащих Госдума рассмотрит в первом чтении законопроекты, касающиеся запрета на выдачу и депортацию иностранных граждан, проходящих военную службу в России, сообщил источник в палате парламента. По словам источника, данная инициатива будет обсуждаться на пл...

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

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

04:56, 27 Май Втулки от туалетной бумаги больше не выбрасываю: вот как их применяю — решила кучу бытовых проблем Фото Progorod58 Втулка от туалетной бумаги обычно летит в мусорку. А зря. Картонная трубка способна заменить полдюжины покупных приспособлений. Вот 4 способа использовать её с умом. Щётка для труднодоступных мест Смочите один конец втулки водой, сле...

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

21:56, 24 Дек Цены на DDR4 взлетели до 60 долларов за 16 ГБ, и Samsung решила не прекращать выпуск этой старой памяти Компания Samsung отложила ранее анонсированное закрытие линий по производству памяти DDR4. Причиной стало резкое повышение цен на старый тип памяти: стоимость модуля объемом 16 ГБ на спотовом рынке достигла рекордных 60 долларов, что сделало этот се...

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

15:56, 18 Янв «У вас совесть есть?»: Женщина с маленьким ребёнком решила выгнать меня с моей полки в поезде - чем все закончилось прогород Дальняя дорога в поезде — это всегда лотерея с соседями. Можно попасть на душевную беседу за чаем, а можно — на многочасовой спектакль абсурда. Один из самых горячих поводов для конфликтов — священное право на свою полку, особенно нижнюю. И...

17:56, 19 Май Земная кора в Африке решила разъехаться — новый океан может появиться там, где сейчас пустыня и саванна Африканский континент буквально трещит по швам. Под Замбией обнаружили "дыхание" мантии: гелий-3, который миллиарды лет томился на глубине до 160 километров, кучно повалил наружу через горячие источники. Это не просто геологический курьез, а полноце...

13:56, 26 Янв Ушла к детям в соседнее купе, а когда вернулась — бабушка в поезде решила, что мое место теперь общее Прогород Знакомая история? Вы оплатили своё место, но стоило отлучиться ненадолго, как его уже считают бесхозным. И вроде бы человек в возрасте, и спорить неловко, но чувство справедливости протестует. Давайте разберёмся, кто здесь прав на самом дел...

22:56, 07 Сен За что я не люблю Пятерочку: но зачем хожу туда чаще, чем в другие магазины - решила рассказать честно всю правду За что я не люблю Пятерочку: но зачем хожу туда чаще, чем в другие магазины - решила рассказать честно всю правду Кажется, в любом районе сейчас есть «Пятёрочка». Красные вывески мелькают так часто, что складывается ощущение: если закрыть глаза и по...

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

20:56, 28 Апр "Наденька решила задушить свободу слова". Психолог Вероника Степанова ответила Надежде Стрелец, которая подала на неё в суд Блогер-психолог Вероника Степанова, известная своими разборами знаменитостей, публично ответила подавшей на неё в суд Надежде Стрелец, с которой ранее они публично конфликтовали. Поводом для судебного иска стало видео, в котором Степанова нелестно о...

15:56, 20 Мар Решила сэкономить и купила в Фикс Прайсе кофе Черная карта за 139 руб: мой четный отзыв от первой чашки напитка ПроГородМногие популярные марки кофе подорожали: «Нескафе» стал дороже почти вдвое, «Монарх» вырос в цене примерно на 30 процентов, а некоторых брендов и вовсе нет в продаже. В очередной поход в «Фикс Прайс» на глаза попался кофе «Черная карта», изв...

22:56, 30 Ноя Решила проверить блины «с мясом» из Ермолино: разрезала — и сразу стало ясно, сколько там мяса и какое оно на вкус Прогород Блины «с мясом» из «Ермолино» — продукт культовый. Их расхваливают на всех углах, обещая невероятную экономию и почти домашний вкус. Так и тянет купить пару килограммов про запас — и детям на перекус, и на дачу. Решила проверить эти блины с...

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

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

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