🤖 AI破解80年Erdős难题，具身智能被指AI下一个前沿
⚡ AI破80年难题、程序员依赖反噬、开源引擎数据集、198B模型、机器人、监控、术语、人物
今日 Top 3 头条
- 科技
🤖 AI破解困扰人类80年的著名数学难题Erdős问题
研究团队在arXiv预印本中披露，AI成功破解了困扰数学界80年的Erdős问题。对数学研究者和AI开发者而言，这意味着AI在抽象推理领域取得里程碑式突破，有望加速数学猜想的验证与理论突破。
来源 ↗ - 人工智能
🤖 多数程序员拒绝在没有AI的情况下工作
一项研究显示，AI辅助编程能更快生成代码，但开发者需花费更多时间修复错误，且多数开发者拒绝在没有AI的情况下工作。对开发者而言，这意味着AI辅助已成为不可或缺的工具，但需警惕代码质量与效率的平衡。
来源 ↗ - 开源项目
🤖 Tiny-vLLM：C++/CUDA高性能LLM推理引擎，获60点赞7评论
开发者以Show HN形式在HackerNews发布Tiny-vLLM，这是一个用C++和CUDA实现的高性能LLM推理引擎，获得60个点赞和7条评论。对开发者而言，该项目通过README教授心智模型，便于自主复现和优化LLM推理，是深入…
来源 ↗
+6 条头条
- 🚀 阶跃星辰发布Step 3.7 Flash：198B参数MoE模型，256k上下文
- 🤖 流式处理170万代理轨迹，构建干净ShareGPT SFT数据集
- 🤖 谷歌DeepMind高管：具身智能是AI下一个前沿
- 🤖 Amazon SageMaker AI新增全面可观测性，监控LLM推理从GPU到质量
- 🤖 AI术语词汇表发布，告别假装听懂
- 🤖 OpenAI联合创始人Greg Brockman的艰难决策