韩推称 Astra 两页证明哥德巴赫弱化版

Move78 @move78th原推发布于 2026.09.21

在 X 上打开原推

GPT-6 Astra, 골드바흐 추측 성과 > 단 2페이지, 이틀 만에 약 300년간 인류를 괴롭혀온 골드바흐 추측의 ‘리우빌 약화 버전’을 무조건적으로 증명 > 모든 짝수를 완전히 포괄하며, Lean 4 형식화 검증까지 통과해 오류가 없는 것으로 확인됐다고 주장 > 더 놀라운 점은 단순한 연산능력으로 밀어붙인 것이 아니라, > 인간 수학자들도 감탄할 만한 우아한 논리 체계를 사용했다는 점