「三向纪元」共找到 1517 篇相关文章
刚刚，马斯克Grok 4.1低调发布！通用能力碾压其他一切模型
xAI 低调发布 Grok 4.1 并向所有用户开放，可多平台使用。该模型在真实世界可用性上显著提升，尤其在创造力等方面出色。它在多项评估中表现优异，通用能力领先，情感智能、创意写作佳，还降低了事实幻觉。
102.4 亿 AI 数字人市场下：华为云 × 今日人才如何打造能用且好用的数智员工？
当前多数企业将 AI 作辅助工具，先锋玩家则将其“超级能动性”用于“数智员工”。数智员工应用面临挑战，华为云与今日人才合作打造产品，如政务数智员工，还构建培育体系，推动其从辅助向协同升级。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。
GPT-6突破「素数间隔」纪录！这次是加入OpenAI的北大数院07级校友
OpenAI总裁宣布进入AGI时代，GPT - 6 Astra虽仅向少量组织开放，但引发大量讨论。北大数院校友苏炜杰宣布其将素数间隔上界从246推进至186，完成Lean验证。多家机构围绕此问题研究，AI或成数学研究伙伴。
3亿用户的豆包，能做成办公生意吗？｜甲子光年
6月24日，豆包专业版上线，三档定价68元到500元，搭配新模型等功能。它从C端聊天产品转向办公工具，但面临用户心智难改、价格较高等问题，其推出也将影响行业格局，加速C端AI产品免费时代终结。
开源音视频同步SOTA基座：极简的单流架构，2秒出片
AI视频生成迈入音视频同步新纪元，闭源巨头已展实力，而上海创智学院与Sand.ai联合发布的开源音视频生成基础模型daVinci - MagiHuman，以极简单流架构，2秒就能在1张H100显卡上生成精准音视频同步画面。
国庆这8天，我发现和AI辩论才是最高效的学习方式。
作者国庆假期与AI辩论，以自身关于AI时代信息筛选的观点为例，阐述和AI辩论是高效学习方式。先提出观点，后与AI多轮交锋，过程虽痛苦但能促使人思考、完善观点，还给出与AI辩论三步法。
6.1B打平40B Dense模型，蚂蚁开源最新MoE模型Ling-flash-2.0
蚂蚁百灵大模型团队开源 MoE 大模型 Ling-flash-2.0，其以轻量级配置展现卓越性能，在推理速度、任务性能、部署成本间找到新平衡，为大模型‘参数膨胀’提供新路径，还在多领域应用表现出色。
Python 2还能走多远？
自2020年Python 2停止维护，虽仍有项目在用，但企业和社区都在向Python 3迈进。文章介绍了Python 2的发展历程、存在的问题，阐述Python 3的优势，并给出了从Python 2切换到Python 3的方法。
全球95%企业AI惨败？MIT报告引硅谷恐慌！90%员工偷用ChatGPT续命
MIT报告《The GenAI Divide: State of AI in Business 2025》指出，95%企业AI试点项目失败，但90%员工用ChatGPT等个人AI工具办公。消费级工具因灵活易用胜企业级，企业应向员工学习，与供应商合作。摩根士丹利报告称AI可为企业省成本。