클로드, OSS 123개 크래시 부재를 증명
형식 증명은 미리 정한 가정 아래서만 성립해, 플랫폼이나 메모리 범위가 바뀌면 다시 검증을 거쳐야 한다.
#해석가능성
클로드, NIST 곡선 시드 기원 규명
유머 문구 해시라는 통설과 달리 NIST 곡선 시드가 1990년대 유닉스 시각으로 초기화한 난수 생성기 출력임이 드러나며, 20년 넘게 돌던 백도어 의혹이 근거를 잃었다.
1인칭은 시선, 3인칭은 물리학이다
EchoWM은 오디오·화면을 동기화해 생성하는 월드모델로, 6자유도 궤적으로 조작 방식을 통일했지만 1인칭과 3인칭의 회전 처리 차이, 장기 공간 기억의 한계는 여전히 남아 있다.
생각의 흔적은 찾았지만, 마음의 증거는 없었다
Anthropic이 Claude 내부에서 발견한 J 공간은 추론에 관여하는 정보 전달 구조지만, 이 구조적 유사성이 주관적 경험이나 의식의 존재를 입증하지는 않는다.
백년 난제를 깬 반례의 조건
AI가 반례를 빠르게 찾아내며 야코비안 추측과 단위거리 추측을 무너뜨렸지만, 진술의 정확성과 형식화 코드의 검토는 여전히 사람 몫으로 남는다.
멀티모달 AI는 그림을 ‘보는’ 게 아니라 이름을 붙인다 - VLM이 픽셀을 버리고 단어로 도망치는 이유
시각언어모델은 부위에 이름이 붙었을 때 이미지 속 같은 지점을 더 정확히 찾아내고, 이름 없는 도형은 픽셀 대응을 따로 학습시켜야 정확도가 오른다.
AI가 설계한 첫 기능성 박테리오파지 16종 검증
AI가 자연에 없는 새로운 유전자 조합을 스스로 만들어낸 첫 사례로, 항생제 내성균 대응에 실질적 도구가 될 수 있지만 병원체 설계로 악용될 위험을 막을 규제는 아직 마련되지 않았다.
Claude Mythos, 인간 전문가 2년 검토 놓친 암호 약점 발견
후양자 서명 후보의 검증되지 않은 수학 구조를 AI가 찾아내면서, 이제 표준화 과정 자체가 AI 스트레스 테스트를 전제로 재설계돼야 할 상황에 놓였다.
설명할 수 있다고 이해한 것은 아니다
스타킹 선택부터 트랜스포머의 경사하강법까지, 이해는 설명 가능성이 아니라 낯선 조건 앞에서도 스스로 갱신되며 버티는 능력으로 검증돼야 한다는 논증.
앤스로픽이 들여다본 model의 머릿속
앤스로픽이 J-space라는 내부 활성화 구조를 발견해, Claude가 말하기 전 개념을 다루고 조작·공유하는 과정을 J-lens로 관찰한 연구를 정리한다.
