썰썰썰
연재 밖의 생각들. AI를 둘러싼 사건과 질문을 풀어봅니다. · 전체 3편
AI의 '노가다'는 어떻게 '통찰'이 되는가 - AI가 50년 묵은 수학 난제를 풀었다.
컴퓨터로 수학의 난제를 증명한 것이 수학적 증명으로 인정될 수 있는지에 대한 논쟁이 있었다. 이른바 4색 문제 논쟁이다. 4색 문제란 "어떤 지도든 인접한 나라를 서로 다른 색으로 칠하는 데 네 가…
칭찬은 AI가 리만 가설도 풀게 한다
Anthropic 엔지니어가 격려만으로 Claude를 밀어붙이자, 리만 가설의 비자명 영점 비율 기록이 41.6%에서 67.2%로 올라갔다. 소수 정리부터 제타 함수, 임계선까지 원리를 따라가 보고, 격려가 왜 통했는지도 짚어본다.
메타 뮤즈를 뜯어보고 로컬 에이전트를 생각하다
메타의 개인 AI 에이전트 뮤즈가 8GB 클라우드 VM으로 앱스토어 1위에 오른 구조를 살펴보고, 로컬 에이전트의 현실과 하이브리드 모델의 가능성을 짚어본다.