就在刚刚，NUS研究者呼吁：NeurIPS、ICML、CVPR三大顶会，正在反噬整个AI学术圈！平均每个研究者每年被逼狂发4.5篇论文，已经身心俱疲。总之，顶会模型已经濒临崩溃，是时候踩刹车了！
这阵子玩了不少 AI 应用，感觉大家都在卷一个事，让 AI 更强、更快、更全能。但聊多了会发现，无论模型能力多强，它们大多还像是解决问题的工具，在下一次对话里把你忘得一干二净。
第一财经「新皮层」独家获悉，快手副总裁、大模型负责人张迪将离职，快手高级副总裁、可灵AI事业部负责人兼社区科学线负责人盖坤将兼任可灵AI技术部负责人，「更深地管技术」。
只需要一句话或一张图片，就能生成360度全景3D世界。
有趣，一款仅4B大小的开源模型Jan-v1，居然声称能平替Perplexity Pro。 并且完全免费，支持本地部署。
2025 年，人工智能的叙事已经不再靠“模型突破”来驱动，而是进入了“应用激战区”。 硅谷著名孵化器 Y Combinator 在官网上直言——“2025 年有望成为 AI Agent 之年。”
近年来，AI大模型在数学计算、逻辑推理和代码生成领域的推理能力取得了显著突破。特别是DeepSeek-R1等先进模型的出现，可验证强化学习（RLVR）技术展现出强大的性能提升潜力。
情绪价值这块儿，GPT-5让很多网友大呼失望。 免费用户想念GPT-4o，也只能默默调理了。
形式化定理证明，又有新范式！ 阶跃星辰正式发布并开源了形式化定理证明大模型：StepFun-Prover-Preview-7B和StepFun-Prover-Preview-32B。
当你的手机突然没信号时，电信工程师在做什么？ 想象一下这样的场景：某个周五晚上，你正在用手机追剧，突然网络断了。与此同时，成千上万的用户也遇到了同样的问题。电信运营商的监控中心瞬间被数百个告警信息淹没 —— 基站离线、信号中断、设备故障…
