SAIRfoundation的微博

SAIRfoundation

2026-06-28 12:33来自微博网页版

【活动预告｜“2026 Science x AI Summit（UC Riverside）”完整议程发布：南加州再集结，共议AI与科学融合发展】由科学与人工智能研究基金会（SAIR Foundation）与加州大学河滨分校联合主办的“2026 Science x AI Summit ( UC Riverside )”，将于2026年6月29日在美国加州大学河滨分校正式启幕。

0

2

SAIRfoundation

2026-07-02 22:56来自微博网页版

【活动通告｜“Inverse Galois Problem”逆伽罗瓦问题全球竞赛持续进行：在25000个未知群中，寻找下一个多项式】 2026年6月16日，科学与人工智能研究基金会（SAIR Foundation）正式宣布启动24阶逆伽罗瓦问题探索竞赛（Inverse Galois Problem 24，简称IGP24）。大赛持续进行中，8月15日截止提交。作

0

1

SAIRfoundation

2026-07-02 22:53来自微博 weibo.com

发布了头条文章：《活动通告｜“Inverse Galois Problem”逆伽罗瓦问题全球竞赛进行中》 http://t.cn/AXotJ5I2

0

1

SAIRfoundation

2026-06-30 01:05来自微博网页版

【国际计算机协会主席 Yannis Ioannidis：ACM 4.0战略落地，开放获取与AI时代并进】 2026年6月，Yannis Ioannidis将结束其为期四年的国际计算机协会（ACM）主席任期。作为ACM历史上首位连任两届的主席，他在近日的访谈中回顾了自己与这家全球最大计算机学会四十余年的渊源，并系统梳理了任期内推动的

0

2

SAIRfoundation

2026-06-29 22:51来自微博网页版

【Cost Plus Drugs创始人Alexander Oshmyansky：用数学公式拆解美国药价潜规则】当大多数人在为突发疾病支付超出预期的药费时，一家名为Cost Plus Drugs的公司正在试图让处方药价格回归常识。创始人兼CEO Alexander Oshmyansky近日在一场深度对话中，揭开了美国药品定价体系的神秘面纱，并分享了其

0

2

SAIRfoundation

2026-06-28 12:30来自微博 weibo.com

发布了头条文章：《活动预告｜“2026 Science x AI Summit”完整议程发布》 http://t.cn/AXSmur5P

0

2

SAIRfoundation

2026-06-27 19:21来自微博网页版

【“2026 Science x AI Summit” 再次集结南加州：多轮次跨学科对话共议AI与科学融合发展】由科学与人工智能研究基金会（SAIR Foundation）与加州大学河滨分校联合主办的“2026 Science x AI Summit ( UC Riverside )”，将于2026年6月29日在美国加州大学河滨分校正式启幕。峰会采用线上线下相结合

0

2

SAIRfoundation

2026-06-27 19:15来自微博 weibo.com

发布了头条文章：《“2026 Science x AI Summit” 再聚南加州：共议AI与科学融合发展》 http://t.cn/AXSQ1xZi

0

2

SAIRfoundation

2026-06-23 16:29来自微博网页版

【SAIR Foundation正式发起模算术挑战赛（Modular Arithmetic Challenge），探索神经网络推理能力边界】由科学与人工智能研究基金会（SAIR Foundation）举办的模算术挑战赛（Modular Arithmetic Challenge）持续火热进行。作为继“数学蒸馏挑战赛”之后推出的第二项聚焦AI数学推理能力的全球性赛事，

0

4

SAIRfoundation

2026-06-22 14:06来自微博网页版

【一场关于“神经网络能否学会推理”的极限实验——活动通告｜“Modular Arithmetic Challenge” 模算术挑战赛火热进行中】由SAIR Foundation举办的模算术挑战赛（Modular Arithmetic Challenge）已于6月8日启动，面向全球开放报名。作为继“数学蒸馏挑战赛”后的第二项AI数学推理国际赛事，本届挑战

0

2

SAIRfoundation

2026-06-22 13:53来自微博 weibo.com

发布了头条文章：《活动通告｜Modular Arithmetic Challenge 模算术挑战赛火热进行中》 http://t.cn/AXSUKlUN

0

2

SAIRfoundation

2026-06-12 15:55来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十九期——2026 Science x AI Summit 系列研讨：人工智能与科研的融合应用】在2026 Science x AI Summit上，一场汇聚学术界与产业界顶尖头脑的专题研讨，深度探讨了AI如何重塑科研范式。与会专家一致认为：AI正将过去需要数年、耗费整个博士生涯的复杂问题

0

2

SAIRfoundation

