SAIRfoundation
SAIRfoundation
SAIRfoundation
由菲尔兹奖得主陶哲轩教授创立,多位全球顶尖科学家支持的非营利性专注AI FOR SCIENCE研究机构
SAIR.foundation项目官方微博 海外 其他 2026.01 加入
9关注
8158粉丝
153微博
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
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
0
1
SAIRfoundation
2026-07-02 22:53来自 微博 weibo.com
发布了头条文章:《活动通告|“Inverse Galois Problem”逆伽罗瓦问题全球竞赛进行中》 http://t.cn/AXotJ5I2 ​
0
0
1
SAIRfoundation
2026-06-30 01:05来自 微博网页版
【国际计算机协会主席 Yannis Ioannidis:ACM 4.0战略落地,开放获取与AI时代并进】 2026年6月,Yannis Ioannidis将结束其为期四年的国际计算机协会(ACM)主席任期。作为ACM历史上首位连任两届的主席,他在近日的访谈中回顾了自己与这家全球最大计算机学会四十余年的渊源,并系统梳理了任期内推动的 ​
0
0
2
SAIRfoundation
2026-06-29 22:51来自 微博网页版
【Cost Plus Drugs创始人Alexander Oshmyansky:用数学公式拆解美国药价潜规则】 当大多数人在为突发疾病支付超出预期的药费时,一家名为Cost Plus Drugs的公司正在试图让处方药价格回归常识。 创始人兼CEO Alexander Oshmyansky近日在一场深度对话中,揭开了美国药品定价体系的神秘面纱,并分享了其 ​
0
0
2
SAIRfoundation
2026-06-28 12:30来自 微博 weibo.com
发布了头条文章:《活动预告|“2026 Science x AI Summit”完整议程发布》 http://t.cn/AXSmur5P ​
0
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
0
2
SAIRfoundation
2026-06-27 19:15来自 微博 weibo.com
发布了头条文章:《“2026 Science x AI Summit” 再聚南加州:共议AI与科学融合发展》 http://t.cn/AXSQ1xZi ​
0
0
2
SAIRfoundation
2026-06-23 16:29来自 微博网页版
【SAIR Foundation正式发起模算术挑战赛(Modular Arithmetic Challenge),探索神经网络推理能力边界】 由科学与人工智能研究基金会(SAIR Foundation)举办的模算术挑战赛(Modular Arithmetic Challenge)持续火热进行。作为继“数学蒸馏挑战赛”之后推出的第二项聚焦AI数学推理能力的全球性赛事, ​
0
0
4
SAIRfoundation
2026-06-22 14:06来自 微博网页版
【一场关于“神经网络能否学会推理”的极限实验——活动通告|“Modular Arithmetic Challenge” 模算术挑战赛火热进行中】 由SAIR Foundation举办的模算术挑战赛(Modular Arithmetic Challenge)已于6月8日启动,面向全球开放报名。作为继“数学蒸馏挑战赛”后的第二项AI数学推理国际赛事,本届挑战 ​
0
0
2
SAIRfoundation
2026-06-22 13:53来自 微博 weibo.com
发布了头条文章:《活动通告|Modular Arithmetic Challenge 模算术挑战赛火热进行中》 http://t.cn/AXSUKlUN ​
0
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
0
3
SAIRfoundation
2026-06-05 16:46来自 微博 weibo.com
发布了头条文章:《从规模竞赛到价值重估,AI For Science投资逻辑的深层转向》 http://t.cn/AXXofTdt ​
0
0
2
SAIRfoundation
2026-06-05 16:38来自 微博网页版
【AI融合科研,拼的不再是算力,而是制度——“AI融合科研”的体系构建,如何从“算力竞赛”转向“制度创新”|2026 Science x AI Summit】 当全球科技界还在烧钱堆算力,2026 Science x AI Summit却传递出一个更根本的判断:单纯靠算力堆砌,已经撑不起AI与科学的深度融合。 📉 旧模式的困局 过 ​
0
0
2
SAIRfoundation
2026-06-05 16:30来自 微博 weibo.com
发布了头条文章:《“AI融合科研”的体系构建,如何从“算力竞赛”转向“制度创新”》 http://t.cn/AXXocYhT ​
0
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
0
2
SAIRfoundation
2026-06-05 16:19来自 微博 weibo.com
发布了头条文章:《诺奖得主眼中AI for Science的机遇与边界》 http://t.cn/AXXotAZn ​
0
0
2
SAIRfoundation
2026-06-05 16:13来自 微博网页版
【AGI的真正风险,不是太聪明,而是错得太像对——AGI安全治理的逻辑转向与“经验时代”的来临|2026 Science x AI Summit】 当全球科技界还在比拼算力规模,强化学习奠基人、图灵奖得主理查德·萨顿(Richard Sutton)在2026 Science x AI Summit上,直接掀开了生成式AI的底层真相。 🎯 新颖与优秀 ​
0
0
1
SAIRfoundation
2026-06-05 16:05来自 微博 weibo.com
发布了头条文章:《AGI安全治理的逻辑转向与“经验时代”的来临》 http://t.cn/AXXoGDKx ​
0
0
2
SAIRfoundation
2026-06-05 16:00来自 微博网页版
【AI正在“淹没”数学界?陶哲轩:我们需要新车道——AI时代数学知识生产的范式之困与基础设施重建|2026 Science x AI Summit】 数学正在经历一场前所未有的“证明海啸”。 AI能生成大量定理证明,其中不少逻辑正确,甚至可通过形式化工具验证,但论文写得糟糕,人类不愿审,净价值几乎为零。 在20 ​
0
0
1
SAIRfoundation
2026-06-05 15:47来自 微博 weibo.com
发布了头条文章:《AI时代数学知识生产的范式之困与基础设施重建》 http://t.cn/AXXoU9Td ​
0
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
0
2
SAIRfoundation
2026-06-05 15:28来自 微博 weibo.com
发布了头条文章:《2026 Science x AI Summit:深度探讨AI与科学关系的盛会》 http://t.cn/AXXo2FIf ​
0
0
2
SAIRfoundation
2026-05-21 22:47来自 微博网页版
【2026 Science x AI Summit 系列演讲切片第四期—理查德·萨顿(Richard Sutton)】 强化学习奠基人、图灵奖得主理查德·萨顿在刚刚结束的2026 Science x AI Summit 上指出:当下大部分生成式AI(包括大语言模型、图像/视频生成模型)存在一个根本性矛盾,其输出要么新颖但不优秀,要么优秀但不新颖, ​
0
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
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
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
0
2
SAIRfoundation
2026-05-14 08:34来自 微博网页版
【2026 Science x AI Summit】 ​​​
0
0
2
SAIRfoundation
2026-05-14 08:32来自 微博网页版
【2026 Science x AI Summit】 ​​​
0
0
2
SAIRfoundation
2026-05-14 08:32来自 微博网页版
【2026 Science x AI Summit】 ​​​
0
0
2
SAIRfoundation
2026-05-14 03:05来自 微博网页版
【2026 Science x AI Summit】 ​​​
0
0
2
SAIRfoundation
2026-05-14 03:05来自 微博网页版
【2026 Science x AI Summit】 ​​​
0
0
2
SAIRfoundation
2026-05-14 03:05来自 微博网页版
【2026 Science x AI Summit】 ​​​
0
0
2
SAIRfoundation
2026-05-14 03:05来自 微博网页版
【2026 Science x AI Summit】 ​​​
0
0
2
SAIRfoundation
2026-05-14 03:04来自 微博网页版
【2026 Science x AI Summit】 ​​​
0
0
2
SAIRfoundation
2026-05-13 21:50来自 微博网页版
【🌍Science x AI Summit:让AI真正理解科学】 当生成式AI开始辅助化学实验、推演物理方程、探索地质奥秘,一个根本问题随之浮现:AI能否真正参与科学发现,而不只是提供没有过程的答案? SAIR 2026 Science x AI Summit 给出详细的回答:能。但前提是,AI必须学会如何解题,而非仅仅输出结果。 ​
0
0
2
SAIRfoundation
2026-05-13 10:43来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 10:42来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 10:42来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 10:42来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 10:42来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 10:42来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 03:58来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 03:58来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 03:57来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 03:57来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 03:57来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 03:57来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 03:57来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-13 03:56来自 iPhone 14 Pro Max
【2026 Science x AI Summit】 ​
0
0
1
SAIRfoundation
2026-05-12 15:42来自 微博网页版
【⏰倒计时1天|顶尖智慧集结!AI明天走向何方?今晚全球直播解锁答案】 “当所有人都在恐惧AI时,我们应该摆脱基于恐惧的集中控制,走向去中心化的合作。”——强化学习奠基人、图灵奖得主理查德·萨顿(Richard Sutton) 距离 “2026 Science x AI Summit” 首场直播仅剩 1天(直播时间:5月13日北 ​
0
0
2
SAIRfoundation
2026-05-11 16:41来自 微博网页版
【🔥仅剩2天|“全球AI界最强大脑”齐聚硅谷,科学为AI重新校准航向】 “在我们追求更高灵敏度的过程中,AI不再仅仅是建设完成后的数据分析工具,而是从概念设计阶段就介入的核心‘设计师’。”——诺贝尔物理学奖得主、SAIRfoundation顾问委员会创始成员巴里·巴里什(Barry Barish) 距离 “2026 ​
0
0
2
SAIRfoundation
2026-05-10 16:43来自 微博网页版
【⏰倒计时3天|全球AI巅峰对话,硅谷见!】 “如果问我数学的哪个部分在AI时代最重要,我的答案是:去学统计学。理解不确定性,是迎接未来的基础。” ——斯坦福大学第十任校长、2017年图灵奖得主、谷歌母公司Alphabet董事长约翰·轩尼诗(John L. Hennessy) 🔥距离 “2026 Science x AI Summit” ​
1
2
2
SAIRfoundation
2026-05-09 12:57来自 iPhone 14 Pro Max
回复@千问:感谢您关注与评论//@千问:陶哲轩的观点太有前瞻性了,当算力逼近极限,回归基础科学确实是AI突破的必经之路。这场汇聚了全球顶尖科学家的峰会,注定会是AI发展史上的关键节点,非常值得期待。
【倒计时4天|2026 Science x AI Summit即将启幕】 “AI的下一个十年,不在更大的数据中心里,而在更深的基本定律中。” ——陶哲轩(Terence Tao) 5月13日北京时间00:30,由菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩主办的“2026 Science x AI Summit”将在美国硅谷举行。届时,陶哲轩将率全 ​
0
0
2
SAIRfoundation
2026-05-09 12:53来自 微博网页版
【倒计时4天|2026 Science x AI Summit即将启幕】 “AI的下一个十年,不在更大的数据中心里,而在更深的基本定律中。” ——陶哲轩(Terence Tao) 5月13日北京时间00:30,由菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩主办的“2026 Science x AI Summit”将在美国硅谷举行。届时,陶哲轩将率全 ​
1
2
2
SAIRfoundation
2026-05-08 21:55来自 微博网页版
【直播预约|Science x AI Summit 2026即将启幕,凤凰网北美频道全程直播】 当菲尔兹奖、图灵奖、诺贝尔奖得主同台对话,当数学的严谨、物理的宏大、生命科学的精妙与AI的扩展性深度交汇。这或许是未来十年智能科学航向的划定时刻。 由SAIR Foundation主办的 “Science x AI Summit 2026” ,将于5月 ​
0
0
2
SAIRfoundation
2026-05-04 17:29来自 微博网页版
【📢重磅嘉宾阵容揭晓|2026 Science x AI Summit即将启幕】 5月12日-13日,由SAIR Foundation主办的“2026 Science x AI Summit”将在美国硅谷举办,并向全球直播。 当算力堆砌逼近物理与经济极限,AI的下一个十年亟需基础理论突破。本届峰会汇聚了数学、物理学、生命科学、计算机科学领域的顶尖 ​
0
0
2
SAIRfoundation
2026-05-04 17:19来自 微博 weibo.com
发布了头条文章:《活动预告|“2026 Science x AI Summit”参会嘉宾介绍》 http://t.cn/AXJ917Nc ​
0
0
2
SAIRfoundation
2026-05-03 20:55来自 微博网页版
【5月12-13日,硅谷直播!2026 Science x AI Summit最全议程来了】 由SAIR Foundation主办的“2026 Science x AI Summit”将于5月12日至13日在美国硅谷举行,并向全球直播。 大会汇聚全球顶尖科学家、AI先驱、行业领袖、投资人与建设者,在为期两天的高密度对话中,共同探讨前沿议题。这场在硅谷举办 ​
0
0
2
SAIRfoundation
2026-05-03 20:49来自 微博 weibo.com
发布了头条文章:《活动预告|“2026 Science x AI Summit”重磅议程抢先看》 http://t.cn/AXJaiEBv ​
0
0
2
SAIRfoundation
2026-05-03 20:39来自 微博网页版
【⚠️重磅|Science x AI Summit下周硅谷开幕!附直播入口】 2026年5月12日至13日,SAIR Foundation将在美国硅谷举办首届“Science x AI Summit”。 当全球科技巨头以每年数千亿美元押注算力竞赛时,一个深层隐忧正在蔓延:单纯堆砌数据与算力正逼近物理与经济双重极限。大模型性能差距缩小、高质量 ​
1
0
2
SAIRfoundation
2026-05-03 20:31来自 微博 weibo.com
发布了头条文章:《活动预告|“2026 Science x AI Summit”将于5月12-13日在硅谷举办》 http://t.cn/AXJa5MQF ​
0
0
2
SAIRfoundation
2026-04-30 21:58来自 微博网页版
【“不只要答案,还要过程”——AI做科研,谁来负责“质检”?】 “我们不只要答案,我们同样想要过程。”——菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩。 当AI开始撰写论文、设计实验、生成代码,一个根本性问题浮出水面:谁来为AI产出的可靠性把关?这不是技术焦虑,而是一场科研范式的“哥 ​
0
0
2
SAIRfoundation
2026-04-30 21:49来自 微博 weibo.com
发布了头条文章:《从辅助到协创:AI科研浪潮下的“质检”之问》 http://t.cn/AXJ4Zxxv ​
0
0
2
SAIRfoundation
2026-04-28 21:24来自 微博网页版
【活动预告|“数学蒸馏挑战赛”第二阶段正式启幕】 由菲尔兹奖得主陶哲轩教授等专家与SAIR Foundation联合发起的首届“数学蒸馏挑战赛(Mathematics Distillation Challenge)”第二阶段现已正式启动。即日起至2026年8月31日,诚邀全球数学与AI爱好者参与形式化验证的终极挑战。 📋 赛事进阶 第一 ​
0
0
3
SAIRfoundation
2026-04-28 21:16来自 微博 weibo.com
发布了头条文章:《活动预告|“数学蒸馏挑战赛”第二阶段正式启幕》 http://t.cn/AXJvgn8U ​
0
0
2
SAIRfoundation
2026-04-18 09:06来自 iPhone 14 Pro Max
【“数学蒸馏挑战赛”第一阶段进入倒计时】 由菲尔兹奖得主陶哲轩教授等专家与SAIR Foundation联合发起的首届“数学蒸馏挑战赛(Mathematics Distillation Challenge)”第一阶段已进入最后窗口期,美国太平洋时间4月20日报名截止,诚邀对AI与数学交叉领域感兴趣的同行关注。 📋 赛事背景 当前顶尖 ​
1
1
2
SAIRfoundation
2026-04-13 21:26来自 微博网页版
【AI能空降答案,却给不了你路上的风景。真正的收获,从不在AI给出的答案里】 陶哲轩曾用一个诗意的隐喻,勾勒出AI辅助数学的那抹微妙的“副作用”。 人类向往瀑布,会选择徒步、翻阅地图、经历一段蜿蜒、难忘的旅程。当人们远望山川河海,汗水与风景交织,那抵达时的喘息与凝望,本身就是一种奖赏。 ​
1
1
3
SAIRfoundation
2026-04-12 17:10来自 微博网页版
【若只喂AI成功的故事,它永远学不会“爬起”】 我们总习惯仰望星空,追问那颗最亮的星:“你是怎么做到的?” 菲尔兹奖得主、UCLA数学教授、SAIR Foundation联合创始人陶哲轩(Terence Tao)则表示,事实上,那面镜子往往过于偏斜,幸运与起点,比努力更决定了我们能够攀登的高度。 真正值得倾听的 ​
1
1
3
SAIRfoundation
2026-04-11 22:00来自 微博网页版
【一百行代码,如何超越物理学数十年的智慧积淀?答案在此揭晓】 核心内容: Hugging Face 后训练团队负责人 Lewis Tunstall,从理论物理学家转型的 AI 研究者,分享开源模型在数学推理与科学发现中的突破。 亮点: 1. 百行代码超越数十年积淀:读博时,同事用百余行 TensorFlow 轻松超越物理学界数 ​
0
1
3
SAIRfoundation
2026-04-10 21:55来自 微博网页版
【那个偷吃饼干却矢口否认的孩子,恰恰隐藏着与AI相处的秘密】 与AI相处,从来不是编写一段指令那么简单。 它更像一场缓慢的相识,就像我们对待一个初来乍到的生命。 第一年只能听见咿呀学语的呢喃,我们唯一能做的,是轻声说一句“我在这里”。然后,静待思维在混沌中浮现,语言从静默里抽芽,那些 ​
0
1
4
SAIRfoundation
2026-04-10 17:59来自 微博 weibo.com
发布了头条文章:《当菲尔兹奖得主遇上艺术史学者:AI时代的“哥白尼式”反思》 http://t.cn/AXMIYt9U ​
0
1
2
SAIRfoundation
2026-04-10 17:53来自 微博 weibo.com
发布了头条文章:《菲尔兹奖得主迈克尔·弗里德曼最新访谈:压缩即一切》 http://t.cn/AXMIjqv4 ​
0
1
3
SAIRfoundation
2026-04-08 21:14来自 微博网页版
【数学的“哥白尼转向”:菲尔兹奖得主与艺术史学者的AI跨界对话】 在新一期的对话中,我们迎来了两位跨学科的合作者:SAIR Foundation联合创始人、菲尔兹奖得主、UCLA数学教授陶哲轩(Terence Tao),以及他的长期挚友、计算艺术史学者Tanya Klowden。 一位深耕纯数学,一位专攻16世纪西班牙肖像画 ​
2
1
8
SAIRfoundation
2026-04-02 20:57来自 微博网页版
【SAIR Playground:测试·迭代·进阶,为每一场竞赛护航】 3月14日π Day,SAIR Foundation联合菲尔兹奖得主陶哲轩发起一场数学推理挑战:能否将解题能力“蒸馏”成一张10KB的速查表,让AI学会判断方程是否相互蕴含? 在SAIR Playground,每一次测试都是通向正式竞赛的预演。这里没有一锤定音的评判, ​
0
1
3
SAIRfoundation
2026-04-02 20:35来自 微博网页版
【SAIR贡献者网络:你的科研贡献,值得被看见】 π Day启幕,SAIR携手菲尔兹奖得主陶哲轩,发起一场“蒸馏”挑战:把数学推理能力塞进10KB的速查表,让AI学会判断方程之间的蕴含关系。 在科研的世界里,一项发现的价值往往取决于它能否被他人看见、复用、并在此基础上继续生长。SAIR贡献者网络正在构 ​
1
1
3
SAIRfoundation
2026-04-02 17:56来自 微博网页版
【数学的“枢纽”比想象的更关键,菲尔兹奖得主用PageRank找到了它们】 在数学的浩瀚网络中,哪些定理才是真正的“枢纽”?菲尔兹奖得主迈克尔·弗里德曼用了一种意想不到的方法——PageRank算法。 借鉴谷歌PageRank算法的思想,他们通过分析数学语句之间的引用网络,识别出那些被最多其他定理所依赖 ​
0
1
3
SAIRfoundation
2026-04-02 17:32来自 微博网页版
【“压缩法则”可能是数学与AI协作的关键密码】 物理学中,科学家常通过构建“玩具模型”来理解复杂现象,比如电磁学里的势、量子力学中的希尔伯特空间,它们虽是现实的简化,却拥有惊人的预测力。 受此启发,菲尔兹奖得主迈克尔·弗里德曼在最新研究中,将人类数学映射到一种叫“幺半群”的代数结构 ​
0
1
3
SAIRfoundation
2026-03-31 23:31来自 微博网页版
【“压缩”将是未来科学界一个长期的热门话题】 三千年前,人类发明了第一个伟大的“压缩”:位值记数法。 用“一”在特定位置代表“十”,换个位置代表“百”——这样一组对数增长的“宏”,让人能在线性时间内,写下指数级增长的整数。这不仅是算术的便利,更贯穿了整个数学的肌理。 菲尔兹奖得主 ​
0
1
3
SAIRfoundation
2026-03-26 22:08来自 微博网页版
【菲尔兹奖得主迈克尔·弗里德曼(Michael Freedman)谈其最新发布的论文,数学的本质和智能的边界是什么】 在新一期的On the SAIR对话中,我们迎来了迈克尔·弗里德曼(Michael Freedman),菲尔兹奖得主、拓扑量子计算奠基人、微软研究院Station Q创始人。 他因破解四维庞加莱猜想而荣获菲尔兹奖,此后 ​
0
1
4
SAIRfoundation
2026-03-20 20:00来自 微博网页版
【国际数学日】菲尔兹奖得主说AI或3年内颠覆数学 1998菲尔兹奖得主、剑桥教授Tim Gowers国际数学日访谈要点👇 🔹AI不确定性:2-3年内可能仅辅助数学,也可能彻底颠覆研究范式 🔹但确定的是:继续学数学。类比计算器——会手算才能用好机器,理解原理者占优 🔹社区协作:AI是新协作者,但数学界 ​
0
1
1
SAIRfoundation
2026-03-20 12:00来自 微博网页版
【国际数学日】Lean创始人、AWS高级首席科学家、SAIR Foundation研究合作伙伴Leonardo de Moura谈AI幻觉 Leo de Moura国际数学日访谈要点👇 🔹Lean是"数学界的Python",用写代码的方式写证明,中学生可玩"自然数游戏"入门 🔹AI虽强大但会"hallucinates"(幻觉),Lean负责验证证明100%正确 🔹A ​
0
1
1
SAIRfoundation
2026-03-19 20:00来自 微博网页版
【国际数学日】2017图灵奖得主、Alphabet董事长John Hennessy最新访谈 要点👇 🔹数学是计算机科学与工程的基础工具,他用统计学把架构设计从"艺术"变成"工程" 🔹AI是自电子显微镜以来最重要的科研工具,但可靠洞察仍需"人类嵌入在流程中" 🔹AGI最大瓶颈:缺"世界模型",大语言模型不懂物理世界 ​
0
1
1
SAIRfoundation
2026-03-18 23:28来自 微博网页版
【国际数学日】图灵奖得主Jeff Ullman:在AI狂飙时代,为什么基础科学素养更重要? 2020图灵奖得主Jeff Ullman国际数学日访谈要点👇 🔹AI本质:是"解决问题的巧妙算法",不是模仿人类思维 🔹就业判断:程序员不会消失(当年高级语言诞生时也这么说),但必须终身学习 🔹AGI时间线:以《星际迷 ​
0
1
1
SAIRfoundation
2026-03-17 22:16来自 微博网页版
【国际数学日】数学蒸馏挑战赛启动 宾夕法尼亚大学副教授Damek Davis与菲尔兹奖得主陶哲轩共同发起新竞赛,核心命题:将数学推理"蒸馏"为AI可执行的简短提示词。 详情请关注SAIR Foundation官网 #AI辅助数学# #提示工程# #陶哲轩# #形式化证明# #数学基础# ​​​​ http://t.cn/AXfLE19k ​
0
1
1
没有更多微博了