Математик опроверг гипотезу Якоби с помощью ИИ-модели Гипотеза 1939 года…
Математик опроверг гипотезу Якоби с помощью ИИ-модели
Гипотеза 1939 года утверждала, что полиномиальное отображение с постоянным ненулевым якобианом обязательно обратимо. Левент Альпёге нашёл контрпример: необратимое отображение с постоянным якобианом, уместившееся в 216 символов — при том что минимальную степень такого примера математики оценивали в районе 200. В работе помогала модель Fable 5, которую разработчики изначально считали слишком мощной для публичного релиза.
Важная оговорка: результат ещё не прошёл рецензирование, а полная стенограмма промптов не опубликована — то есть отделить вклад модели от направляющей роли самого математика пока нельзя.
Случай не единичный: в этом году AlphaProof самостоятельно решил девять открытых проблем Эрдёша, а другая модель независимо и короче доказала гипотезу единичного расстояния.
Похожие записи
- [Перевод] Семья математиков за 20 лет решила важнейшую задачу теории групп
- Число подтвержденных жертв лихорадки Эбола в Конго превысило две тысячи. Эта вспышка инфекции уже вышла на второе место в истории по масштабам
- Владельцы домашних животных утверждают, что отключение интеллектуальных кормушек для животных привело к тому, что их питомцы остались без еды.
Оцените материал:
Похожие записи
Яндекс и Changan объявили о международном партнёрстве — в автомобили…
09.04.2026
Илон Маск анонсировал Baby Grok — безопасную версию ИИ-ассистента для детей
21.07.2025
А где же наши ручки? Wildberries потянулся за гуманоидами: маркетплейс…
15.07.2026Присоединяйтесь и подпишитесь на рассылку самых свежих новостей по Email
Получайте свежие новости и идеи на почту. Без спама — только самое интересное.
Нажимая «Подписаться», вы соглашаетесь с политикой конфиденциальности.
