浙大校友用AI突破32年拉姆齐数下界
浙大校友用AI突破32年拉姆齐数下界数学界尘封32年的拉姆齐数经典难题被打破！浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramsey，成功将拉姆齐数R(3,17) 下界从92提升至93，终结了自1994年以来长期停滞的纪录。
来自主题: AI资讯
8790 点击 2026-05-10 12:46
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
数学界尘封32年的拉姆齐数经典难题被打破！浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramsey，成功将拉姆齐数R(3,17) 下界从92提升至93，终结了自1994年以来长期停滞的纪录。
具身数据层的全球竞赛正在迅速升温。NVIDIA Research在2026年发布EgoScale数据与训练框架，在Ego-centric人类操作视频上训练VLA模型，用 20,854小时带动作标注的第一人称人类视频，观察到数据规模和验证损失之间接近对数线性的scaling law。1X收集人类第一视角及家庭行为数据，通过 Sunday项目采集百万小时级家庭场景视频。
路透社独家：Meta正计划裁员20%，约1.6万人。与此同时，扎克伯格砸6000亿美元建数据中心、20亿买Manus、143亿挖Scale AI创始人。一边疯狂招顶尖AI人才，一边大规模砍人，硅谷「AI换人」潮正式开闸。
今日凌晨，在英伟达GTC大会上，月之暗面创始人杨植麟作为本届唯一受邀现场演讲的中国独立大模型公司创始人，发表题为《How We Scaled Kimi K2.5》的演讲，首次完整披露Kimi K2.5背后的技术路线图。
AI 基础设施公司 Nscale 宣布完成 20 亿美元的 C 轮融资，由 Aker ASA 和 8090 Industries 领投。此次融资使公司估值达到 146 亿美元。参与本轮融资的其他投资者包括 Astra Capital Management、Citadel（城堡投资）、戴尔、Jane Street、联想、Linden Advisors、诺基亚、英伟达以及 Point72。
在万卡、十万卡的训练时代，算力不再是唯一的瓶颈，网络已成全新掣肘！当AI训练进入十万卡时代，InfiniBand竟突然翻红，重新被追捧了？
导读：近日，位于中关村的深度机智全球首次使用全新范式——人类学习，在多个国际 Benchmark 上取得 SOTA，史无前例地使用全新架构（仅使用人类第一视角数据、零真机数据）击败 Physical Intelligence 和英伟达等头部巨头二十多个百分点，并在两会开幕首日被央视报道。
昨日，由中科曙光提供的3套scaleX万卡超集群系统，在国家超算互联网核心节点同时上线试运行。这是国内第一次在国家级算力枢纽节点上，同步部署并实际投入运营3套万卡级AI超集群，一举成为全国首个实现超3万卡部署、且已进入实际运营阶段的最大国产AI算力池。
今天推荐一个 Implicit Chain-of-Thought（隐式推理） 的最新进展 —— SIM-CoT（Supervised Implicit Chain-of-Thought）。它直击隐式 CoT 一直「扶不起来」的核心痛点：隐式 token 一旦 scale 上去，训练就容易塌缩到同质化的 latent 状态，推理语义直接丢失。
专注于挑战思科系统和博通公司的网络初创企业Upscale AI 完成 2 亿美元融资轮，使公司估值突破 10 亿美元大关。 Upscale 周三宣布本轮融资由老虎环球管理、普雷姆吉投资和 Xora 创新领投，其他投资者包括 Maverick Silicon、StepStone 集团、梅菲尔德、Prosperity7 风投、英特尔资本和高通风投。