본문으로 건너뛰기

태그

#theorem-proving

#theorem-proving 태그가 달린 기사

RSS 피드
LLM

OpenAI, First Proof 제출물 공개... 연구급 수학 문제 10개 전부에 proof attempt 제시

OpenAI는 2026년 2월 20일 First Proof의 연구급 수학 문제 10개 전부에 대한 proof attempt를 공개했다고 밝혔다. 회사는 외부 expert feedback 이후 최소 5개 시도가 정답일 가능성이 높다고 보고 있지만, 일부는 아직 검토 중이며 problem 2 시도는 잘못됐다고 판단했다.

2분 소요 31 조회