Похоже, мы входим в таймлайн научных открытий в домашних условиях…

Похоже, мы входим в таймлайн научных открытий в домашних условиях

Claude Fable 5 только что помог закрыть одну из самых известных задач XX века. Математики Левент Альпёге и Ахил Мэтью попросили модель поискать контрпример к гипотезе Якобиана 1939 года, и Fable выдала компактное полиномиальное отображение. Его якобиан везде равен −2, однако три разные точки переходят в одну, поэтому обратного отображения не существует и гипотеза в общем виде неверна. Это не длинное и спорное «доказательство от ИИ», а конкретная формула, которую можно проверить напрямую.

Математики уже называют это самым известным открытым вопросом, который удалось решить при помощи LLM. Формулу уже независимо проверили в Wolfram Alpha, Sage, SymPy и разобрали на MathOverflow. Это фундаментальная задача алгебры и геометрии без немедленного бытового применения, но её решение меняет представление математиков о многомерных полиномиальных преобразованиях.

Самое интересное здесь даже не конкретная задача, а новый формат науки, где человек выбирает направление и проверяет результат, а ИИ перебирает идеи и находит то, что десятилетиями не замечали люд

пост — https://x.com/alpoge/status/2079028340955197566

И это только начало (с)

P.S.

на Википедии уже обновили статью