- Rockstar подарит умирающему фанату... (3)
- Батарея на 9000 мАч, но работает столько же,... (3)
- Грядёт первая мощная магнитная буря 2026... (277)
- Россияне всё активнее приобретают смартфоны... (261)
- Starlink ударил по британским провайдерам:... (334)
- Аккумулятор более 7000 мАч, быстрая зарядка... (432)
- Xiaomi выпустила один из самых тонких... (429)
- В России появились модули ОЗУ кустарной... (428)
- 9000 мАч, 100 Вт, IP68/69 и OLED-дисплей со... (430)
- Память дорожает всерьёз и надолго: цены... (401)
- Цены на DDR4, DDR3 и NOR Flash будут сильно... (487)
- Tank 300 не выдерживает русской зимы:... (326)
- США наконец обошли СССР по грузоподъемности... (330)
- NASA готовит умные аппараты для миссии на... (449)
- Роскомнадзор создаст ИИ для фильтрации... (249)
- Роскомнадзор будет фильтровать... (452)
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 В ходе обыска было...