[🌿 다듬는 중 · growing]
AI가 수학을 풀었다는데 — 커피잔 속 백만 달러짜리 질문
커피잔의 소용돌이부터 클로드의 길찾기까지, AI가 찾은 답을 증명으로 받아들이려면 무엇을 확인해야 할까.
- #math
- #ai
- #fluid-dynamics
- 태그 3개 더
tag
#math
노트 3편
[🌿 다듬는 중 · growing] [margins]
네 색이면 충분하다 — 소설 같은 문제, 소설 같지 않은 증명
틀린 증명에서 살아남은 아이디어와 컴퓨터의 방대한 경우 검사가 124년을 버틴 지도 색칠 문제를 풀어냈다.
[🌿 다듬는 중 · growing]
문제를 옮겨 푼다 — 번역으로 읽는 수학과 시스템
합성곱은 곱셈으로, 신원 확인은 티켓으로, 지도 색칠은 유한한 검사로. 문제의 표현을 바꾸면 무엇이 쉬워지고, 무엇을 새로 믿어야 할까.
- #math
- #cryptography
- #systems
- 태그 3개 더