扫地僧的传说，止于藏经阁那一战，藏经阁外，才是真的江湖
先人后事，哈萨比斯站在了奥尔特曼的对立面。
硅谷新贵，窄路逆袭
刚刚，DeepSeek大升级，V4真的不远了｜附体验细节
从这个意义上说，数学并不仅仅是人工智能的“前置课程”，也不只是若干公式与推导过程，而是一种拆解复杂问题、清晰表达诉求并落地为工程方案的基本能力。 本书系统梳理以深度学习和大模型为代表的新一代人工智能技术所需要…
谷歌Gemma 4开源，31B参数性能逼近头部开源模型
迟来的背水一战
数学家惊了！ChatGPT首次原创独立证明数学假设
中文大模型测评出炉：豆包跻身全球第一梯队 小米MiMo上榜
从华为实习生到90后实验室主任
智东西3月25日消息，昨日，美团龙猫（LongCat）团队发布专门了用于数学形式化与定理证明模型LongCat-Flash-Prover的背后技术栈。 从自动形式化、草稿生成到最终的形式化证明，LongCa…
AI把顶尖科学家的个人科研效率，实打实地提升了10倍以上。
04/01 16:41
01/20 14:04
01/20 13:53
京公网安备 11011402013531号