오픈AI
오픈AI, 수학·이론컴퓨터과학 10개 연구 성과 공개
아스트라는 8개 분야의 공개 문제 10개에서 새 증명·반례를 제시했다. 오픈AI는 249쪽 논문과 린(Lean) 검증 코드를 함께 공개했다.
태그
기사 2건
아스트라는 8개 분야의 공개 문제 10개에서 새 증명·반례를 제시했다. 오픈AI는 249쪽 논문과 린(Lean) 검증 코드를 함께 공개했다.
오픈AI(OpenAI)가 수학과 이론적 컴퓨터과학의 미해결 문제들에 대한 10개 결과를 공개했다. 오픈AI는 8월 1일 자사 웹사이트에서 기존 주요 결과가 최소 10년간 진전이 없었던 문제들 가운데 성과를…