2026-06-12 14:42来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十八期——2026 Science x AI Summit 系列研讨：人工智能与生命科学的交叉应用】在2026 Science x AI Summit上，一场关于人工智能与生命科学的专题研讨达成共识：AI正从辅助工具跃升为驱动医疗健康价值链的核心引擎，但其真正价值在于让创新惠及每一位患者

0

2

SAIRfoundation

2026-06-11 11:33来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十七期——炉边对谈（Murali Joshi & Tee Ganbold）】在2026 Science x AI Summit上，ICONIQ合伙人Murali Joshi与Frontier/1AI联合创始人Tee Ganbold展开了一场关于AI投资与科学创新的深度对话。 Joshi直言：最值得押注的创始人，是那些自己就是“初始客

0

2

SAIRfoundation

2026-06-10 12:02来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十六期——炉边对谈（David Patterson & Andy Konwinski）】在2026 Science x AI Summit上，2017年图灵奖得主、加州大学伯克利分校荣誉教授David Patterson与Laude联合创始人Andy Konwinski展开了一场关于科研资助模式创新的深度对话，共同揭开了“Laude研

0

2

SAIRfoundation

2026-06-10 11:12来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十五期——炉边对谈（Chuck Ng & John L. Hennessy）】在2026 Science x AI Summit上，SAIR联合创始人Chuck Ng与斯坦福大学第十任校长、2017年图灵奖得主John L. Hennessy展开了一场关于AI、计算架构与科学未来的深度对话。 Hennessy指出，传统气候模型依

0

3

SAIRfoundation

2026-06-09 13:08来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十四期——炉边对谈（Chuck Ng & Tom Kalil）】在2026 Science x AI Summit上，SAIR联合创始人Chuck Ng与文艺复兴慈善基金会首席执行官Tom Kalil展开了一场关于科研资助体系结构性缺陷的深度对话。 Kalil指出：AI for Science的突破需要三个前提，即明确

0

2

SAIRfoundation

2026-06-09 10:33来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十三期——炉边对谈（Chuck Ng & Reid Hoffman）】在2026 Science x AI Summit上，SAIR联合创始人Chuck Ng与LinkedIn联合创始人Reid Hoffman展开了一场关于AI未来、科学创业与智能体管理的深度对话。 Hoffman指出：我们正从“个体贡献者”时代迈向“智能

0

2

SAIRfoundation

2026-06-08 07:44来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十二期——Peter L.】在2026 Science x AI Summit上，SAIR Foundation秘书长Peter L.系统阐述了SAIR的核心使命：构建一个连接科学界、产业界、开发者与资本方的开放协作平台，将AI与科学深度融合，重塑科研基础设施。他指出，SAIR的目标是利用AI扩大科学

0

2

SAIRfoundation

2026-06-08 06:49来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十一期——Matt Bornstein】在2026 Science x AI Summit上，a16z合伙人Matt Bornstein系统拆解了AI科学创业的底层逻辑。他指出：语言模型与科学模型所面对的数据域存在根本差异，这决定了AI科学初创公司必须穿越更深的“引力井”。语言模型的成功得益于

0

2

SAIRfoundation

2026-06-07 18:21来自微博网页版

【2026 Science x AI Summit 系列演讲切片第十期——莱诺·布卢姆（Lenore Blum）】在2026 Science x AI Summit上，卡耐基梅隆大学计算机科学杰出教授（荣誉退休）莱诺·布卢姆（Lenore Blum）提出了一种从理论计算机科学视角出发的意识模型——“意识图灵机”（Conscious Turing Machine，CTM）。她的

0

2

SAIRfoundation

2026-06-07 13:40来自微博网页版

【2026 Science x AI Summit 系列演讲切片第九期—兰迪·谢克曼（Randy Schekman）】在2026 Science x AI Summit上，2013年诺贝尔生理学或医学奖得主兰迪·谢克曼（Randy Schekman）系统阐述了蛋白质折叠研究从实验科学迈向AI驱动的历史路径。他指出：没有经过严格实验验证的高质量数据，任何AI模型

0

2

SAIRfoundation

2026-06-06 18:58来自微博网页版

【2026 Science x AI Summit 系列演讲切片第八期—杰弗里·乌尔曼（Jeffrey Ullman）】在2026 Science x AI Summit上，2020年图灵奖得主、斯坦福大学名誉教授杰弗里·乌尔曼（Jeffrey Ullman）以半个世纪的学术亲历，对当前科研体系的深层弊病发出警示。他指出，20世纪AI执着于模拟人类思维，成效有

0

2

SAIRfoundation

2026-06-06 17:09来自微博网页版

【2026 Science x AI Summit 系列演讲切片第七期—Carina Hong】在2026 Science x AI Summit上，Axiom创始人兼首席执行官Carina Hong指出，AI在数学奥林匹克中的表现已从突破走向常态，但真正的挑战在于：AI能否做出原创性的数学研究。衡量数学研究进展缺乏可靠基准。Erdos问题曾因“AI找到十个未

