热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Kevin Weil 🇺🇸
科学@OpenAI副总裁，董事会@Cisco @nature_org，LTC @USArmyReserve
例如：Pres @Planet，产品@Instagram @Twitter主管
❤️ @elizabeth超级马拉松儿童猫数学
哇，这周通过 GPT 5.2 解决了第三个 Erdős 问题！
1月11日 13:00
周末胜利：我提交的关于埃尔多斯问题 #397 的证明被特伦斯·陶接受了。
这个证明是由 GPT 5.2 Pro 生成的，并通过 Harmonic 进行了形式化。
许多未解决的问题静静地等待着有人提示 ChatGPT 来解决它们：
64
2026年将是科学激动人心的一年！AI将成为一个重要的加速器，而这个时机再好不过了。
1月9日 22:00
陶哲轩确认：
这是第一次，一个大型语言模型（GPT-5.2 pro）成功独立解决了一个厄尔多斯问题。
这让我对GPT-5.3 pro感到非常兴奋。科学正在加速发展，突破变得越来越重要。
73
热门
排行
收藏