#security-auditing와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
AI 에이전트로 6개월간 LSP 서버와 95개의 Lean 증명을 구축해 자금 탈취가 가능한 고위험 취약점을 발견했다.