RecodeX 重构消息,NEAR AI宣布,其Lean智能体以111美元成本解决了全部672道Putnam Bench问题,比次优方案便宜250倍。该方案已开源,任何人都可验证验证器的正确性。
NEAR AI Lean智能体以111美元解决全部672道Putnam难题
AI 辅助判断积极AI 看多仅供信息参考,不构成投资建议
原始信息来源Coinnessx.com
查看原文 ↗RecodeX 重构消息,NEAR AI宣布,其Lean智能体以111美元成本解决了全部672道Putnam Bench问题,比次优方案便宜250倍。该方案已开源,任何人都可验证验证器的正确性。