把每天的 AI
一杯咖啡读完
大模型 · Agent · 开源 · 前沿技术 · 商业格局
每日 10:30 更新 ／ 每周一发布趋势周报
今 日 速 览
完整版 →
Astra自主推导解决10个开放超十年的难题 / 全部经Lean 4形式化验证 / DeepSeek V4-Flash Agent能力暴涨6倍 / 中国模型包揽OpenRouter全球调用榜前五 / NVIDIA 2500亿担保OpenAI建超算 / Sol自主优化GPU内核
OpenAI Astra 攻克 10 项菲尔兹奖级数学难题，249 页论文全开源
涵盖高维几何/群论/编码理论 / Lean 4验证 / API成本仅$2,000 / 推翻Connes刚性猜想
DeepSeek V4-Flash 正式版 API 公测：后训练优化让 Agent 能力暴涨 6 倍
MoE 284B / DeepSWE 7.3→54.4 / TerminalBench 82.7 / 架构未变纯后训练 / 缓存命中0.2元每百万tokens
中国大模型包揽 OpenRouter 全球调用榜前五，总份额 63.5%
小米MiMo-V2.5 10.5T tokens/周登顶 / DeepSeek×2+腾讯+智谱 / 开源+MoE低成本为核心驱动
英伟达拟为 OpenAI 提供 $2,500 亿融资担保，共建 10GW 超算中心
俄亥俄州 / 全球最大单体AI算力基建 / NVIDIA从芯片商转型为AI基础设施"银行"
OpenAI Sol 模型自主��写 GPU 内核，运营成本降 20%，开启"模型优化模型"时代
Sol自主设计数百实验 / Token效率+15% / Luna降价80% / Fast模式2.5× / 降价形成自我驱动飞轮
求之科技 1 亿美元天使+轮落地，距首轮不到 1 月跻身具身智能独角兽
ORION模型+LOOP数据系统+DISCOVERSE仿真器全栈 / IDG/武岳峰/达晨参投 / 老股东悉数追加
MiniMax H3 全模态生成模型发布：统一音视频理解与生成，将开源权重
文本/图像/视频/声音统一 / 原生双声道 / 15s 2K / 价格同业1/3 / 未来几天开放权重
前 沿 技 术
GitHub 热榜 →
Panniantong/Agent-Reach · 零API费 Agent 全网信息检索 — 64.7K★
Python · CLI / 单命令读取搜索 X、Reddit、YouTube、GitHub、B站、小红书 / 零外部API / 今日+659
GitHub+659 今日64,755 ★
TencentCloud/TencentDB-Agent-Memory · 团队级Agent记忆中枢 — 11.1K★
TypeScript / 四类资产(Chat Memory/Skill/LLM-Wiki/Code-Graph) / 跨Agent框架共享 / 腾讯云官方开源 / 今日+604
GitHub · 腾讯云+604 今日11,111 ★
antirez/ds4 · Redis之父打造DeepSeek V4原生推理引擎 — 20K★
C · Metal/CUDA/ROCm三平台 / V4 Flash & PRO / 联合mitsuhiko (Flask作者) / 今日+139
GitHub · antirez+139 今日20,015 ★
今 日 T R E N D I N G
1zhaoxuya520/reverse-skill+1,14113.6K
2lyogavin/airllm+81925.7K
3Panniantong/Agent-Reach+65964.7K
4TencentCloud/TencentDB-Agent-Memory+60411.1K
5microsoft/AI-For-Beginners+2,62959.1K