o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码
o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码又一位离职OpenAI的核心研究员发声！ 刚刚被曝加入Meta的Hyung Won Chung，分享了他对AI未来的深刻思考：人工智能正在成为有史以来最强大的杠杆机制。
来自主题: AI资讯
9909 点击 2025-07-18 14:28
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
又一位离职OpenAI的核心研究员发声！ 刚刚被曝加入Meta的Hyung Won Chung，分享了他对AI未来的深刻思考：人工智能正在成为有史以来最强大的杠杆机制。
首个工程自动化任务评估基准DrafterBench，可用于测试大语言模型在土木工程图纸修改任务中的表现。通过模拟真实工程命令，全面考察模型的结构化数据理解、工具调用、指令跟随和批判性推理能力，研究结果发现当前主流大模型虽有一定能力，但整体水平仍不足以满足工程一线需求。
从Cursor到Claude Code和最近很火的Kiro，AI编程能在几秒钟内生成完整的函数，但它真的理解代码在做什么吗？最近两项突破性研究发现了一个让人意外的结果：现在的AI虽然"会写"，但还远没有"真懂"。
imi K2的发布几乎没什么预兆。 2025年7月11日深夜，月之暗面直接开源了这个万亿参数模型，整个AI圈子一下子就热闹起来。模型的能力很强
近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。
本文第一作者操雨康，南洋理工大学MMLab博士后，研究方向是3D/4D重建与生成，人体动作/视频生成，以及图像生成与编辑。
最近几个月，由谷歌和 Meta 前研究人员建立的欧洲的 AI 初创公司 Mistral AI 有些躁动不安。他们将 Le Chat 再一次升级，引入了一些强大的新功能，使其更强大、更直观，也更有趣，在功能上几乎全方位对标 ChatGPT。
就在刚刚，OpenAI最新发布来了，ChatGPT Agent正式对外亮相。这是一个把“想”和“干”统一了的智能体，之前深度研究的思考和分析能力，Operator的操作执行能力，在ChatGPT Agent实现了统一。
RAG（检索增强生成）作为解决大模型"幻觉"和知识时效性问题的关键技术，已成为企业AI应用的主流架构。Contextual AI由RAG技术的创始研究者组建，致力于开发能应对复杂知识密集型任务的专业智能体。
人工智能，引发了全球新一轮的创业浪潮。2025年6月11日，由广东省人工智能产业协会法律专委会主办，隆安湾区人工智能法律研究中心、隆安广州制裁与双反专业委员会、AI合规圈承办了以《「AI出海」加拿大的机遇与风险》为题的专题沙龙。