OpenAI, AI가 도출한 수학 연구 원고 722편과 증명 자료 공개
- OpenAI가 미공개 내부 모델이 도출한 수학 연구 원고 722편을 GitHub에 공개함. 관련 결과와 대안 증명, 후속 논문 등을 372개 결과 묶음으로 구성함
- 모델에 약 4,000개 연구 문제를 제시했으며, 결과 하나에 사용한 평균 연산량은 해당 모델로 ChatGPT Pro가 약 3시간 생각하는 데 쓰는 연산량에 해당함
- 다수의 증명을 Lean으로 형식화해 컴퓨터로 검사할 수 있도록 공개하고, 추가 형식화도 저장소에 반영할 예정임
- 모델의 추론 요약 10건과 연구 과정 정보를 함께 공개하며, 논문을 수정할 때 이전 버전도 보존하고 …
https://news.hada.io/topic?id=34910
OpenAI, AI가 도출한 수학 연구 원고 722편과 증명 자료 공개 - OpenAI가 미공개 내부 모델이 도출한 수학 연구 원고 722편을 GitHub에 공개함.
GeekNews
@GeekNewsHadaGeekNews 공식 텔레그램 채널입니다. GeekNews 에 올라오는 주요 뉴스를 자동으로 전송합니다. 더 많은 뉴스를 위해서는 긱뉴스를 방문해 주세요. https://news.hada.io 긱뉴스 위클리 뉴스레터를 구독하시면 매주 월요일 아침에 이메일로 주요 뉴스를 받아보실수 있습니다. https://news.hada.io/weekly
2,372 مشتركًا
فتح في تيليجرام