0

2

SAIRfoundation

2026-06-06 15:15来自微博网页版

【2026 Science x AI Summit 系列演讲切片第六期—Michael Mulligan】在2026 Science x AI Summit上，Logical Intelligence技术团队成员、加州大学河滨分校副教授Michael Mulligan揭示了人类数学区别于形式化汪洋的核心特征：层次化压缩。他区分了两种数学：人类数学（arXiv上的精巧推理）与形式化

0

2

SAIRfoundation

2026-06-06 08:24来自微博网页版

【2026 Science x AI Summit 系列演讲切片第五期—Leonardo de Moura】在2026 Science x AI Summit上，Lean定理证明器创始人，AWS高级首席科学家，Lean FRO首席架构师Leonardo de Moura展示了一个关键判断：当AI生成的数学证明层出不穷时，人类需要的不只是更聪明的黑箱，而是一把可验证的“逻辑卡尺

1

0

4

SAIRfoundation

2026-06-05 16:56来自微博网页版

【资本转向：AI的下一个风口不再是算力，而是可验证性——从规模竞赛到价值重估，AI For Science投资逻辑的深层转向｜2026 Science x AI Summit】在2026 Science x AI Summit上，a16z、红杉、黑石等顶级资本集体释放了一个信号：AI投资的锚点，正在从算力规模转向可验证性。过去十年，资本追逐更大

0

3

SAIRfoundation

2026-06-05 16:46来自微博 weibo.com

发布了头条文章：《从规模竞赛到价值重估，AI For Science投资逻辑的深层转向》 http://t.cn/AXXofTdt

0

2

SAIRfoundation

2026-06-05 16:38来自微博网页版

【AI融合科研，拼的不再是算力，而是制度——“AI融合科研”的体系构建，如何从“算力竞赛”转向“制度创新”｜2026 Science x AI Summit】当全球科技界还在烧钱堆算力，2026 Science x AI Summit却传递出一个更根本的判断：单纯靠算力堆砌，已经撑不起AI与科学的深度融合。 📉 旧模式的困局过

0

2

SAIRfoundation

2026-06-05 16:30来自微博 weibo.com

发布了头条文章：《“AI融合科研”的体系构建，如何从“算力竞赛”转向“制度创新”》 http://t.cn/AXXocYhT

0

2

SAIRfoundation

2026-06-05 16:24来自微博网页版

【AI可以设计引力波探测器，但科学家不敢把控制权交给它——诺奖得主眼中AI for Science的机遇与边界｜2026 Science x AI Summit】当AI从“数据分析工具”升级为“科学装置设计师”，信任却成了最大的难题。在2026 Science x AI Summit上，诺贝尔物理学奖得主、SAIR顾问委员会创始成员巴里·巴里什

0

2

SAIRfoundation

2026-06-05 16:19来自微博 weibo.com

发布了头条文章：《诺奖得主眼中AI for Science的机遇与边界》 http://t.cn/AXXotAZn

0

2

SAIRfoundation

2026-06-05 16:13来自微博网页版

【AGI的真正风险，不是太聪明，而是错得太像对——AGI安全治理的逻辑转向与“经验时代”的来临｜2026 Science x AI Summit】当全球科技界还在比拼算力规模，强化学习奠基人、图灵奖得主理查德·萨顿（Richard Sutton）在2026 Science x AI Summit上，直接掀开了生成式AI的底层真相。 🎯 新颖与优秀

0

1

SAIRfoundation

2026-06-05 16:05来自微博 weibo.com

发布了头条文章：《AGI安全治理的逻辑转向与“经验时代”的来临》 http://t.cn/AXXoGDKx

0

2

SAIRfoundation

2026-06-05 16:00来自微博网页版

【AI正在“淹没”数学界？陶哲轩：我们需要新车道——AI时代数学知识生产的范式之困与基础设施重建｜2026 Science x AI Summit】数学正在经历一场前所未有的“证明海啸”。 AI能生成大量定理证明，其中不少逻辑正确，甚至可通过形式化工具验证，但论文写得糟糕，人类不愿审，净价值几乎为零。在20

0

1

SAIRfoundation

2026-06-05 15:47来自微博 weibo.com

发布了头条文章：《AI时代数学知识生产的范式之困与基础设施重建》 http://t.cn/AXXoU9Td

0

2

SAIRfoundation

2026-06-05 15:42来自微博网页版

【AI的下一站，不是更大的算力，而是更深的科学——2026 Science x AI Summit：深度探讨AI与科学关系的盛会】当全球科技巨头还在致力于算力升级，一场关于AI未来的巅峰对话，已经在硅谷悄然达成共识：AI的发展，不能只靠工程规模的堆砌，必须回归基础科学导航。 2026年5月12-13日，2026 Science x A

