搜索关键词 数学证明
AI & Enterprise
Google推出文档校验工具Deep Review：错误检出率达89.7%
Google发布AI文档校验工具Deep Review，可对论文和技术文档进行分段并行审核，识别逻辑矛盾与数学错误。Google称，该工具在26篇论文中对29处已确认错误的检出率达到89.7%，并已联合多家顶级学术会议对超过1.6万篇论文展开试运行。
Crypto
“中本聪持有约110万枚BTC”再起争议：链上分析仍无直接证据
围绕“中本聪持有约110万枚BTC”的说法，市场近日再度展开讨论。链上研究显示，比特币早期或存在单一大型矿工，但研究机构认为，2010年3月挖出的600枚BTC的转移并不足以证明其与中本聪有关。现有证据更多只能说明私钥控制权发生过变动，尚不足以作出身份认定。
AI & Enterprise
Cardano创始人Charles Hoskinson：AI数学证明能力进展超预期
Cardano（ADA）创始人Charles Hoskinson表示，AI在复杂数学证明生成及形式化验证方面的进展速度超出预期，并特别关注围绕纳维-斯托克斯方程的相关突破说法。与此同时，他提醒，研究人员若过度依赖集中式云端AI服务，研究数据和知识产权可能面临外泄风险，因此有必要建设私有AI环境。
