[🌿 다듬는 중 · growing]
책을 쓰던 사람은 왜 조판 프로그램까지 만들었을까 — 도널드 커누스
이 사이트의 작은 줄바꿈 규칙에서 커누스의 TeX까지. 문장을 쓰고, 읽기 좋게 다듬고, 고친 흔적을 남기는 일은 어떻게 이어질까.
~/personal-knowledge-archive
Archive
궁금한 건 일단 들여다봅니다. 수학, 음악, 기술, 그리고 일상에서 발견한 이야기를 씁니다.
Notes
전체 보기 → [🌿 다듬는 중 · growing]
AI가 수학을 풀었다는데 — 커피잔 속 백만 달러짜리 질문
커피잔의 소용돌이부터 클로드의 길찾기까지, AI가 찾은 답을 증명으로 받아들이려면 무엇을 확인해야 할까.
- #math
- #ai
- #fluid-dynamics
- 태그 3개 더
[🌿 다듬는 중 · growing]
67%는 어디까지인가 — AI와 리만 가설
리만 가설을 향한 67%는 증명의 진행률일까. 소수와 제타 함수에서 출발해, 대부분을 보장하는 일과 예외를 하나도 남기지 않는 일의 차이를 따라간다.
- #math
- #ai
- #riemann-hypothesis
- 태그 3개 더
[🌿 다듬는 중 · growing]
손끝은 같은데 팔꿈치는 다르다 — AI가 찾은 야코비안 추측의 반례
로봇팔은 팔꿈치를 위로 꺾어도 아래로 꺾어도 같은 곳에 닿는다. AI가 찾은 반례는 어떻게 87년 된 추측을 무너뜨렸을까.
- #math
- #ai
- #jacobian-conjecture
- 태그 3개 더
[🌿 다듬는 중 · growing]
같은 메시지에는 같은 서명 — Ed25519가 매번 주사위를 굴리지 않는 이유
서로 다른 메시지에 같은 비밀 난수를 쓰면 개인키가 드러날 수 있기에, Ed25519는 서명에 쓸 값을 키와 메시지에서 계산한다.
- #cryptography
- #ed25519
- #elliptic-curve
- 태그 4개 더
[🌿 다듬는 중 · growing] [margins]
네 색이면 충분하다 — 소설 같은 문제, 소설 같지 않은 증명
틀린 증명에서 살아남은 아이디어와 컴퓨터의 방대한 경우 검사가 124년을 버틴 지도 색칠 문제를 풀어냈다.
[🌱 거친 메모 · seedling]
전체 점검은 전체를 보지 않는다 — AI 에이전트와 국소 최적화
코드 에디터 없이 자연어와 AI 에이전트만으로 서비스를 만들었다. 설계 의도와 판단 근거까지 기록했는데, 왜 고칠수록 다른 문제가 나왔을까.
- #ai
- #agents
- #software-engineering
- 태그 3개 더
[🌱 거친 메모 · seedling]
설명은 투영이다 — 깔끔한 이야기에서 빠진 것들
AI 병목을 시간순으로, 커누스의 업적을 순위로 정리하면 설명에 쓰인 조건과 기준은 쉽게 시야에서 사라진다.
- #abstraction
- #systems
- #models
- 태그 5개 더