Audit
주제 아카이브 • 3 건
AI 생성: 요약은 링크된 출처를 바탕으로 AI가 작성했습니다. AI 활용 방식
2026-10-16
기술
Anthropic은 비영리 단체 METR의 팀에게 자사 AI 모델과 안전 관행을 검토할 수 있는 내부 접근 권한을 부여했습니다. 이 조치는 Anthropic이 AI 개발에 대한 외부 감독을 제공하려는 지속적인 노력의 일부입니다.
AI 안전 • The Decoder
퍼머링크
2026-10-05
팁
생산성
코딩 에이전트가 LLM에 보내는 컨텍스트를 감사하여 필요한 정보만 포함되도록 하고, 효율성과 개인정보 보호를 개선하십시오.
퍼머링크
2026-10-07
기술
11개의 정사각형의 최적 포장에 대한 AI 지원 증명이 Lean으로 공식 검증을 통과했다. 완료된 EvolvingPrograms 검증 실행은 모든 7,920개의 로컬 Lean 모듈을 수락했으며, 최종 감사에서는 허용 오류가 0건으로 보고되었다.
AI 연구 • Hacker News
퍼머링크