AI, 작은 공식 하나로 87년 된 수학 추측 증명에 도움
AI Helps Crack an 87-Year-Old Math Conjecture With One Tiny Formula
TL;DR AI
1분핵심 요약
Anthropic의 수학자가 Claude Fable 5를 활용해 야코비안 추측에 대한 간단한 3차원 다항식 반례를 찾았다.
이 결과는 2차원에서는 아직 미해결이지만, 2차원을 넘는 고차원에서는 추측이 성립하지 않음을 보여준다.
87년 넘게 이어진 고차원 수학 난제를 정리했으며, 대형 언어모델이 수학 연구에 기여할 수 있음을 입증했다.