[🌿 다듬는 중 · growing]
AI가 수학을 풀었다는데 — 커피잔 속 백만 달러짜리 질문
커피잔의 소용돌이부터 클로드의 길찾기까지, AI가 찾은 답을 증명으로 받아들이려면 무엇을 확인해야 할까.
- #verification
- #math
- #ai
- 태그 3개 더
tag
#verification
노트 4편
[🌿 다듬는 중 · growing] [margins]
네 색이면 충분하다 — 소설 같은 문제, 소설 같지 않은 증명
틀린 증명에서 살아남은 아이디어와 컴퓨터의 방대한 경우 검사가 124년을 버틴 지도 색칠 문제를 풀어냈다.
- #verification
- #math
- #graph-theory
- 태그 3개 더
[🌿 다듬는 중 · growing]
모순은 접혀 있다 — 안전사고, 중고 피아노, 쌍둥이 소수, 그리고 주역
안전사고라는 말부터 성겨지면서도 가까운 쌍이 나타나는 소수까지, 모순처럼 보이던 문장에는 서로 다른 조건이 포개져 있었다.
- #verification
- #contradiction
- #language
- 태그 5개 더
[🌿 다듬는 중 · growing]
확인 비용 — 주장하기는 쉽고, 확인은 비싸다
간장 뒷면의 라벨에서 중고차 검수와 법인차 절세까지. 그럴듯한 말과 믿을 만한 근거 사이에는 누군가 치러야 할 비용이 있다.