标签: OpenAI

为什么人们对Mark Zuckerberg的AI未来不买账

为什么人们对Mark Zuckerberg的AI未来不买账

Meta CEO 马克·扎克伯格本周发表了一篇约 6500 字的宣言,描绘“AI 增强每一个人”的乐观未来,但 TechCrunch 多位编辑与评论人认为,鉴于 Meta 在社交时代“连接世界”的承诺最终演变为信息流广告与情绪化内容,外界对他这套 AI 叙事普遍持怀疑态度。

MathCode,数学编码 Agent

MathCode,数学编码 Agent

MathCode 是一个开源的终端 AI 编程助手,能把自然语言描述的数学问题自动转成 Lean 4 定理并尝试形式化证明,把“AI 解数学题”从猜答案推进到了可验证推理。