‹ 返回数学模型

数学模型

陶哲轩
2026-09-19 07:25:58

陶哲轩代表 SAIR Foundation 启动开放数学模型计划

著名数学家陶哲轩代表 SAIR Foundation 宣布,"开放数学模型计划"已正式启动。该计划希望让开放模型与可负担的算力,成为数学研究的共享基石。SAIR Foundation 是一家聚焦人工智能与科学研究交叉领域的非营利组织。

170
陶哲轩代表 SAIR Foundation 启动开放数学模型计划
OpenAI
2026-09-18 01:17:11

奥特曼披露 OpenAI「后Astra」模型,称其可解顶尖数学家未解难题

OpenAI CEO 萨姆·奥特曼在与 Salesforce CEO Marc Benioff 对谈时披露,GPT-5.5 已接近普通数学教授水平,GPT-5.6 可比肩全球前 1% 至 2% 的顶尖数学教授,而代号 Astra 之后的内部模型已能解决世界顶尖数学家仍无法攻克的难题。与此同时,OpenAI 总裁 Greg Brockman 表示,公司在另一道「千禧年大奖难题」上也取得重大进展。理论计算机科学家 Scott Aaronson 则在最新长文中称,「AI 奇点已经到来」。

360
奥特曼披露 OpenAI「后Astra」模型,称其可解顶尖数学家未解难题
Uniswap
2026-09-14 03:03:07

Uniswap 推出 StablePair Hook,直指 Curve 稳定币交易腹地

Uniswap Labs 于 9 月 10 日上线 StablePair Hook,首批部署在以太坊主网的 USDC/USDG 和 USDC/USDT 池子。这是 Uniswap v4 第三个官方 Hook,也是首个可升级的动态费率 Hook,核心是用随价格偏移实时变化的费率取代固定手续费。文章认为,这一设计瞄准的是稳定币交易中长期存在的套利价值分配问题,并与 DualPool Hook、Permissioned Pools Hook 一起,构成 Uniswap v4 面向稳定币发行方和机构 LP 的模块化基础设施布局。

820
Uniswap 推出 StablePair Hook,直指 Curve 稳定币交易腹地
OpenAI
2026-09-08 21:38:34

OpenAI称攻克百万美元数学难题却遭数学家指责抢先发布

OpenAI称其内部模型证明了纳维–斯托克斯方程可能出现“爆炸”,并由约1万名AI代理在88小时内完成、经Lean验证。纽约大学数学家Tristan Buckmaster则称,他与Anthropic数学家Levent Alpöge早已取得相关成果,并指责OpenAI试图抢先发布。

760
OpenAI称攻克百万美元数学难题却遭数学家指责抢先发布
谷歌
2026-09-06 09:25:11

谷歌等十年绘出果蝇全脑图谱,研究生两天将其接入 Minecraft

Google Research、HHMI Janelia 和剑桥大学耗时十年完成雄性果蝇中枢神经系统连接组 MaleCNS v1.0,并于 9 月 3 日登上《Cell》。两天后,佐治亚理工学院研究生 Evan Smith 借助 GPT-6 Astra,将这套包含 166700 个神经元、1.25 亿个突触连接的开源脑图谱接入 Minecraft,让虚拟果蝇在玻璃方块构成的环境中飞行。该项目尚未公开代码,Smith 表示 V1 仍在开发中,代码和模组即将放出。

3290
谷歌等十年绘出果蝇全脑图谱,研究生两天将其接入 Minecraft
MEXC
2026-09-04 09:03:22

专访 MEXC 产品总监 Vivien:交易所竞争转向 AI、RWA 与模块化底座

在 Coinfest Asia 2026 期间,MEXC 产品总监 Vivien Lin 接受 Odaily 星球日报专访,谈及老牌交易所退场、MEXC 扩展至 TradFi 资产、平台一站式战略与 AI 布局。她披露,MEXC 已上线 350 多个 TradFi 资产,平台覆盖 3000 多种数字资产,TradFi 交易量自 2025 年 1 月以来增长 100 倍,自去年 11 月以来增长 60 多倍。她还解释了模块化产品架构、AI Strategy 与 Copy Trading 的设计思路,并分享了对永续合约、监管环境与比特币后市的个人看法。

290
专访 MEXC 产品总监 Vivien:交易所竞争转向 AI、RWA 与模块化底座
Paradigm
2026-08-12 05:11:00

Paradigm 上线 RSI Simulator,用游戏推演 AI 自主改进拐点

Paradigm 推出网页游戏 RSI Simulator,用户以人力、算力和数据三类资源模拟 AI 实验室决策,观察模型何时进入递归自主改进。配套 Explorer 还开放底层参数调节。Paradigm 在研究文章中提出四点判断,并将这款工具放进其向 AI、机器人等前沿领域扩张的更大布局中。

1490
Paradigm 上线 RSI Simulator,用游戏推演 AI 自主改进拐点