数学 - 5iter.com

📅 09-09

摘要：OECD最新PISA数据发现，使用AI辅助学习的学生整体上往往比不使用AI的学生表现更差，但如果把AI使用与“如何评估AI结果”的训练结合起来，情况又会有所不同。 OECD这项题为PISA的研究基于2025年收集的数据，是AI真正走向

硬件数学

📅 09-09

摘要：ChatGPT开发商OpenAI宣称攻克数学界一大难题后，卷入了与一名数学家的公开争执。这名数学家此前正与其头号竞争对手Anthropic的一名研究员开展相关研究。OpenAI于周二宣布，一款尚未对外发布的内部模型求解出了纳维-斯托克

OpenAI Anthropic ChatGPT GPT 算力谷歌数学奥尔特曼

📅 09-09

摘要：纽约大学数学教授Tristan Buckmaster于周二宣布了三项证明，其中一项初步结果指向理论数学领域的一个重大未解问题。他同时指控，OpenAI在其研究尚未公开时就获得了相关进展信息，并借助巨大的计算资源优势抢先发布了完整证明。

OpenAI Anthropic 智能体数学 Codex 流体力学

📅 09-09

摘要：OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题，相关结果已由机器验证。报道还称，该公司动用了约1万个并发自主代理完成推理与形式化验证，但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。公司称已用机器

OpenAI EA GPT 数学

📅 09-06

摘要：索尼近日回应了关于PlayStation实体游戏光盘生产即将“削减90%”的报道，并表示这一说法是对索尼DADC高管言论的误解。据Game直接向索尼数字音频光盘公司 (DADC) 询问后得知，预计2028年实体游戏的光盘产量实际上会下

微软 Xbox PlayStation 索尼数学马里奥手游

📅 09-06

摘要：Claude在黎曼猜想（Riemann Hypothesis）上的相关证明，已被人类数学家彻底验证。这次，数学家Youness Lamzouri宣布Claude的证明结果确凿无误，而且给出了一个更简洁更优雅更强的新证明。论文：htt

OpenAI Anthropic Claude 物理学数学 BERT 量子力学热带雨林

📅 09-06

摘要：原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，我们注意到了

OpenAI Anthropic Google GPT Claude 数学 Transformer 思维链

📅 09-03

摘要：近日重庆开州区汉丰第二小学家长群遭遇冒充老师的诈骗，家长扫码缴费后，发现资金流向米哈游相关主体，当地警方已经接到家长报案。网传截图显示，有人在新生QQ家长群发布通知，假借学校名义，要求家长缴纳课后延时服务费448元、班费200元，合计

分子数学收款米哈游

📅 09-03

摘要：9月2日，OpenAI首席科学家雅库布・帕乔基（Jakub Pachocki）在社交平台发文，就近日围绕新模型Astra“不可监控”的争议作出回应。这场争议源于此前一天，有消息称OpenAI即将发布的Astra模型采用了一种名为循环深

OpenAI Anthropic Google GPT 数学 Transformer 推理模型思维链

📅 09-02

摘要：OpenAI表示，其即将推出的Astra模型能够发现此前未知的软件漏洞，并将其转化为可实施攻击的利用代码，而无需人类逐步引导——这标志着该模型在网络安全能力上跨过了一道门槛，而该能力此前主要属于顶级黑客团队。该公司在周二的一篇博文中

OpenAI GPT Claude 网络安全操作系统数学 GPT-5.6 GPT-5

📅 08-29

摘要：你很可能见过霍伯曼球（Hoberman Sphere）——这种由带关节连接的杆件组成的动态晶格，只需施加一点手动力，就能收缩或展开。受到日本古老折纸艺术和剪纸艺术的启发，美国哈佛大学与日本东京大学的研究团队开发出一系列可展开结构。它

卫星算法航天生物学物理学数学空间站 3D打印