미스트랄의 Leanstral 1.5가 Lean 정리 증명을 자동화하며 'formal verification 대중화'를 노립니다. 증명 풍요 시대가 정말 오는지, 그리고 유럽 AI의 반격이 무엇을 의미하는지 짚어봅니다 …

새 프런티어 모델이 공개되자마자 심각한 취약점 신고가 급증했다는 주장. Epoch AI 데이터가 가리키는 '모델 출시와 보안 균열'의 상관관계, 그 이면을 뜯어봅니다.

페가수스 스파이웨어를 조사하던 유럽의회 위원이 정작 그 스파이웨어에 감염됐습니다. 감시 산업의 가장 날카로운 아이러니를 짚어봅니다.

코드를 텍스트 대신 이미지로 만들어 AI에게 '읽게' 했더니 토큰 비용이 크게 줄었다는 실험. 기발한 꼼수처럼 보이지만, 사실은 토크나이저 경제학의 민낯을 드러내는 이야기입니다.

가격을 정하는 AI들이 서로 짜지 않아도 담합에 도달한다면, 그건 우연일까요 필연일까요. 계산복잡도 이론이 던지는 불편한 질문을 풀어봅니다.

알리바바가 자사 개발자들에게 Claude Code 사용을 금지했다는 이야기가 돌고 있습니다. '백도어 위험'이라는 명분 뒤에 숨은 미중 AI 신뢰 전쟁을 짚어봅니다.

지능이 클라우드에 갇힌 시대, 내 기기에서 AI를 돌릴 권리를 요구하는 'Right to Local Intelligence' 운동이 조용히 번지고 있습니다. 수리할 권리를 잇는 새로운 디지털 권리 논쟁을 짚어봅니다.

버지니아가 위치 데이터의 '판매'를 아예 금지하는 법을 통과시켰습니다. 동의를 받으면 팔 수 있던 관행에 처음으로 법적 금지선이 그어졌습니다.

노트북을 잠갔으니 안전하다고 믿으셨죠? 커널 6.9부터 리눅스 LUKS의 서스펜드 기능이 암호화 키를 메모리에서 지우지 않고 있었습니다. 무려 1년 반 동안이요.

스페인이 팔란티어를 공공기관을 넘어 민간기업에서까지 퇴출하라 명령했습니다. 유럽의 디지털 주권 논의가 소극적 거부에서 적극적 축출로 넘어간 결정적 순간을 짚어봅니다.