AI가 찾은 87년 묵은 수학 난제의 반례, 테렌스 타오가 해부하다
A digestion of the Jacobian conjecture counterexample
수학계의 난제인 Jacobian 추측이 3차원에서 반례가 발견되어 주목받고 있습니다. 테렌스 타오는 Fable AI가 찾아낸 반례를 대수기하학을 최소한으로 사용하여 설명합니다. 그는 반례를 구성하는 다항식이 '기적'처럼 보이지만, 대칭성과 resultant 개념을 통해 자연스럽게 도출될 수 있음을 보여줍니다. 이 글은 반례의 핵심 아이디어를 이해하기 쉽게 풀어내며, 2차원에서의 추측은 여전히 열려 있음을 강조합니다.
이 다항식은 차수가 7이므로, 야코비안의 모든 비상수 계수가 사라진다는 사실은 1299개의 계수가 상쇄되는 엄청난 일처럼 보인다.