AI가 코드를 폭포처럼 쏟아내는 지금, 수십 년 묵은 '정형 기법(formal methods)'이 다시 주목받고 있습니다. 검증 가능한 프로그래밍이 정말 답일지 짚어봅니다.

AI가 이미 일상이 됐다는 통념, 정말 사실일까요. 덕덕고 창업자 가브리엘 와인버그가 자사 검색 데이터를 근거로 'AI 일상화' 신화에 의문을 던졌습니다.

리우데자네이루 시정부가 '독자 개발'이라 발표한 LLM Nex-N2가 기존 오픈 모델을 병합한 것으로 드러나면서, 주권 AI를 둘러싼 벤치마크 신뢰 문제가 다시 도마에 올랐습니다.

100만 토큰을 넣을 수 있다고 100만 토큰을 다 활용하는 건 아닙니다. 긴 맥락을 믿으면 안 되는 이유와 컨텍스트 부패의 실체를 풀어봤습니다.

중국 Zhipu가 GLM 5.2를 공개했습니다. 불과 몇 달 전 5.1을 내놓고 또 한 번 프런티어급 모델을 오픈웨이트로 풀었는데요. 무엇이 달라졌고, 왜 지금 이 흐름이 중요한지 짚어봅니다.

고사양 모니터와 빠른 CPU를 갖췄는데도 화면이 굼떠 보이는 진짜 이유. Tonsky가 분해한 입력 지연과 프레임 타이밍의 공학을 쉽게 풀어봅니다.

구글이 은퇴한 스마트폰을 모아 저전력 데이터센터를 만드는 실험을 공개했습니다. AI 시대의 친환경 혁신일까요, 아니면 또 하나의 그린워싱일까요. 그 속내를 들여다봤습니다.

수사 기관이 AI로 증거를 조작하면 어떤 일이 벌어질까요. 영국 더비셔에서 불거진 경찰의 AI 오용 논란을 통해 사법 신뢰가 흔들리는 순간을 짚어봅니다.

아마존 CEO 앤디 재시가 미국 정부 관계자와 나눈 대화가 앤트로픽 모델 규제의 방아쇠였다는 의혹이 번지고 있습니다. 투자자가 권력으로 경쟁사를 누르는 구조를 짚어봅니다.

미국 정부가 인구조사 데이터에서 차등 프라이버시를 금지했습니다. 학계가 '황금 표준'이라 부르던 기술이 왜 정치의 한복판에 서게 됐는지 풀어봅니다.