- Компания AMD готовит новые процессоры Ryzen... (4877)
- «В Китае есть только одна компания,... (5164)
- Intel ускоряет компиляцию шейдеров в играх... (5028)
- В национальном мессенджере Max теперь можно... (4838)
- Карта лояльности не требуется: подтвердить... (5347)
- AMD не одобряет: компания прокомментировала... (5047)
- Первый 16-терабайтный SSD M.2 поступил в... (4998)
- Яндекс продаёт... (5448)
- Microsoft настолько обленилась? На одной из... (5483)
- Криптовалюта — это официально не ценные... (5202)
- Hydromea и Equinor продемонстрировали... (6551)
- В России начали принимать заказы на Samsung... (4936)
- AMD и Samsung расширили партнёрство по... (5268)
- Скандал с подменой Ryzen расширился —... (4736)
- Нашлось всё: в образцах с астероида Рюгу... (6307)
- iFixit разобрала iPhone 17e — задняя панель... (4955)
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 В ходе обыска было...