- Космический корабль доставит на МКС конфеты,... (2796)
- Космическая обсерватория «Спектр-М» займётся... (2696)
- В условиях дефицита памяти портативная... (2583)
- Представлены телевизоры LG QNED evo Mini LED... (4473)
- Лазер вместо радио: лунный корабль передаёт... (2518)
- В Китае введут строгий стандарт безопасности... (2710)
- NASA впервые разрешило астронавтам взять на... (2856)
- Сразу после старта лунной миссии Трамп... (2774)
- Передача данных по свету достигла 362 Гбит/с... (4538)
- Стартап Kintsugi с ИИ-диагностикой депрессии... (4564)
- Искусственный интеллект в психиатрии: в США... (4388)
- Астрономы подтвердили «запрещённый» диапазон... (4419)
- 120 долларов — столько стоит одна... (3835)
- В Германии разрабатывают новый способ... (4044)
- Компактная квантовая система обошла крупный... (3561)
- Новая статья: Grime 2 — истязание на... (4089)
GPT-5 предположительно самостоятельно решила открытую математическую задачу
Дата: 2025-12-24 01:05
Швейцарский математик Йоханнес Шмитт (Johannes Schmitt) сообщил в сети X, что GPT-5 впервые независимо решила открытую математическую задачу. По словам Шмитта, GPT-5 предложила элегантное решение, неожиданно применив методы из другой области алгебраической геометрии, а не традиционные подходы. В настоящее время работа находится на стадии рецензирования. Ранее о пользе ИИ в математике сообщал, в частности, математик Теренс Тао.
В статье представлены различные формы сотрудничества человека и ИИ: доказательства, полученные GPT-5 (базовая модель, не Pro) и Gemini 3 Pro, текстовые фрагменты, сгенерированные Claude, и формальные доказательства Lean (инструмент интерактивного доказательства теорем), созданные с помощью кода Claude и ChatGPT 5.2. В качестве эксперимента по прозрачной атрибуции ИИ каждый абзац помечен как написанный человеком или ИИ, со ссылками на запросы и расшифровки диалогов.
Иллюстрация: Grok Подход Шмитта обеспечивает высокий уровень прозрачности и отслеживаемости: любой желающий может проверить, какие идеи принадлежат людям, а какие — ИИ. Однако подробная маркировка каждого абзаца занимает много времени и может стать непрактичной по мере того, как ИИ будет всё шире использоваться в повседневной работе.
Кроме того, граница между вкладом человека и ИИ не всегда ясна. Эта модель, вероятно, не сможет быть легко перенесена в другие науки.
Примечание: независимая проверка и публикация решения в рецензируемом журнале ещё отсутствуют, поэтому результаты пока что рассматриваются в контексте предварительного отчёта
Подробнее на iXBT
Предыдущие новости
Громкая полемика между ведущими учёными Google DeepMind и Meta* о понятии «общего ИИ»
Разногласия между Яном ЛеКуном, уходящим исследователем Meta* и лауреатом премии Тьюринга, и Демисом Хассабисом, соучредителем и генеральным директором Google DeepMind, касаются фундаментального определения и перспектив развития искусственного интеллекта, на которые направлены миллиардные инвестиции. ЛеКун заявил, что концепция AGI не имеет смысла, поскольку она ориентирована...
Ford бросает вызов Toyota Land Cruiser Prado. Представлен самый мощный Ford Everest Tremor — лифт подвески и 2,7-литровый V6 на 350 л.с.
Ford представил самую мощную версию своего рамного внедорожника Everest Tremor: новинка дебютировала на фестивале Liwa в Абу-Даби. Автомобиль получил серьезное обновление под капотом, приблизившее его к экстремальной версии Raptor. Фото: Ford Главным новшеством стала замена стандартных моторов на бензиновый 2,7-литровый V6 EcoBoost с двойным турбонаддувом. Этот агрегат,...
Гигантский аккумулятор 10 000 мАч, 100-ваттная зарядка и холодная Snapdragon 8 Elite Gen 5: Honor рассказала об активной системе охлаждения флагманов Honor Win и Win RT
В преддверии официального анонса компания Honor опубликовала тизер, раскрывающий главную особенность своих новых игровых смартфонов серии Win. В видеоролике продемонстрирована работа активной системы охлаждения Turbine Cooling. Она представляет собой миниатюрный вентилятор, способный раскручиваться до 25 000 оборотов в минуту. Скриншот видео Honor Конструкция кулера создает...
В Индии ликвидировали подпольный цех по производству поддельных флагманов Galaxy S Ultra, Galaxy Z Fold и Galaxy S Flip — их собирали из китайских комплектующих
Полиция Дели ликвидировала подпольный цех, где производились поддельные смартфоны Samsung. В ночь с 13 на 14 декабря правоохранители совершили рейд на магазин, служивший прикрытием для нелегального производства. В результате были задержаны четыре человека, занимавшихся сборкой фальшивых гаджетов из комплектующих, поставлявшихся из Китая. Фото: Sammobile В ходе обыска было...