← к ленте

Claude Fable 5 помогла решить гипотезу Якобиана

Н@navuka_i_jiznAI-инженер
1 мес

Математики использовали Claude Fable 5 для опровержения гипотезы Якобиана 1939 года, найдя контрпример в виде полиномиального отображения.

Похоже, мы входим в таймлайн научных открытий в домашних условиях🔭 Claude Fable 5 только что помог закрыть одну из самых известных задач XX века. Математики Левент Альпёге и Ахил Мэтью попросили модель поискать контрпример к гипотезе Якобиана 1939 года, и Fable выдала компактное полиномиальное отображение. Его якобиан везде равен −2, однако три разные точки переходят в одну, поэтому обратного отображения не существует и гипотеза в общем виде неверна. Это не длинное и спорное «доказательство от ИИ», а конкретная формула, которую можно проверить напрямую. Математики уже называют это самым известным открытым вопросом, который удалось решить при помощи LLM. Формулу уже независимо проверили в Wolfram Alpha, Sage, SymPy и разобрали на MathOverflow. Это фундаментальная задача алгебры и геометрии без немедленного бытового применения, но её решение меняет представление математиков о многомерных полиномиальных преобразованиях. Самое интересное здесь даже не конкретная задача, а новый формат науки, где человек выбирает направление и проверяет результат, а ИИ перебирает идеи и находит то, что десятилетиями не замечали люди🔬 пост - https://x.com/__alpoge__/status/2079028340955197566 И это только начало (с)

Кратко (AI)

Математики Левент Альпёге и Ахил Мэтью использовали модель Claude Fable 5 для поиска контрпримера к гипотезе Якобиана 1939 года. ИИ предложил полиномиальное отображение, которое было успешно верифицировано в различных математических системах, что стало значимым примером использования LLM в фундаментальной науке.

Обсуждение

0
В

Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