[🌿 다듬는 중 · growing]
AI가 수학을 풀었다는데 — 커피잔 속 백만 달러짜리 질문
커피잔의 소용돌이부터 클로드의 길찾기까지, AI가 찾은 답을 증명으로 받아들이려면 무엇을 확인해야 할까.
- #math
- #ai
- #fluid-dynamics
- 태그 3개 더
seedlings, growing notes, evergreens
Notes
다듬어진 정도는 제목 위 상태로 표시합니다. 뜻은 About에 적어 두었습니다.
[🌿 다듬는 중 · 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]
복제의 복제 — 위고비는 몸이 만들던 신호를 베낀 약이다
위고비의 성분을 재현해도, 같은 품질의 약을 만들려면 불순물부터 주사기까지 확인하고 동등성을 입증해야 한다.
[🌿 다듬는 중 · growing]
문제를 옮겨 푼다 — 번역으로 읽는 수학과 시스템
합성곱은 곱셈으로, 신원 확인은 티켓으로, 지도 색칠은 유한한 검사로. 문제의 표현을 바꾸면 무엇이 쉬워지고, 무엇을 새로 믿어야 할까.
- #math
- #cryptography
- #systems
- 태그 3개 더
[🌿 다듬는 중 · growing]
소리만 도착한 단어들 — 이름은 어떻게 고향을 잊는가
다른 언어로 건너간 이름은 옛 사연을 잊기도 하고, 차의 등급이나 옷감의 종류를 가리키는 새 쓰임을 얻기도 한다.
- #language
- #etymology
- #loanwords
- 태그 3개 더
[🌿 다듬는 중 · growing]
뉴에이지·세미클래식·영화음악 — 피아노 한 대로 무엇이 남을까
좋아했던 것이 멜로디인지, 그 주변의 소리인지에 따라 마음에 드는 피아노 독주 악보도 달라진다.
[🌳 정리됨 · evergreen]
마지막 샤프의 반음 위 — 그 규칙은 어디서 왔을까
조표 읽는 암기법은 장음계의 간격에서 나오지만, 장조가 서양음악의 중심에 자리 잡은 이유에는 음향학으로 다 설명되지 않는 관습도 있다.
[🌿 다듬는 중 · growing]
세이프티카, F1에서 가장 드라마틱한 차
빨간불 앞의 사고, 우승을 노린 고의 충돌, 마지막 한 랩의 논란까지, 안전을 위한 차가 바꾼 실제 승부는 영화 〈F1〉만큼 극적이었다.
- #f1
- #motorsport
- #safety-car
- 태그 3개 더