야코비안 추측

함수의 미분정보를 담은 야코비안 행렬식이 

0이 아닌 상수라면 

그 함수는 항상 역함수를 가진다는것

즉,

부분적으로 역함수 가지면

전부 다 역함수 가질 수 있나? 정도의

미해결 문제인데

AI가 뚝딱 반례를 찾음

부분적으로 역함수 가져도

전체에선 역함수 없을 수 있다고 반례를 제시함

기존에 AI가 해결한 다른 수학 난제들에 비해서

필즈상 수상자인 스티븐 스메일이 선정한 21세기 난제 18개에 선정되는 등 네임드 난제였고 수학자들이 참이었으면 좋겠다고 기대하던 추측이었는데 AI가 반례를 찾아내며 거짓으로 판명