面向数学形式化证明：Mistral推Leanstral 1.5低使用成本模型
腾讯混元Hy3正式发布：Agent能力跃升，幻觉率降至5.4%
持续霸榜Github的是一个AI视频剪辑项目
微软GitHub Copilot接入首个开源模型Kimi K2.7 Code
不沉默，就是最好的回应。
Copilot切换按量计费拉动需求，6月GitHub创史上最佳月度业绩
为了看世界杯，球迷把GitHub刷爆了
安全公司警告有黑客在GitHub利用自动安装脚本发起供应链投毒
微软警告称ClaudeCode存在漏洞，可能导致GitHub账号凭证泄露
很多故事值得怀念、思考和假设，但唯独不值得继续。
英伟达Isaac GR00T人形机器人发布：基于宇树H2打造，年底推出
11/10 12:13
11/10 12:11
11/10 12:10
11/10 10:19
11/10 10:18
11/10 10:09
11/10 10:08
京公网安备 11011402013531号