🤖 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的艱難決策