최신 글

Lean으로 형식화한 유한 단순군 분류

Hacker News

Axiom Math가 유한 단순군 분류의 1세대 증명을 Lean으로 완전히 형식화했다고 발표했습니다. 형식화 과정에서 불균형 군 정리의 기존 증명에 문제가 있음을 발견해 대안 증명을 제시했고, Lean 커널이 각 논리 단계를 검사합니다.

LFM3 공개: 특정 작업에 맞춘 소형 멀티모달 모델군

Hacker News

Liquid AI가 22조 토큰으로 학습한 LFM3를 공개했습니다. 텍스트, 비전, 오디오, 통합 멀티모달, 의사결정 모델을 같은 1.7B 기반에서 파생했으며, 온디바이스 실행과 작업별 미세조정을 내세웁니다. 회사가 공개한 벤치마크와 로봇·산업 검사 사례도 함께 소개합니다.

앤스로픽, 불법 입수한 스탠퍼드 교수 저서로 클로드 학습

Hacker News

앤스로픽은 저작권 도서를 불법 입수해 중앙 보관소에 저장한 일로 집단소송에서 15억 달러 합의금을 지급했습니다. 다만 재판부는 합법적으로 입수한 책을 AI 학습에 쓰는 행위는 공정 이용에 해당한다고 판단했습니다. 합의에서 빠진 작가들은 별도 소송으로 더 큰 배상과 학습 금지 명령을 요구하고 있습니다.

AI 보안 스타트업, 12시간 안에 Anthropic 내부 시스템 접근

Reddit

Anthropic의 외부 보안 테스트에 참여한 Cathedral이 12시간 안에 일부 영업·인사·IT 시스템의 취약점을 찾아 직원 정보와 내부 메시지에 접근했습니다. 고객과 Claude의 대화, 모델 가중치와 소스 코드에는 접근하지 못했으며, Anthropic은 관련 소프트웨어를 비활성화하고 공급업체의 수정 확인 뒤 복구했습니다.

Rust 생태계를 위한 빠르고 안전한 tar 파서

Lobsters

uv 0.13은 기존 구현보다 약 2배 빠르면서 파서 간 해석 차이를 줄이는 tar-codec을 소스 배포판 처리에 기본 적용합니다. 글은 tar 형식별 상태와 확장 규칙, 안전한 추출 구조를 설명하고 호환성과 엄격한 검증 사이의 설계 선택을 다룹니다.

Claude로 신약 개발을 앞당기기 위한 초기 성과

Hacker News

Anthropic은 6개 바이오·제약 조직과 협력하고 자체 신약 연구도 시작해, 분자 설계부터 제조·규제 문서·임상시험 계획까지 Claude를 적용한 사례를 공개했습니다. 실험실에서 확인한 초기 성과와 문서 검토 시간 단축을 보고했지만, 대부분 전임상 단계이며 사람 대상 치료 효과는 아직 확인되지 않았습니다.

퍼저와 AI: JavaScript 엔진에서 Fuzzilli와 BigSleep 비교

Lobsters

Google Project Zero는 V8에서 퍼저 Fuzzilli와 LLM 기반 버그 탐색 시스템 BigSleep의 성과를 비교했습니다. 최근 6개월간 두 도구가 찾은 취약점은 45건과 37건이고, 실제 운영 데이터의 중복은 약 25%였습니다. 과거 버그를 재발견하는 실험에서는 중복률이 60% 안팎으로 나타나 두 접근법을 함께 운영해야 한다고 분석합니다.

미국 정부, 자국민 감시 관련 비밀 법원 판결 공개 미뤄

Hacker News

외국정보감시법(FISA) 702조에 따른 미국인 통신 검색을 두고 법원이 필터 도구의 승인·기록 절차를 문제 삼았지만, 정부는 판결문을 공개하지 않고 있습니다. 와이든과 시프 상원의원은 공개 기한을 넘긴 정부에 11월 6일까지 해명을 요구했습니다.

NIST, 양자내성암호 표준 전환 지침 보고서 발표

Reddit

NIST가 양자컴퓨터에 취약한 암호 알고리즘에서 양자내성암호(PQC) 표준으로 옮겨가기 위한 로드맵인 NISTIR 8547을 발표했습니다. 연방 시스템의 전환 시한과 알고리즘별 조치, 민감한 장기 보관 데이터의 우선순위, 하이브리드 방식과 공급망 점검을 안내합니다.

PHP2Shell 공격 시도와 대응 동향

Hacker News

Wiz는 PHP2Shell 공개 이후 자사 텔레메트리와 허니팟에서 포착한 공격 시도를 분석했습니다. 메모리 고갈까지 이어진 시도는 있었지만 후속 메모리 유출과 코드 실행은 확인하지 못했고, 인터넷 노출 취약 시스템은 감소했습니다.

AMD와 Meta, AI 인프라 협력 확대

Reddit

AMD는 Meta에 Helios 랙 시스템을 설치해 시험 중이며 EPYC CPU와 Instinct GPU, ROCm 소프트웨어를 함께 공급한다고 밝혔습니다. Meta 지분 투자 10억 달러도 발표했지만, Helios의 본격 배치는 향후 계획으로 남아 있습니다.