Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
이 기사가 쓰인 시점에는 규칙 판을 함께 저장하지 않았습니다. 아래는 지금 지키는 규칙이며, 이 기사에 소급 적용된 것은 아닙니다.
요약 3문장 이내 · 수치는 원문 인용만 — 계산·환산·추정 금지 · 제목은 번역하지 않고 원문 그대로 · 주장은 주장으로 — "개선했다"가 아니라 "개선했다고 보고한다" · 없는 날은 없다고 쓴다 · 금지 표현(최초의·혁신적·판도를 바꿀) 배포 전 자동 검사
AI가 무슨 규칙으로 썼는지 독자가 볼 수 있어야 편집 표시도 뜻을 가집니다.
이 기사에는 아직 편집 기록이 쌓이지 않았습니다. 위 1판은 기사가 만들어진 시각으로 미루어 적은 것이고, 첫 편집이 들어오면 실제 판으로 대체됩니다.
사실과 다른 곳을 찾으시면 알려 주세요. 접수된 지적은 개별 회신 없이 정정에 반영되며, 고친 자리는 새 판으로 남아 이 목록에 그대로 쌓입니다.
정정 제보하기 →