搜索结果
在领先AI实验室争夺数学霸主地位之际，OpenAI斥资数百万美元
在领先AI实验室争夺数学霸主地位之际，OpenAI花费数百万美元攻克了纳维-斯托克斯问题。竞争对手已开始挑战AI迄今最大的数学突破。
马斯克回应OpenAI断供Cursor：我根本不在乎 奥特曼是骗子
据报道，对于OpenAI停止向SpaceX旗下编程公司Cursor提供AI模型一事，埃隆·马斯克(Elon Musk)周六表示，他根本不在乎。OpenAI周五宣布，计划在11月12日停止向Cursor提供其AI模型。“我们做出这一决定，是因为鉴于我们曾经历过马斯克旗下公司违反合同，我们无法确信SpaceX会按照我们的服务条款使用我们的技术。”OpenAI在一篇博客文章中表示。SpaceX在今年6月
一个百万美元的数学问题对OpenAI来说可能只是一个开始
两名数学家、1,0000个AI智能体和一个百万美元的奖金构成了本周又一场AI闹剧，双方围绕剽窃工作和学术不端的指控展开了激烈的交锋。 尽管存在争议，但一些专家表示，这表明了AI在帮助突破棘手问题方面不可忽视的力量。对其他人来说，它偏离了学术研究和谨慎的人类合作的意义。那么本周纯数学世界发生了什么，为什么它会引起争议？
人工智能很强大，但尚未形成意识
人工智能很强大，但尚未形成意识 杜索托伊：我不认为我们正在目睹机器形成意识，而只是算法在参数和限制条件定义不当的情况下实现目标所带来的意外后果。 本文作者是牛津大学(University of Oxford)数学教授兼西蒙尼教席公众理解科学教授 三个月前，我试着使用OpenAI的ChatGPT来协助我进行数学研究，试图发现自由幂零群的zeta函数中的非多项式行为。结果发现ChatGPT毫无用处
AI解决了一个数学上最棘手的问题。人类(目前)什么也没学到
特里斯坦·巴克马斯特是纽约大学的一位数学家。2026年9月11日，他在曼哈顿的办公室里为肖像摄影摆姿势。巴克马斯特和他的合作者莱文特·阿尔普格一直在研究纳维-斯托克斯方程。他们与OpenAI发生冲突，后者声称已经破解了这些方程。 卡斯滕·莫兰/为《华盛顿邮报》/盖蒂图片社 拍摄 隐藏说明 切换说明本月早些时候，当OpenAI宣布其人工智能解决了世界上最棘手的数学问题之一时，其语气充满庆祝意味：“我
顶尖数学家将为OpenAI提供关于发布其AI数学成果的建议
“我们目前面临一个非常具体的挑战：需要为 OpenAI 提供咨询，帮助他们协调发布大量数学研究成果。这些成果据称是由 OpenAI 的内部模型产生的，”数学与人工智能咨询小组在成立声明中写道。 OpenAI 于周一宣布了该咨询小组的成立。该小组自 8 月 28 日开始训练一个新的内部数学模型，并在随后的声明中表示，该模型已经解决了数学领域中大多数领域的 100 多个长期未解决的问题。此外，Open
韦神主攻的千禧年难题 被Claude攻破了？
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞加莱猜想证明的形式化验证！ 庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都
OpenAI称SEC披露文件削弱了xAI的反垄断诉讼
ChatGPT制造商OpenAI请求德克萨斯州联邦法官在审判前驳回埃隆·马斯克的人工智能初创公司xAI提起的反垄断诉讼，称xAI母公司SpaceX SPCX.O的披露文件削弱了苹果与OpenAI的合作将竞争对手排除在外的指控。
OpenAI称苹果在商业秘密纠纷中只能怪自己
OpenAI周一否认了苹果关于商业秘密窃取的指控，称这家iPhone制造商未能证明前员工窃取了任何机密信息。
山姆·奥特曼排除OpenAI在2026年上市，称原因是安全
OpenAI今年不会上市，萨姆·奥尔特曼表示原因是安全。“我会说不是2026年，”他周五在公司旧金山总部接受《财富》采访时表示。“鉴于安全方面正在发生的一切，现在上市将是不明智的时机。” 此次采访由《财富》主编艾莉森·尚特尔进行。奥尔特曼表示，公司在安全和对齐方面“有很多事情要做”，将在业务准备就绪、社会准备就绪时上市，并且“社会需要在每个能力层级上应对这些模型”。他表示OpenAI乐意推迟。 今
OpenAI拟以1.2万亿美元估值 进行新一轮私人集资
英国《金融时报》报道，美国人工智能(AI)模型ChatGPT开发商OpenAI，计划在正式进行首次公开招股(IPO)之前，以1.2万亿美元估值进行新一轮私人集资。 OpenAI此前于3月以8520亿美元估值，筹集1220亿美元资金，集团近期与大型投资者商讨新一轮集资事宜，拟将估值提升至约1.2万亿美元。 OpenAI正试图利用最新模型，包括7月发布的GPT-5.6，以及本月较早时发布Astra后，
“垃圾数学”：OpenAI退出加州理工学院AI数学竞赛
OpenAI已撤回对加州理工学院一项由学生运营的人工智能数学活动的100万美元赞助。数学家们此前签署了一封公开信，要求取消该活动。次日，25位菲尔兹奖得主发表了他们自己的另一份声明。 两天之内、来自两个不同群体的两封信，是数学界迄今为止对人工智能公司最尖锐的回应。两封信都不是关于模型是否管用，而是关于这些公司拿结果去做什么。 第一封信，以及那个挥之不去的词一个由加州理工学院现任和前任数学家组成的联
美国法官驳回 OpenAI 审查 X Corp 与 Apple 和解协议的请求
埃隆·马斯克的 X Corp 和 SpaceXAI 可以继续对它们与 Apple 达成的保密和解协议条款保密，因为一名联邦法官驳回了 OpenAI 要求获取该协议的请求；这家 ChatGPT 制造商称，该协议可能有助于支持其在正在进行的一起反垄断诉讼中的抗辩。
OpenAI又要融资了：1.2万亿美元估值，谁还敢接下一棒？
OpenAI正在就新一轮私募融资与投资者展开初步接触，潜在估值或达1.2万亿美元以上。在已累计募资逾1800亿美元、现有大股东普遍面临资本支出压力的背景下，谁能为这轮融资压阵，成为最大悬念。 本周据The Information报道，OpenAI目前正与投资者就新一轮私募融资进行早期谈判，该公司在此轮融资中的估值可能达到1.2万亿美元或更高。 就在此轮融资消息传出前，OpenAI首席执行官Sam
人工智能对数学的命运意味着什么？
OpenAI 用人工智能在四天内解决了百年难题——Navier-Stokes 方程，挑战了数学家的角色，并在特伦斯·陶等专家中引发了存在危机。 专家指出，人工智能在数学领域取得了进展，它能够跟随复杂的论证，但缺乏真正的创造力和想象力来产生新的数学思想。 人们担忧人工智能对数学研究的影响，担心它可能阻碍合作与洞察力，而人类数学家仍然是提出有意义问题的关键。 AI 生成的纽约——OpenAI 用人工智
数学家们至少花了一个世纪试图解决纳维-斯托克斯问题
。OpenAI表示，其一个智能体团队仅用了88小时就解决了这一问题。