Gemini 에이전트가 Lean에서 6M줄이 넘는 증명을 생성하고 코드를 감사하여 인간 전문가는 핵심적인 1%만 검토하면 되도록 했습니다.
이는 일상 통신부터 전력망까지 우리 모두가 의존하는 중요 인프라를 검증하는 데 AI를 활용하기 위한 중요한 단계입니다. 자세히 알아보기 → https://goo.gle/4BLrkbk
Gemini 에이전트가 Lean에서 6M줄이 넘는 증명을 생성하고 코드를 감사하여 인간 전문가는 핵심적인 1%만 검토하면 되도록 했습니다.
Gemini 에이전트가 Lean에서 6M줄이 넘는 증명을 생성하고 코드를 감사하여 인간 전문가는 핵심적인 1%만 검토하면 되도록 했습니다.
Google DeepMind · X
내용 안내
원문 발행 및 권리는 출처에 있습니다.
기계 번역 · 원문을 참고하세요