CoinScoopNEAR AI 推出 Lean 代理，解決所有普特南數學競賽題，成本僅 111 美元
NEAR AI 取得重大技術突破，其 Lean 代理成功解決所有普特南數學競賽(Putnam)題目，且成本比競爭對手便宜 250 倍。此進展將有助於普及先進定理證明技術，並大幅降低人工智慧研究的創新成本。
並非投資建議。
同一天的其他新聞
- 駭客從 Liquid Network 提走 3 億美元比特幣，聲稱是「友善攻擊」The Daily Hodl
- 比特幣側鏈 Liquid Network 遭 3.2 億美元漏洞攻擊，駭客自稱「白帽」TechFlow 深潮
- Liquid Network 遭駭客竊取 4,000 枚比特幣，駭客聲稱將歸還大部分資金ForkLog
- 比特幣結算層 Liquid Network 遭駭，損失 3.2 億美元CoinDesk
- Liquid Network 遭「白帽」駭客盜取 3.2 億美元比特幣，側鏈已暫停運行PANews
- Liquid Network 遭攻擊，約 4,000 枚比特幣受影響Livecoins
- Liquid Network 遭駭損失 3.2 億美元比特幣後暫停運作NewsBTC
- 微策略（MicroStrategy）年內融資 209 億美元，BTC 持倉增至 84.5 萬枚链捕手 ChainCatcher
- Blockstream Liquid 網路遭駭，約 4,000 枚 BTC 遭竊Protos
- Blockstream 確認 Liquid Network 漏洞已修復，用戶可安全取回資金Crypto Briefing
- Blockstream 通知白帽駭客漏洞已修復，可安全歸還 4,000 枚比特幣链捕手 ChainCatcher
- Coldcard 駭客轉移 770 萬美元比特幣，已清空近半數贓款Decrypt