TwiScan 인기 커뮤니티 계정 컬렉션
로그인 회원가입

가입 후 초대 링크를 공유하면 동영상 재생 및 초대 보상을 받을 수 있습니다.

지금 가입
Vals AI
@ValsAI
Public LLM Evaluation // @8vc @BloombergBeta @pearvc @a16z @HRTVentures @nextladder
가입 March 2024
277 팔로잉 중    23.1K 팬
Vals AI@ValsAI
2026.09.22 18:50
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
더 보기
0
67
3.4K
247
커뮤니티로 전달