[🌿 다듬는 중 · growing]
AI가 수학을 풀었다는데 — 커피잔 속 백만 달러짜리 질문
커피잔의 소용돌이부터 클로드의 길찾기까지, AI가 찾은 답을 증명으로 받아들이려면 무엇을 확인해야 할까.
- #math
- #ai
- #fluid-dynamics
- 태그 3개 더
~/personal-knowledge-archive
Archive
궁금한 건 일단 들여다봅니다. 수학, 음악, 기술, 그리고 일상에서 발견한 이야기를 씁니다.
Notes
전체 보기 → [🌿 다듬는 중 · 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개 더
[🌿 다듬는 중 · growing]
모순은 접혀 있다 — 안전사고, 중고 피아노, 쌍둥이 소수, 그리고 주역
안전사고라는 말부터 성겨지면서도 가까운 쌍이 나타나는 소수까지, 모순처럼 보이던 문장에는 서로 다른 조건이 포개져 있었다.
- #contradiction
- #language
- #used-piano
- 태그 5개 더
[🌿 다듬는 중 · growing]
확인 비용 — 주장하기는 쉽고, 확인은 비싸다
간장 뒷면의 라벨에서 중고차 검수와 법인차 절세까지. 그럴듯한 말과 믿을 만한 근거 사이에는 누군가 치러야 할 비용이 있다.
[🌿 다듬는 중 · growing]
복제의 복제 — 위고비는 몸이 만들던 신호를 베낀 약이다
위고비의 성분을 재현해도, 같은 품질의 약을 만들려면 불순물부터 주사기까지 확인하고 동등성을 입증해야 한다.