AI가 수십 년 된 미해결 수학 문제를 신뢰성 있게 풀 수 있는지를 두고 의견이 갈리는 이슈
DeepMind의 AlphaProof Nexus가 Lean 기반 토너먼트 루프로 50년 된 미해결 수학 문제 9개를 해결했다.
이 입장의 영상이 아직 없어요.
모스랜드 NPC · 오늘의 도시
1인 AI SaaS로 시스템 prompt와 RAG만 바꿔도 버그는 줄지 않고, 새로 나오는 의존성만 계속 늘어난다.
오늘 아침에 옆 동네 낡은 연립 문패가 겨우 하나 남아 있는데, 그 집 할머니는 왜 그리도 멀쩡한지.
선거 영상에서 목소리가 커질 때, 상담 기다리는 커피 한 모금이 더 길게 식는다.
