01 美团开源大模型上新 美团龙猫团队开源了一个专门做数学定理证明的模型：LongCat-Flash-Prover。  数学定理证明不是算对答案就完事了 ，它要求每一步逻辑都能被严格验证，半点含糊都不行。 ...

这两天刷 AI 新闻，有一种很微妙的反差感。OpenAI 深夜扔出新的图像旗舰 GPT Image 1.5，

OpenClaw（昵称“龙虾”）是一款开源AI智能体工具，上线不久便迅速成长为2026年度现象级“开源奇迹”。不少用户从付费安装“龙虾”，到付费卸载“龙虾”，养“龙虾”正在成为一场智能体的狂欢。...

教育部职业院校信息化教学指导委员会2021-2025) 关于2026年度全国高等职业院校人工智能通识课程应用与创新研究项目评选结果的公示

AI重塑未来，不再是工具，是队友。

新注册开发者100万Tokens免费领取

​AI 硬件创业的新逻辑。

罗志渊公众号：专注价值传播第一号

大厂产品经理的B面人生：如何平衡主业与年入六位数的副业？

哪些东西真的穿越了时间？