摘要：原文链接：https://mp.weixin.qq.com/s/P26zhHzmuqe0M2TDTLRlvg 星尘智能很高兴正式发布 AI 机器人助理—— Astribot S1 我们精心打磨了 S1 背后的技术与产品细节， 希望它为你而生，为你而智（Naturally Yours）。 星尘智能 S 阅读全文

摘要：原文链接：https://qwenlm.github.io/zh/blog/qwen2-math/ 友情链接 Github：https://github.com/QwenLM/Qwen2-Math Hugging Face：https://huggingface.co/Qwen ModelScope 阅读全文

摘要：导读：在这个快节奏的技术世界里，重温过去并从中汲取灵感总是一件有趣的事情。今天要介绍的是一款仅用一天时间重制的经典 Macintosh 应用——Stapler。这款应用最初发布于1992年，现在由一位充满激情的开发者重新打造，不仅保留了原汁原味的功能，还加入了现代化的改进和特性，使其更适合现代 ma 阅读全文

摘要：【导读】谷歌版Her，抢先OpenAI登场了？谷歌语音模型Gemini Live，即将在全球30亿安卓和22亿iOS设备中上线。虽然现场演示依旧小翻车了一下，但谷歌下定决心不等了，一心截胡OpenAI，还要对打苹果！ OpenAI，刚被截胡了？ 紧追着OpenAI的「Her」，谷歌也正式官宣：发布A 阅读全文

摘要：DeepSeek-Prover-V1 展示了大模型在数学定理证明领域的潜力，通过将数学问题转换为 Lean 编程语言，帮助数学家严格验证证明正确性。 今天，DeepSeek 开源 Prover-V1.5 版本，引入了类似 AlphaGo 的强化学习系统，模型通过自我迭代和 Lean 证明器监督，构建 阅读全文