최신 보도, 해설 및 관련 기술 스토리를 확인하세요.
OpenAI가 수백 개의 수학적 증명을 공개했지만, AGMAI 그룹의 원칙 검토와 케임브리지대학교 및 킹스 칼리지 런던 연구자들의 연구에서 문서화, 인간의 이해, 텍스트 설명과 Lean 코드 간 일치성의 부족이 드러났다.