0

2

SAIRfoundation

2026-06-05 15:28来自微博 weibo.com

发布了头条文章：《2026 Science x AI Summit：深度探讨AI与科学关系的盛会》 http://t.cn/AXXo2FIf

0

2

SAIRfoundation

2026-05-21 22:47来自微博网页版

【2026 Science x AI Summit 系列演讲切片第四期—理查德·萨顿（Richard Sutton）】强化学习奠基人、图灵奖得主理查德·萨顿在刚刚结束的2026 Science x AI Summit 上指出：当下大部分生成式AI（包括大语言模型、图像/视频生成模型）存在一个根本性矛盾，其输出要么新颖但不优秀，要么优秀但不新颖，

0

2

SAIRfoundation

2026-05-21 21:16来自微博网页版

【2026 Science x AI Summit 系列演讲切片第三期—蒂姆·高尔斯（Tim Gowers）】在刚刚结束的2026 Science x AI Summit 上，菲尔兹奖得主、剑桥大学教授蒂姆·高尔斯分享了一次引人深思的实验。他用ChatGPT 5.5 Pro，在几十分钟内解决了自己论文中的几个开放问题——其中一个从指数上界改进为多项式上

0

2

SAIRfoundation

2026-05-21 19:10来自微博网页版

【2026 Science x AI Summit 系列演讲切片第二期—巴里·巴里什（Barry Barish）】 “AI在物理学中最大的瓶颈不是算力，而是“可靠性无法被统计验证”——诺贝尔物理学奖得主、SAIR顾问委员会创始成员巴里·巴里什（Barry Barish）在最新的2026 Science x AI Summit 上，巴里·巴里什直言： 🔹AI已用

0

3

SAIRfoundation

2026-05-20 23:20来自微博网页版

【2026 Science x AI Summit 系列演讲切片第一期—陶哲轩（Terence Tao）】 “AI正在制造数学‘交通堵塞’，我们开了一条新车道。”——菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩（Terence Tao） “汽车已经上路，但道路还是为马车修的。”在刚刚结束的“2026 Science x AI Summit”上，陶哲轩

0

2

SAIRfoundation

2026-05-14 08:34来自微博网页版

【2026 Science x AI Summit】

0

2

SAIRfoundation

2026-05-14 08:32来自微博网页版

【2026 Science x AI Summit】

0

2

SAIRfoundation

2026-05-14 08:32来自微博网页版

【2026 Science x AI Summit】

0

2

SAIRfoundation

2026-05-14 03:05来自微博网页版

【2026 Science x AI Summit】

0

2

SAIRfoundation

2026-05-14 03:05来自微博网页版

【2026 Science x AI Summit】

0

2

SAIRfoundation

2026-05-14 03:05来自微博网页版

【2026 Science x AI Summit】

0

2

SAIRfoundation

2026-05-14 03:05来自微博网页版

【2026 Science x AI Summit】

0

2

SAIRfoundation

2026-05-14 03:04来自微博网页版

【2026 Science x AI Summit】

0

2

SAIRfoundation

2026-05-13 21:50来自微博网页版

【🌍Science x AI Summit：让AI真正理解科学】当生成式AI开始辅助化学实验、推演物理方程、探索地质奥秘，一个根本问题随之浮现：AI能否真正参与科学发现，而不只是提供没有过程的答案？ SAIR 2026 Science x AI Summit 给出详细的回答：能。但前提是，AI必须学会如何解题，而非仅仅输出结果。

0

2

SAIRfoundation

2026-05-13 10:43来自 iPhone 14 Pro Max

【2026 Science x AI Summit】

0

1

SAIRfoundation

2026-05-13 10:42来自 iPhone 14 Pro Max

【2026 Science x AI Summit】

0

1

SAIRfoundation

2026-05-13 10:42来自 iPhone 14 Pro Max

【2026 Science x AI Summit】

0

1

SAIRfoundation

2026-05-13 10:42来自 iPhone 14 Pro Max

【2026 Science x AI Summit】

0

1

SAIRfoundation

2026-05-13 10:42来自 iPhone 14 Pro Max

【2026 Science x AI Summit】

0

1

SAIRfoundation

2026-05-13 10:42来自 iPhone 14 Pro Max

【2026 Science x AI Summit】

0

1

SAIRfoundation

2026-05-13 03:58来自 iPhone 14 Pro Max

【2026 Science x AI Summit】

0

1

SAIRfoundation

2026-05-13 03:58来自 iPhone 14 Pro Max

【2026 Science x AI Summit】

0

1

SAIRfoundation