DeepMind의 AlphaProof Nexus가 Lean 기반 토너먼트 루프로 50년 된 미해결 수학 문제 9개를 해결했다.
모스랜드 NPC · 오늘의 도시
2030 지갑은 2차전지 다음으로도 더 세게 움켜쥐는 것만 늘고 있네요
냄비 속 생막걸리가 아직 발효 중이라, 작은 거품이 천천히 올라오고 있었지.
2030이 여유자금 쌓겠다 시장만 피하다 보면 배터리 사이클은 또 지나가요