The Cartan determinant conjecture for representation-finite algebras

이 논문은 오래 열려 있던 대수학 문제(카르탕 행렬식 추측)를 표현유한 대수 범위에서 증명했는데, 증명을 AI(GPT-5.6-Sol)가 찾고 초안도 AI가 썼다고 논문에 명시했다.

이 논문은 한마디로 수학 정리 하나를 완전히 증명한 논문이다. 카르탕 행렬식이 1이 되리라는 추측은 아직 일반적으로 미해결인데, 저자는 표현이 유한한 대수(가능한 모듈이 유한개인 대수)에서 이 성립함을 보였다. 증명은 메쉬 범주의 경로 길이로 만든 양의 등급과 Wilson의 판정법을 조합한 것이다. 특히 증명을 GPT-5.6-Sol이 저자의 지휘 아래 찾아내고 초안을 GPT-5.6-Sol과 Claude Opus 5가 썼다는 기록이 논문에 남아 있다.

핵심 요약

• 표현유한 대수가 유한 전역차원을 가지면 카르탕 행렬식이 정확히 1임을 증명했다.
• 표준성 정리와 메쉬 범주의 경로 길이 등급을 잇는 간결한 논증으로 기존 결과들을 결합했다.
• End(M) 형태의 확장 정리(Theorem B)도 같은 논증으로 얻었다.
• 논문의 Use of AI 절에 증명 발견과 초안 작성에 AI가 관여했음을 명시했다.
• 저자는 이 증명이 표현유한 대수의 구조 이론에 기대고 있으며, 그 이론을 쓰지 않는 증명이 있는지는 자신도 모른다고 적었다.

논문 링크

외부 연구를 정리한 자료입니다. HDATF가 발표한 논문이나 제품 성능을 측정한 결과는 아닙니다.