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

（备注该文是我口述，由AI帮忙润色，基本呈现我口述的逻辑）2024年直播的时候，我一直尝试对2025年AI发展

他就这样甘心站在幕后吗？

AI海啸来了

2025年12月22日，冬至。 对于快手大楼里的很多员工来说，这本该是一个甚至可以稍微早点下班的夜晚。但晚上10点，警报拉响，这栋大楼瞬间变成了一座高压锅。 接下来的90分钟，是很多技术人和运营...

据微信派消息，电脑版微信迎来多项实用新功能更新，用户升级至最新版电脑端微信（4.1.8）后，即可体验语音输入、一键撤回所有消息以及视频倍速播放功能，进一步提升办公与聊天效率。   1 讲两...

谁还瞎用Gemini3 Pro啊?x0a这份从入门到精通的手册直接封神！x0a x0a谷歌的Gemini3 Pro也太猛了：会“深思熟虑”（推理前先理清逻辑）、能当全能选手（读图文/听音频/剪视频）、甚至能当智能管...

第二款大厂出品的生活服务类AI原生应用来了！

这可能是一个Opus级别的下一代旗舰基础模型。

迎战Claude 5，免费用户也能用，奥特曼直呼爱了