搜索「数学证明」，找到 20 条相关内容
-
OpenAI被曝逼近霍奇猜想，数学自动化或成下一个爆点
消息显示，OpenAI内部预计霍奇猜想有望在较短时间内获证，此前纳维-斯托克斯方程证明耗资或达数百万美元。公司正权衡成果发布方式，避免与数学界再生摩擦，同时押注数学成为大模型攻克的下一个领域。
-
谷歌发布Gemini 3.8 Live与扩展思考版，AI助手竞赛再升温
谷歌推出Gemini 3.8 Live及扩展思考版，前者强化实时交互，后者提升复杂推理能力，加剧与微软、OpenAI等对手的竞争。
-
OpenAI借自家大模型探索芯片设计新路径
OpenAI利用自研大语言模型参与芯片设计，尝试将AI能力从软件延伸至硬件领域，以辣椒芯片为试验案例。此举或为芯片设计自动化提供新思路，并可能影响其与微软等伙伴的算力合作格局。
-
AI与数学之争：前OpenAI高管回应陶哲轩观点
针对陶哲轩关于AI可能破坏数学研究的担忧，前OpenAI后训练VP提出不同看法，认为AI对数学的影响可能被低估。双方观点折射出AI在基础科学领域角色定位的深层分歧。
-
数学界与AI的裂痕：菲尔兹奖得主联名抗议OpenAI退出赞助
25位菲尔兹奖得主联名抗议，OpenAI退出赞助，数学界对AI的担忧加剧。事件凸显AI与学术界的紧张关系，可能影响未来合作与研究方向。
-
菲尔兹奖得主联名质疑OpenAI千禧难题，微软平台卷入讨论
25位菲尔兹奖得主联合对OpenAI在千禧年难题上的宣称提出质疑，事件在微软旗下平台持续发酵。数学界与AI界就AI能否解决顶级数学问题展开争论，凸显AI在基础科学领域的可信度挑战。
-
OpenAI宣称攻克千禧年数学难题，学界为何质疑声四起
OpenAI宣布在千禧年数学难题上取得突破，引发广泛关注与争议。争议焦点集中在证明的严谨性、AI在数学发现中的角色以及成果的可验证性。学界呼吁审慎对待，等待同行评议。
-
千禧年数学难题证明引争议：AI训练数据边界遭拷问
OpenAI宣称其内部模型攻克纳维-斯托克斯方程，却因训练数据来源与学术伦理问题引发全球争议。纽约大学教授指控其私人交互数据可能被用于模型迭代，暴露前沿AI实验室的"数据枯竭"困境与科研知识产权危机。
-
千禧难题突破陷署名与训练数据争议，AI科研协作边界待厘清
OpenAI宣称在纳维-斯托克斯问题上取得进展，却因训练数据来源、论文署名安排与合作数学家产生分歧。争议折射出大模型时代学术成果归属与科研伦理的新挑战。
-
OpenAI内部模型挑战千禧年难题，Meta发布个人智能体Muse
OpenAI透露其内部模型在千禧年大奖难题上取得进展，Meta推出首款个人智能体Muse，两大AI动态引发行业关注，或推动基础研究与个人应用加速演进。