Meta归来！时隔一年发布Muse Spark，重回第一梯队

Meta发布Muse Spark模型，这是MSL团队首款模型。此前Llama 4表现不佳，刺激Meta重组。Muse Spark性能超Llama 4，计算效率提升，在测试中成绩优异，Meta AI战略转向闭源探索，模型已上线。

半世纪难题48小时破解！陶哲轩组队把AI数学玩成打怪游戏了

陶哲轩与多名数学家合作，借助多种AI工具，仅用48小时就解决了尘封50年的Erdős问题。此次解题既有“人与人的协作”，也有“人与AI的协作”，这种方式正成新趋势。

Prompt | 人生金句炼金术师

作者分享“人生金句炼金术师”提示词，用其将平凡瞬间转化为哲理金句，如“想减肥没开始”“等红绿灯”等场景。给出不同风格卡片提示词，实测Gemini 2.5 Pro效果更好，还介绍了动态视觉图谱提示词。

阿里发了个简历AI神器，大小仅0.6B

阿里巴巴集团研究团队开发出基于布局感知的简历解析框架，在简历解析任务准确率逼近Claude - 4等顶尖大模型，处理仅需1 - 2秒，直击自动化简历解析痛点，已在阿里HR系统全面部署。

同济出手！国产AI，第一次进攻土木工程

近年来AI应用发展迅速，从「理解数字世界」迈向「改变物理世界」。海光携手同济大学推出全国首个国产千卡工科智算集群，为AI4E时代提供解决方案，助力其从实验室走向工程实践。

拒掉字节、谷歌橄榄枝，Meta 离职大佬田渊栋官宣自立门户！苏妈老黄追着投

Meta离职大佬田渊栋官宣创业，新公司Recursive Superintelligence首轮融资6.5亿美元，估值46.5亿美元。其团队豪华，想跳出大模型竞争老路，让AI具备自我进化能力，计划2026年中期推出自主训练系统。

14000人原地被裁！亚马逊今日：打工人水深，AI机器人火热

10月28日，亚马逊约1.4万名员工收到裁员通知，占全职员工4%，超80%来自零售业务。公司业绩不错仍裁员，是为用AI增效、资源重组，还押注具身智能，或取代超50万蓝领岗位。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

刚刚，奥特曼炮轰达里奥「反人类」！绝密模型同日曝光

OpenAI员工「手滑」暴露模型代号gpt - nathree，引发GPT - 6 Astra将至的猜测。Anthropic也有新模型曝光。同时，奥特曼在播客中认错、怒批行业营销话术，还分享了OpenAI的创业历程。

从大模型到多模态，图文混排Agent彻底起飞~

上周智谱多模态开源周，从GLM 4.6v到Autoglm，其图文并排使用场景很吸睛。上传PDF论文，它能生成图文混排解读文章，效果好。作者逆向原理复刻代码，还分享GLM 4.6V三个有意思的能力。