コインスクープNEAR AIの「Lean」エージェント、パトナム数学競技の問題を全問正解 競合比250倍の低コストを実現
NEAR AIが開発したAIエージェント「Lean」が、パトナム数学競技の問題をすべて解くことに成功した。従来の競合技術と比較して250分の1という低コストで高度な定理証明を可能にし、AI研究におけるイノベーションの加速とコスト削減が期待される。
要約は原文をもとに AI が作成しました。投資助言ではありません。
同じ日のほかのニュース
- Liquid Networkから3億ドル相当のビットコインが流出、攻撃者は「ホワイトハット」と主張The Daily Hodl
- ビットコインのサイドチェーン「Liquid Network」で3.2億ドル規模の脆弱性、攻撃者が資金を流出TechFlow 深潮
- Liquid Networkで約3億2000万ドル相当のビットコインが流出ForkLog
- Liquid Networkで3億2000万ドル規模の不正流出、全取引を停止CoinDesk
- Liquid Networkで3.2億ドル相当のBTCが流出、サイドチェーンは稼働停止PANews
- リキッドネットワークで約3億2000万ドル相当のビットコイン流出被害Livecoins
- リキッドネットワーク、約3億2000万ドル相当のビットコイン流出を受け停止NewsBTC
- マイクロストラテジー、年内調達額が209億ドルに達し米株発行体で4位に浮上链捕手 ChainCatcher
- ブロックストリームのLiquidネットワークから約4000 BTCが流出Protos
- Blockstream、Liquid Networkの3.2億ドル規模の脆弱性を修正 資金の引き出しが可能にCrypto Briefing
- Blockstream、ホワイトハッカーに脆弱性修正を通知 4,000 BTCの返還を要請链捕手 ChainCatcher
- コールドカードのハッカー、盗難ビットコインの約半分にあたる770万ドルを移動Decrypt