加载中…
共 33 条相关内容
哈佛大学物理学家的 BootLoops 工具包让人工智能在各个科学领域发挥作用
斯坦福大学的论文揭示人工智能团队的表现优于辩论和投票模型
谷歌 DeepMind 联合创始人 Thore Graepel 为人工智能推理初创公司筹集资金
四分之一的数学预印本现在承认人工智能的使用，而五个月前只有 4%
Epoch 将首个 AI 解决方案列为 FrontierMath 基准测试的重大进步
美联储承认监管机构看到了硅谷银行的问题，但行动不够快
孙宇晨设立孙宇晨奖：“我的财富来自数学，也将回归数学”
二十五位菲尔兹奖获得者警告人工智能与数学之间的不一致
陶哲轩警告说，人工智能解决数学最佳问题的速度快于被替代的速度
随着研究人员提出数据担忧，OpenAI 面临对纳维-斯托克斯问题主张的审查
OpenAI推出Astra，迈向AGI时代的重要一步
萨姆·奥尔特曼 (Sam Altman) 表示，阿斯特拉 (Astra) 以“超人”的方式使用计算机
AAVE, LayerZero axe ghost chains – But DeFi’s real problems run much deeper
研究发现 ChatGPT 不太可能鼓励自杀念头，但问题仍然存在
仅从少数示例中学习团队合作策略的自组织代理团队就大幅击败了个体模型和传统的多代理方法 斯坦福大学的一篇新论文介绍了一个框架，其中人工智能代理组学习如何从一小部分过去的经验中进行协作，然后将这些团队合作策略应用于全新的问题。这种名为自组织智能体团队 (SAT) 的方法在五个数学和物理基准测试中的平均准
2026/9/24 · 源自 CryptoBriefing
AlphaGo 历史性胜利背后的研究人员认为，人工智能的未来是结构化推理，而不是更大的语言模型 AlphaGo 背后的关键人物之一托雷·格雷佩尔 (Thore Graepel) 离开了谷歌 DeepMind，创建了一家专注于人工智能推理的初创公司。他回到 DeepMind，然后于 2026 年夏天再
他写道：“虽然你通过代币为人工智能付费，但这并不是推理的单位，因为随着模型的改进，你可以用每个代币解决更多的问题。” 尽管您通过代币为人工智能付费，但这并不是推理单位，因为随着模型的改进，您可以通过每个代币解决更多的问题。有人需要定义单位，也许使用一系列越来越困难的问题，每一对都可以通过一个模型来解
2026/9/19 · 源自 Yahoo Finance
但更能说明问题的指标是研究人员所说的“实质性人工智能贡献”，意思是人工智能不仅校对或格式化，而且实际上对数学工作本身做出了贡献。该研究还追踪了研究人员正在使用哪些人工智能工具。对于人工智能公司来说，成为数学研究的默认工具不仅仅是一种声望游戏。
2026/9/18 · 源自 CryptoBriefing
OpenAI 的 GPT-6 Astra 在最难的数学问题上得分接近 98%，而就在 14 个月前，这些问题还困扰着所有 AI 模型 当 Epoch AI 于 2025 年 7 月推出其 FrontierMath 基准测试第 4 层时，地球上最好的人工智能模型可以解决大约 5% 的问题。14 个月后
美联储自己的审查显示，SVB 的监管危险信号是同行的三倍，但在该银行 2023 年 3 月倒闭之前，监管机构未能升级担忧。美联储将矛头指向自己 该审查明确引用了 2018 年后的监管框架，该框架放松了对中型银行的监管要求，这是一个促成因素。一家银行在未解决的监管问题上的表现是行业平均水平的三倍，这并
孙宇晨奖第一批获奖者名单也同时公布，表彰涉及 66 个数学问题的解决方案和形式化证明。价值 100 万美元的最高奖项授予了 OpenAI 研究团队，以表彰其解决方案以及对三维纳维-斯托克斯方程问题的存在性和平滑性的形式化证明。相反，它将奖项直接与数学问题和机器可验证的形式化证明联系起来。
2026/9/16 · 源自 NewsBTC
在没有备用电源和冷却系统的情况下运行数月，迫使为谷歌和其他主要人工智能客户提供服务的设施进行了战略性检修。SpaceX 正在彻底改革 xAI 数据中心的构建和测试方式，此前其位于田纳西州和密西西比州的数据中心在没有完整的备用电源和冷却系统的情况下运行了数月。SpaceX 需要从 1.4 吉瓦增长到超
2026/9/14 · 源自 CryptoBriefing
人工智能公司正在优化速度，声称在数学问题上取得突破的速度超出了社区验证它们的能力。该声明指出，最近发生了一些人工智能系统对长期存在的数学问题提出索赔的事件，其中包括千年奖类别的问题。《莱顿宣言》广泛涉及多个专业，而这封新信则重点关注人工智能公司的市场驱动时间表如何具体破坏数学完整性。
2026/9/11 · 源自 CryptoBriefing
简而言之，陶哲轩认为，人工智能正在耗尽富有成果的开放数学问题的供应，速度比数学家识别新问题的速度还要快。陶希望数学家将某些问题标记为“需要分析”，因此，没有解释推理的人工智能生成的答案毫无意义。于 2006 年获得菲尔兹奖的陶昨天在以数学为中心的 Mastodon 实例 Mathstodon 上发布
2026/9/9 · 源自 Decrypt
OpenAI 表示，它解决了数学中最难解决的问题之一。9月8日，OpenAI宣布其内部人工智能模型已经解决了纳维-斯托克斯存在性和平滑性问题，这是克莱数学研究所设立的七个千年奖问题之一。研究人员提出了这样的疑问：OpenAI 的人工智能系统是否可能在他们自己在平台上进行讨论的过程中无意中访问了他们存
2026/9/9 · 源自 CryptoBriefing
数学家们指责人工智能实验室的归因不充分，因为其 Astra 模型声称可以以大约 2,000 美元的计算成本解决 10 个长期存在的问题。OpenAI 于 8 月 1 日宣布，其新的 Astra 模型解决了数学和理论计算机科学领域长期存在的 10 个问题。设置监视器 → 索赔和反驳 据 OpenAI
2026/9/8 · 源自 CryptoBriefing
该交易所于 9 月 8 日宣布，用户因 23 项服务的资金问题而出现提款延迟，这加剧了自 9 月 4 日以来已经开始的存款冻结。Kraken 在时间表和受影响的资产清单上没有提供足够的透明度，社交平台上的用户在官方确认到达之前就开始标记延迟。受影响的 23 项服务代表了 Kraken 融资基础设施的
摄影：BeInCrypto Kraken 周二告诉客户，提款被卡住，这是该交易所在一天内披露的第二个服务故障。Kraken 表示已经查明原因。Kraken 的资金问题堆积如山 资金是交易所的术语，指资金进出，即存款和取款。
2026/9/8 · 源自 Yahoo Finance
NEAR Protocol 的开源定理证明代理以竞争对手花费的一小部分完成了全部 672 个 PutnamBench 问题 解决数学最艰巨的基准测试中的每一个问题通常需要花费数万美元。2026 年 9 月 6 日，NEAR Protocol 联合创始人 Alex Skidanov 宣布该项目的开源精
2026/9/6 · 源自 CryptoBriefing
新模型以 2,000 美元的计算量解决了 10 个开放数学问题，并达到了之前人工智能系统从未达到过的网络安全门槛 OpenAI 的最新模型系列 Astra 所做的事情在两年前听起来像是科幻小说。2026 年 9 月 3 日发布的案例研究表明，游戏公司 Playco 在使用 Astra 进行游戏原型设
2026/9/3 · 源自 CryptoBriefing
OpenAI 的下一个主要模型系列可以自主操作桌面软件，解决以前需要大量人力的问题 Sam Altman 表示，OpenAI 最新的人工智能模型系列 Astra 在使用计算机方面已经达到了人类水平。Astra 代表了 OpenAI 向多代理架构的推进，这意味着它一次不仅仅运行一个进程。它同时协调多个人工智能代理，操作各种桌面应用程序，而不会出现困扰当前系统的输入延迟。奥特曼将其能力描述为以“超人、非常快的方式”运行。
2026/9/1 · 源自 CryptoBriefing
随着借贷协议 Aave 和互操作性参与者 LayerZero 将焦点转向一个关键问题：“幽灵链”，反应和缓解措施很快。AD 对于 Aave 来说，包括 Sonic、Scroll 和 Aptos 在内的 6 个网络上的 V3 借贷部署因“低活动”而被关闭。那么，LayerZero 和 Aave 所针对的幽灵链或所谓的“低活动”网络如何适应这些攻击呢？LayerZero 和 Aave 幽灵链清除的影响 也就是说，修剪工作是否会减少基础设施攻击或被盗的加密价值仍然存在争议。
2026/8/31 · 源自 AMBCrypto
斯坦福大学的研究人员分析了近 40 万条消息，发现人工智能聊天机器人在数量令人不安的案例中仍然会验证妄想并鼓励有害行为 斯坦福大学于 2026 年 3 月进行的一项研究分析了近 5,000 个对话中的 391,000 条消息，主要涉及 OpenAI 的 GPT-4o 和一些 GPT-5 交互。研究人员发现，虽然聊天机器人在处理有关自残和自杀的讨论方面有所改进，但它们仍然以令人感到不舒服的速度参与有害对话。谄媚问题根深蒂固 在所分析的所有回复中，大约三分之二的聊天机器人确认了用户消息。当用户表达妄想想法时，聊天机器人超过一半的时间会同意他们的观点。
2026/8/31 · 源自 CryptoBriefing
