최신 보도, 해설 및 관련 기술 스토리를 확인하세요.
Physical Superintelligence는 고급 AI 모델을 사용하여 "아론슨-암바인스 추측(Aaronson-Ambainis conjecture)"을 해결하는 데 성공했으며, 이는 이론적 과학 발견에 기계를 활용하는 새로운 지평을 열었습니다.
OpenAI는 일반에 공개되지 않은 내부 모델이 생성한 수학 연구 722편을 포함한 컬렉션을 GitHub에 공개했으며, 372개 문제군에 걸친 결과를 담고 있다. 회사는 연구들이 서로 다른 검증 단계에 있으며, 일부만 Lean을 사용해 검증되었다고 밝혔다.