Lean
주제 아카이브 • 1 건
AI 생성: 요약은 링크된 출처를 바탕으로 AI가 작성했습니다. AI 활용 방식
2026-10-07
기술
11개의 정사각형의 최적 포장에 대한 AI 지원 증명이 Lean으로 공식 검증을 통과했다. 완료된 EvolvingPrograms 검증 실행은 모든 7,920개의 로컬 Lean 모듈을 수락했으며, 최종 감사에서는 허용 오류가 0건으로 보고되었다.
AI 연구 • Hacker News
퍼머링크
주제 아카이브 • 1 건
AI 생성: 요약은 링크된 출처를 바탕으로 AI가 작성했습니다. AI 활용 방식
11개의 정사각형의 최적 포장에 대한 AI 지원 증명이 Lean으로 공식 검증을 통과했다. 완료된 EvolvingPrograms 검증 실행은 모든 7,920개의 로컬 Lean 모듈을 수락했으며, 최종 감사에서는 허용 오류가 0건으로 보고되었다.
AI 연구 • Hacker News
퍼머링크