#Lean 증명 보조기
기사
모델
PSI, 비공개 앤트로픽 모델을 쓴 연구 시스템이 아론슨-암바이니스 추측을 증명했다고 주장…Lean으로 검증됐으나 동료 심사는 아직
스타트업 PSI는 비공개 앤트로픽 모델을 쓴 시스템이 아론슨-암바이니스 추측을 증명하고 Lean으로 검증했다고 주장한다. PSI의 주장이며 동료 심사는 아직이다.
모델
스타트업 PSI는 비공개 앤트로픽 모델을 쓴 시스템이 아론슨-암바이니스 추측을 증명하고 Lean으로 검증했다고 주장한다. PSI의 주장이며 동료 심사는 아직이다.