已开源！
推荐理由本文涵盖「CEO」、「AI Agent」、「Lean」等多个主题，重点关注 CEO。
Claude把debug玩成了扫雷硬解
推荐理由本文涵盖「Claude」、「形式化验证」、「Anthropic」等多个主题，重点关注 Claude。
证明30年Ghys猜想
推荐理由本文涵盖「大模型」、「基础模型」、「形式化验证」等多个主题，重点关注 大模型。
这次合作，CertiK将为央行提供代码安全评估、形式化验证，并在反洗钱、数字资产托管、服务商许可以及链上实时监管等领域提供支持。12月的试点能否在独立安全评估的支持下落地，是检验这次合作实际成效的关键。
推荐理由本文涵盖「CertiK」、「形式化验证」、「反洗钱」等多个主题，重点关注 CertiK。
CertiK与吉尔吉斯斯坦中央银行签署谅解备忘录，正式建立长期战略合作伙伴关系，推进双方在数字索姆安全及数字资产监管领域的合作。
推荐理由本文涵盖「CertiK」、「数字资产」、「区块链」等多个主题，重点关注 CertiK。
数学难题拿下后，下一个是室温超导？ OpenAI 用 大约 1 万个 agent 持续跑了 88 小时 ，然后给纳维-斯托克斯方程交了一份证明，还附上了 Lean 形式化验证。一共花了数百万美元的算力。…
推荐理由本文涵盖「OpenAI」、「纳维-斯托克斯方程」、「Lean」等多个主题，重点关注 OpenAI。