数学 - 5iter.com

📅 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打印空间站