Mistral AI 发布了 Leanstral，这是首个专为形式化验证工具 Lean 4 设计的开源代码 Agent。 核心突破 它能在生成代码的同时，输出可由 Lean 4 自动校验的形式化证明，
合肥高新区近日发布《打造人工智能OPC创业生态示范区行动计划（征求意见稿）》，推出15条核心举措。 核心举措包括： 全力支持OpenClaw等开源AI项目发展。 旨在打造“AI+超级个体/一人公司（
3月3日，开源AI项目OpenClaw正式开通官方微博账号。 其在首条博文中表示： OpenClaw的目标是让人人都能解锁AI无穷能力。由衷感谢各位开发者与网友的关注，你们的Star和反馈是我们不断
开源AI代理框架OpenClaw近期因代币风波引发广泛关注。项目在更名过程中遭遇账户劫持，诈骗者借机发行了基于Solana的假代币CLAWD，其市值一度飙升至1600万美元，后在创始人否认关联后暴跌超
开源人工智能助手ClawdBot（现名Moltbot）的创始人Peter Steinberger公开否认与任何加密货币项目有关联。此前，诈骗分子盗用其网络身份，推广虚假代币。 事件起因是项目被迫更名。
