今日要闻
生成时间：2025-07-11 08:10:17
AI 推荐要点
**xAI发布Grok 4及Grok 4 Heavy**（来源：AINews）
2.4万亿参数模型在多个基准测试创纪录，高端版定价300美元/月。
**Mistral发布Devstral 2507模型**（来源：AINews）
24B参数代码模型在SWE-bench超越GPT-4.1-mini，专为软件工程优化。
**微软发布Phi-4-mini-flash-reasoning**（来源：AINews）
3.8B参数数学推理模型采用创新架构，推理吞吐量提升10倍。
**Perplexity推出Comet浏览器**（来源：AINews）
基于Chromium的AI浏览器支持多模态搜索，初期仅限Max订阅用户。
**METR研究显示AI编程助手可能降低效率**（来源：AINews）
实验发现AI助手使资深开发者在复杂任务上速度变慢。
**microsoft/MoGe**（来源：GitHub Trending）
微软单目3D几何估计模型，支持公制尺度重建，推理速度60ms/帧。
**ed-donner/llm_engineering**（来源：GitHub Trending）
8周LLM工程实践课程，涵盖本地部署到构建自主AI代理系统。
**AI编程工具未必高效：可能降低生产力**（来源：Hacker News）
随机对照试验显示AI助手对资深开发者效率产生负面影响。
**Show HN: Cactus – 智能手机版 Ollama**（来源：Hacker News）
跨平台框架支持手机本地运行LLM/VLM模型，完全开源注重隐私。
**飞书发布AI应用成熟度模型**（来源：36Kr）
定义AI落地应用标准，推出Aily企业版Agent和智能会议纪要功能。