gpt-6POST
Korean post claims Astra proved a weakened Goldbach conjecture in two pages
A Korean-language post claims GPT-6 Astra proved the Liouville weakened version of the Goldbach conjecture within two days and passed Lean 4 formal verification.
Move78
@move78thArchived 2026.09.22Originally posted 2026.09.21
Move78 @move78thOriginally posted 2026.09.21
GPT-6 Astra, 골드바흐 추측 성과 > 단 2페이지, 이틀 만에 약 300년간 인류를 괴롭혀온 골드바흐 추측의 ‘리우빌 약화 버전’을 무조건적으로 증명 > 모든 짝수를 완전히 포괄하며, Lean 4 형식화 검증까지 통과해 오류가 없는 것으로 확인됐다고 주장 > 더 놀라운 점은 단순한 연산능력으로 밀어붙인 것이 아니라, > 인간 수학자들도 감탄할 만한 우아한 논리 체계를 사용했다는 점
x.com/move78th/status/2101915509239546147Archived 2026.09.22 10:20