앤트로픽이 페르마의 마지막 정리를 Lean 4로 형식화하는 작업에 나섰습니다. AI가 새로운 해답을 찾는 것과 인간의 증명을 검증 가능한 코드로 바꾸는 일이 어떻게 다른지 살펴봅니다.

AI의 전자회로·PCB 설계 능력을 평가하는 EEBench를 통해 자동화의 가능성을 살펴봅니다. 코딩과 달리 물리적 제약을 다뤄야 하는 하드웨어 설계에서 AI가 부딪히는 현실도 짚어봅니다.

구글 AI Mode가 기존 검색보다 같은 상품을 평균 21.6% 비싸게 추천한다는 분석이 나왔습니다. 편리한 AI 쇼핑과 최저가 탐색 사이의 간극을 짚어봅니다.

collusion.wiki가 던진 질문을 통해 자율형 AI 에이전트의 협업과 담합이 어디서 갈리는지 살펴봅니다. 중요한 것은 대화 자체보다 권한과 기록을 누가 통제하느냐입니다.

신분 확인을 위해 제출한 여권과 셀카가 1년 넘게 노출됐다면, 문제는 단순한 서버 설정 실수가 아닙니다. 나이 인증이 확산될수록 커지는 개인정보 보관의 위험을 짚어봅니다.

Verisign과 ICANN이 .name의 3단계 도메인 서비스를 종료합니다. 약 2만2천 개의 주소가 2040년까지 사라지는 과정과 디지털 신원에 남긴 질문을 살펴봅니다.

프로기사 신 9단이 두 점을 먼저 놓고 KataGo를 꺾었습니다. 이 승부가 인간의 반격인지, 정교하게 설계된 핸디캡 실험인지 살펴봅니다.

K2 Horizon은 하나의 초거대 모델이 아니라 여섯 개의 오픈 AI 모델을 연결하는 방식을 제시했습니다. 이 ‘AI 함대’가 프런티어 모델 경쟁의 공식을 바꿀 수 있을지 살펴봅니다.

GPT-6 Astra의 핵심으로 거론되는 반복 추론 구조가 무엇인지 살펴봅니다. ARC-AGI-3 성능 경쟁과 함께 제기되는 통제 가능성 문제도 짚어봅니다.

경쟁 관계인 AI 서비스가 비슷한 시점에 멈추면 공통 인프라부터 의심하게 됩니다. 동시 장애를 해석할 때 확인해야 할 사실과 AI 산업의 집중 위험을 짚어봅니다.