- Поиск Google начал подменять заголовки... (6384)
- SoftBank готовится построить в Огайо один из... (6097)
- Lenovo и MSI раскрыли новый процессор Intel... (6569)
- Google усложнит установку APK на Android:... (6584)
- Геймеры заслуженно критикуют DLSS 5? Nvidia... (5948)
- Один из крупнейших мировых сервисов... (5853)
- Intel наконец-то откажется от сокетов,... (5842)
- Учёные создали «рентген» для работающих... (5498)
- В Китае придумали, как охлаждать квантовые... (5391)
- Новый патч обрушил рейтинг Slay the Spire 2... (5699)
- Huawei представила смартфон Mate 80 Pro Max... (6084)
- Доступный MacBook Neo стал хитом: Тим Кук... (5960)
- Ракету SLS с кораблём Orion вернули на... (5956)
- Gigabyte выпустила аскетичную матплату Z890... (5393)
- Этот будильник сложно возненавидеть —... (5464)
- Этот будильник сложно возненавидеть —... (6205)
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 В ходе обыска было...