「科拉茨猜想」共找到 300 篇相关文章
毕业7年，身价破亿！清北AI天团血洗硅谷，奥特曼被逼分天价股份
清北中科等名校毕业生在硅谷成超级明星，谷歌因Meta挖人给员工涨薪，OpenAI为留人给部分员工加薪、送1/3股权。AI人才薪资差距大，国内AI人才也多出身名校，需求和高薪职位增长快。
智能体如何学会「想象」？深度解析世界模型嵌入具身系统的三大技术范式
长期以来具身智能系统缺预测力，世界模型让智能体有了‘想象’未来的能力。中科大等机构团队综述将现有研究划分为模块化、顺序、统一三大架构集成范式，并指出未来研究方向。
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
The Batch：841 | 大语言模型正在纠正历史遗留的不公
美国北加州旧不动产契约含种族歧视条款，虽已非法但人工筛查耗时久。斯坦福和普林斯顿研究团队微调大语言模型识别圣克拉拉县契约中的歧视条款，模型可理解上下文，结果经律师确认，研究成果已开源。
黄仁勋放话：英伟达全员拥抱智能体！
黄仁勋称英伟达全员将配AI助手，未来AI智能体成主流。Meta小扎、微软纳德拉等也认为AI重塑开发者角色。当下AI编程工具掀起革命，虽有局限，但已改变开发周期，企业多已应用。
2026企业级智能体白皮书｜甲子光年智库
随着大模型发展，人工智能从Chatbot转向Agent形态，OpenClaw等开源框架在消费级市场出色，但企业级应用需安全性、稳定性与管控边界。九科信息bit - Agent是企业AI进化“元枢纽”，白皮书为企业决策提供参考。
工业级文本转SQL新思路：成本暴降、超3000列超大数据库依然稳健
华中科大与复旦联合发布AutoLink框架，引入自主智能体，模拟人类工程师工作流。在不输入全量数据库模式下，实现对超大规模数据库模式的高精准链接与筛选，以低Token消耗刷新两大榜单纪录。
烧3万亿美元实现ASI，把自己优化掉：这是硅谷CEO们的新赌注
硅谷大佬热衷预言AI接管公司，皮查伊称CEO工作AI易胜任，奥特曼想让OpenAI由AI掌管。但当下技术连自动售货机都难经营好，科技巨头豪掷3万亿，纳德拉却认为AI难掌管公司。
OpenAI的Atlas，全网都没有提到的产品细节在这
作者本期待Gemini 3，结果体验Google AI Studio产品后觉得拉胯。此时OpenAI发布Atlas，作者体验后细节感满满，将其设为默认浏览器。文中介绍了Atlas负责人履历及诸多用户体验细节，也指出其功能尚不完善。
讯飞刚发的财报：净利润暴涨了202%
科大讯飞2025年第三季度财报亮眼，营收、利润、现金流全面转正，归母净利润同比大增202%。AI大模型技术突破与产业化落地成业绩修复关键，在技术、业务、生态方面成效显著，还将加大研发投入。