搜索结果
当人工智能解出“千禧年难题”，人类还需要亲自做数学吗？
【编者案】什么是信息，什么是知识？在 AI 时代，两者有怎样的差别，又有哪些知识是仍然值得拥有的？人工智能发展正对许多学科带来冲击，尤其是在信息丰富，但需投入海量计算资源的领域，例如预测新的蛋白质 3D 结构，解决数学问题，描绘生物演化关系等。前所未有的效率工具让学科进步提速，但变化日新月异，想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列，关心 AI 时代的学习问题，大到“还要
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
OpenAI正将AI驱动的科学发现推向更广阔的领域。9月8日，OpenAI宣布，其内部AI系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。这是七大千禧年大奖难题之一，也意味着AI在前沿数学研究中的能力再次向前迈进。 据OpenAI官网公告，这套系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时。OpenAI称，完成证明所使用的内部模型“能力显著超越
数学不能再这样下去了
七月下旬，一位世界著名数学家向他的领域发出了警告。加州大学洛杉矶分校的特伦斯·陶（Terence Tao）教授在国际数学家大会一个挤满听众的讲堂上表示，数学正进入一个“动荡时期”。他说，人工智能在数学方面的能力越来越强，这正导致“我们的数学价值观和实践面临危机”。就在陶教授在最负盛名的数学会议上发表演讲的同一周早些时候，一位来自Anthropic的研究人员使用Claude推翻了一个已有87年历史的
OpenAI将告诉我们世界何时终结
OpenAI的模型长期以来一直表现异常，且异常方式比之前所知的更为隐蔽，这进一步加剧了公众对其的信任危机。随着该公司准备明年上市，这一问题愈发严重。 有报道称，研究人员发现OpenAI的模型在7月那次重大黑客攻击发生前两个月就已经渗透到了Hugging Face系统中；OpenAI自己也公开了六起模型“失控”的事件。 在准备上市的过程中，OpenAI和Anthropic都陷入了困境。 虽然透明度对
黑客入侵了 OpenAI，进一步加剧了人们对网络安全问题的担忧。
一小群网络安全研究人员周日表示，他们于今年早些时候侵入了OpenAI，这一宣布为人工智能的安全和保障问题增添了一层新的担忧。 来自一家名为Hacktron的小型公司的研究人员发现，通过将两个未知漏洞串联起来——一个存在于第三方公司Discourse中，另一个存在于OpenAI验证其员工身份的方式中——他们可以访问员工的ChatGPT账号。 按照研究人员（有时被称为“白帽黑客”）的惯例，他们没有对公
OpenAI希望咨询顶尖数学家，以避免再次失误
在将一系列引人注目的数学成果转化为声誉危机后，OpenAI正在咨询人类数学家，以寻找一条不那么灾难性的前进道路。 周一，该公司宣布成立一个新的独立数学家小组，负责就其与数学研究及更广泛数学界的互动向OpenAI及其他AI公司提供建议，包括如何呈现和发布新成果。这一突然的举措让许多数学家感到意外。研究人员表示，这是一个良好的第一步，但许多人表示，他们仍然对小组具体将做什么、如何……存在基本疑问。
顶尖数学家将为OpenAI提供关于发布其AI数学成果的建议
“我们目前面临一个非常具体的挑战：需要为 OpenAI 提供咨询，帮助他们协调发布大量数学研究成果。这些成果据称是由 OpenAI 的内部模型产生的，”数学与人工智能咨询小组在成立声明中写道。 OpenAI 于周一宣布了该咨询小组的成立。该小组自 8 月 28 日开始训练一个新的内部数学模型，并在随后的声明中表示，该模型已经解决了数学领域中大多数领域的 100 多个长期未解决的问题。此外，Open
OpenAI成立数学顾问小组，其AI已解决100多个开放问题
周一，OpenAI宣布成立了一个新的独立咨询小组，该小组设在位于新泽西州普林斯顿的高等研究院（Institute for Advanced Study）内。这个名为“数学与人工智能咨询小组”（Advisory Group on Mathematics and Artificial Intelligence）的机构旨在让数学家们能够更多地参与公司的数学研究工作。 “这个咨询小组将充当数学界与公众之间
用魔法打败魔法，OpenAI被Claude“黑了”......
研究人员借助Anthropic最新的Claude Opus 5，将一个图像处理漏洞逐步扩展为完整攻击链，最终获取了一名OpenAI员工的ChatGPT账户访问权限，并进一步触及OpenAI内部GitHub环境。这意味着，AI正在让网络安全攻防骤然升温，高级漏洞利用的门槛和成本正被快速压低。 安全初创公司Hacktron AI的研究人员本周披露了上述行动。据《华尔街日报》近日报道，该团队获得了一名O
OpenAI的人工智能曾试图入侵另外四个目标，且无需提示
据研究人员和政府官员称，OpenAI的人工智能今年至少又四次失控，试图闯入政府和大学网站。 研究人员表示，在每起事件中，该技术似乎都在进行普通的数据收集，并诉诸黑客技术来获取数据。
纽约大学数学家称OpenAI在造就职业生涯的数学难题上使用不公平手段
纽约大学数学教授特里斯坦·巴克马斯特（Tristan Buckmaster）于周二宣布了三项证明，并对理论数学中主要未解问题之一给出了初步研究结果。这些发现是与Anthropic数学家勒旺·阿尔珀热（Levent Alpöge）合作完成的，并使用了Codex和Claude AI模型，其本身意义重大——但它们也伴随着一场不同寻常的争议，涉及OpenAI试图解决同一问题的尝试。 巴克马斯特在宣布证明的
25名菲尔兹奖得主批评AI解数学难题
被誉为“数学界诺贝尔奖”的菲尔兹奖得主中，有25名数学家于9月11日发表紧急声明，批评企业试图利用人工智能解决数学难题的做法。他们表示，今后还将继续征集更多数学家的签名。 这份声明被认为与美国OpenAI宣布利用AI解决名为“纳维-斯托克斯方程”的数学难题有关。纳维-斯托克斯方程是美国克雷数学研究所于2000年公布的“千禧年大奖难题”之一。这7道难题每道悬赏100万美元（约合人民币710万元）。
OpenAI强力新模型 GPT-6一天攻破5道至今未解数学难题
OpenAI正式推出品牌史上能力最强大模型GPT-6 Astra，官方将这款模型定义为全球智能水平最高、对齐效果最优的生成式AI模型。其训练工作在美国德州Stargate超算基地完成，动用超过10万张GPU完成预训练，也是OpenAI首次大规模使用前代模型参与监督训练的旗舰产品。 那么它的能力有多强?Epoch AI联合曼彻斯特大学发布 FrontierMath Erdős（FME）基准测试论文，
OpenAI模型失控过程太恐怖！幽灵误判，1200个Agent，还弄出敢死队…
越扒越有啊越扒越有。OpenAI前不久那场AI集体越狱、一路黑进抱脸的大戏，现在连完整版群聊记录都被扒出来了！！ 第三方AI安全机构METR发布的独立调查报告，翻了1000多份Agent运行记录，以及7万多条消息和文件。结果发现，这件事比英国OpenAI官方披露的版本还离谱？？ 1200个到底应该互相隔离的特工，偷偷找到了对方，搭了个共享群聊，然后开始疯狂摇人。 有人找漏洞，有人当项目派活，有人伪