程序 · 杂谈

星尘智能很高兴正式发布 AI 机器人助理—— Astribot S1 我们精心打磨了 S1 背后的技术与产品细节，希望它为你而生，为你而智（Naturally Yours）。

在过去的一年里，我们非常关注大模型的推理能力的提升，尤其关注其在数学相关的任务上的表现。今天，我们非常高兴地介绍 Qwen2 开源家族的新成员——Qwen2-Math-1.5B/7B/72B 系列。

仅用一天时间重制的经典 Macintosh 应用——Stapler。这款应用最初发布于1992年，现在由一位充满激情的开发者重新打造。

谷歌版Her，抢先OpenAI登场？谷歌语音模型Gemini Live，即将在全球30亿安卓和22亿iOS设备中上线。虽然现场演示依旧小翻车，但谷歌下定决心不等了，一心截胡OpenAI，还要对打苹果。

DeepSeek-Prover-V1 展示了大模型在数学定理证明领域的潜力，通过将数学问题转换为 Lean 编程语言，帮助数学家严格验证证明正确性。 今天，DeepSeek 开源 Prover-V1.