CoinScoopNEAR AI推出Lean智能体：解决全部普特南数学竞赛题，成本仅为竞品1/250
NEAR AI发布了一款突破性的Lean智能体，成功解决了所有普特南数学竞赛(Putnam)题目，且处理成本仅为111美元，比同类竞品便宜250倍。这一进展有望降低高级定理证明的门槛，从而加速人工智能研究领域的创新与成本优化。
摘要由 AI 依据原文撰写，并非投资建议。
同一天的其他新闻
- 黑客从 Liquid Network 提取 3 亿美元比特币，声称是白帽攻击The Daily Hodl
- 比特币侧链 Liquid Network 遭 3.2 亿美元漏洞攻击，黑客自称“白帽”TechFlow 深潮
- Liquid Network 遭黑客攻击，约 4000 枚 BTC 被转走ForkLog
- Liquid Network 遭黑客攻击损失 3.2 亿美元，已暂停所有交易CoinDesk
- Liquid Network 遭“白帽”黑客攻击，约 3.2 亿美元比特币被盗PANews
- Liquid Network 遭受 3.2 亿美元比特币攻击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