August 3, 2026
AI가 90년 된 수학 난제를 반증했다는 소동, 범인은 검증 도구의 버그였다
AI수학정형 검증
#수학
7 개 글 · 모든 태그
📡 Events
July 28, 2026
1294점을 받은 화제의 글: 버그는 수학적 숙명인가 아니면 인간의 실수인가
수학버그소프트웨어철학
July 26, 2026
수학에도 어두운 밤이 있었다: 이 학문을 재창조한 네 번의 위기
수학과학철학사상
July 23, 2026
수학 천재 타오(Terence Tao), ChatGPT와 함께 세기의 난제를 풀다
AI수학ChatGPT타오
July 22, 2026
AI의 반례 공세: 에르되시·그로텐디크·야코비안 추측이 두 달 만에 무너졌다
AI수학Lean형식 검증
July 19, 2026
GPT-5.6, 단 한 번의 프롬프트로 30년 된 알고리즘 한계를 증명하다
AIGPT-5.6수학형식 증명
July 4, 2026
수억 명이 16년간 못 찾은 버그, 수학은 20걸음 만에 찾아냈다
SQLiteTLA+형식 검증WAL