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
コミュニティへ転送