[🌿 다듬는 중 · growing]
AI가 수학을 풀었다는데 — 커피잔 속 백만 달러짜리 질문
커피잔의 소용돌이부터 클로드의 길찾기까지, AI가 찾은 답을 증명으로 받아들이려면 무엇을 확인해야 할까.
- #computer-proof
- #math
- #ai
- 태그 3개 더
tag
#computer-proof
노트 2편
[🌿 다듬는 중 · growing] [margins]
네 색이면 충분하다 — 소설 같은 문제, 소설 같지 않은 증명
틀린 증명에서 살아남은 아이디어와 컴퓨터의 방대한 경우 검사가 124년을 버틴 지도 색칠 문제를 풀어냈다.
- #computer-proof
- #math
- #graph-theory
- 태그 3개 더