Архив рубрики ~Коротко из Telegram~

Математик опроверг гипотезу Якоби с помощью ИИ-модели Гипотеза 1939 года…

Математик опроверг гипотезу Якоби с помощью ИИ-модели Гипотеза 1939 года…
File 984

Математик опроверг гипотезу Якоби с помощью ИИ-модели

Гипотеза 1939 года утверждала, что полиномиальное отображение с постоянным ненулевым якобианом обязательно обратимо. Левент Альпёге нашёл контрпример: необратимое отображение с постоянным якобианом, уместившееся в 216 символов — при том что минимальную степень такого примера математики оценивали в районе 200. В работе помогала модель Fable 5, которую разработчики изначально считали слишком мощной для публичного релиза.

Важная оговорка: результат ещё не прошёл рецензирование, а полная стенограмма промптов не опубликована — то есть отделить вклад модели от направляющей роли самого математика пока нельзя.

Случай не единичный: в этом году AlphaProof самостоятельно решил девять открытых проблем Эрдёша, а другая модель независимо и короче доказала гипотезу единичного расстояния.

Оцените материал:

Поделиться
Понравилась статья? Расскажите другим
ВКонтакте
Читайте также
Архив рубрики ~Лента новостей~ [Перевод] Семья математиков за 20 лет решила важнейшую задачу теории групп Архив рубрики ~Лента новостей~ Число подтвержденных жертв лихорадки Эбола в Конго превысило две тысячи. Эта вспышка инфекции уже вышла на второе место в истории по масштабам Архив рубрики ~Лента новостей~ Владельцы домашних животных утверждают, что отключение интеллектуальных кормушек для животных привело к тому, что их питомцы остались без еды. Архив рубрики ~Лента новостей~ Наслаждайтесь более качественным кофе и сэкономьте 40 долларов, но это фантастическое предложение на кофемашину Keurig K-Express быстро раскупается. Новости робототехники Neros Technologies вложит 250 миллионов долларов на развертывание своих оборонных дронов к концу 2026 года. Архив рубрики ~Лента новостей~ Unforgetful — это новое приложение-напоминание для тех, кто постоянно нажимает кнопку «отложить». Архив рубрики ~Лента новостей~ Резюме уже не объясняет специалиста: зачем нужна доказательная цифровая профессиональная карта Архив рубрики ~Лента новостей~ ИИ-агенты взломали 85 правительственных аккаунтов Тайваня за четыре дня Архив рубрики ~Лента новостей~ ЕГЭ по математике: как за 10 лет результаты ЕГЭ выросли на 20 баллов. Магия чисел или бум образования? Архив рубрики ~Обо всем~ Марсианский метеорит из Алжира оказался шерготтитом редкого типа. NWA 13441 нашли в 2019 году Архив рубрики ~Лента новостей~ Новый водяной знак Клода, посвященный «Алой букве», пока невидим. Архив рубрики ~Лента новостей~ Какие новые IT-профессии появились благодаря ИИ Новости робототехники Роботы на Уолл-стрит: нетрадиционные пути выхода на публичные рынки для робототехнических компаний Новости робототехники Универсальный железнодорожный робот заменит людей на опасных участках Архив рубрики ~Лента новостей~ [Перевод] Семья математиков за 20 лет решила важнейшую задачу теории групп Архив рубрики ~Лента новостей~ Число подтвержденных жертв лихорадки Эбола в Конго превысило две тысячи. Эта вспышка инфекции уже вышла на второе место в истории по масштабам Архив рубрики ~Лента новостей~ Владельцы домашних животных утверждают, что отключение интеллектуальных кормушек для животных привело к тому, что их питомцы остались без еды. Архив рубрики ~Лента новостей~ Наслаждайтесь более качественным кофе и сэкономьте 40 долларов, но это фантастическое предложение на кофемашину Keurig K-Express быстро раскупается. Новости робототехники Neros Technologies вложит 250 миллионов долларов на развертывание своих оборонных дронов к концу 2026 года. Архив рубрики ~Лента новостей~ Unforgetful — это новое приложение-напоминание для тех, кто постоянно нажимает кнопку «отложить». Архив рубрики ~Лента новостей~ Резюме уже не объясняет специалиста: зачем нужна доказательная цифровая профессиональная карта Архив рубрики ~Лента новостей~ ИИ-агенты взломали 85 правительственных аккаунтов Тайваня за четыре дня Архив рубрики ~Лента новостей~ ЕГЭ по математике: как за 10 лет результаты ЕГЭ выросли на 20 баллов. Магия чисел или бум образования? Архив рубрики ~Обо всем~ Марсианский метеорит из Алжира оказался шерготтитом редкого типа. NWA 13441 нашли в 2019 году Архив рубрики ~Лента новостей~ Новый водяной знак Клода, посвященный «Алой букве», пока невидим. Архив рубрики ~Лента новостей~ Какие новые IT-профессии появились благодаря ИИ Новости робототехники Роботы на Уолл-стрит: нетрадиционные пути выхода на публичные рынки для робототехнических компаний Новости робототехники Универсальный железнодорожный робот заменит людей на опасных участках

Оставить комментарий