GPT-6 Astra, 골드바흐 추측에서 중대한 돌파 (중국언론)

>>GPT-6 Astra, 골드바흐 추측에서 중대한 돌파 (중국언론) •GPT-6 Astra가 단 2페이지, 이틀 만에 약 300년간 인류를 괴롭혀온 골드바흐 추측의 ‘리우빌 약화 버전’을 무조건적으로 증명했음. 모든 짝수를 완전히 포괄하며, Lean 4 형식화 검증까지 통과해 오류가 없는 것으로 확인됐다고 주장 •더 놀라운 점은 단순한 연산능력으로 밀어붙인 것이 아니라, 인간 수학자들도 감탄할 만한 우아한 논리 체계를 사용했다는 점 >刚刚,GPT-6 Astra取得哥德巴赫猜想重大突破! https://wallstreetcn.com/articles/3782191#from=ios