OpenAI, 수학과 이론 컴퓨터 과학에서 AI가 생성한 10개 진전을 보고
OpenAI는 Astra 모델이 오랜 수학 및 이론 컴퓨터 과학 문제에서 10개의 진전을 만들어냈으며, 검토를 위해 Lean 형식화가 이뤄졌다고 말한다.
OpenAI는 Astra 모델이 오랜 수학 및 이론 컴퓨터 과학 문제에서 10개의 진전을 만들어냈으며, 검토를 위해 Lean 형식화가 이뤄졌다고 말한다.
OpenAI는 10만 명의 학술 연구자에게 ChatGPT와 Codex를 무료로 제공해 2027년까지 과학을 위한 최첨단 AI 도구를 확대한다.
OpenAI가 생물학 워크플로에서 AI 에이전트가 연구 수준의 판단을 내릴 수 있는지 측정하는 유전체 벤치마크 GeneBench-Pro를 공개했다.
OpenAI for Science에 대한 최신 뉴스 및 분석