Microsoft 研究员借助 AI 探索逾百条路径证明 31 年历史的 KLS 猜想
Microsoft 研究员与合作者证明 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,形成 140 页证明。AI 智能体探索约 100 条研究路径、执行推导、辅助撰写手稿并运行内部证明检查,研究者负责筛选弱方向,递归方法和误差界归功于两位研究者。该猜想描述随机游走者在凸体内不会被狭窄通道困住,可高效探索整个形状。
首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。
Microsoft 研究员与合作者证明 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,形成 140 页证明。AI 智能体探索约 100 条研究路径、执行推导、辅助撰写手稿并运行内部证明检查,研究者负责筛选弱方向,递归方法和误差界归功于两位研究者。该猜想描述随机游走者在凸体内不会被狭窄通道困住,可高效探索整个形状。
#Kling4 现已登陆 OiiOii 🐈⬛ #KlingAI
DeepSeek 成功完成第二轮融资,筹集约 1000 亿元人民币,由宁德时代和腾讯领投,资金将用于模型研发和算力建设,并计划登陆科创板。
新论文测试 GPT-6-Astra 在 12 个机器人基准上的表现,其在 LIBERO 套件接近饱和,RoboDojo 达 81.9%、DexJoCo 达 87.3%,但无法验证物理成功或从不可逆错误中恢复。
八部门印发产业基础"十五五"规划,布局通用与行业大模型 · · Oct 22, 2026 工业和信息化部等八部门近日印发《产业基础能力提升"十五五"规划》,把人工智能赋能产业基础创新摆到了明确的位置。
可灵(Kling)宣布 Kling 4.0 已在 OnSolo 上线。该模型支持单次生成 30 秒原生视频,快速动作和大运镜下保持稳定,立体声配更准的口型同步,并提供 21:9 宽屏,单个任务可叠加最多 15 个参考图和 10 个关键帧以保持角色、镜头与剧情一致。
吴恩达在 DeepLearning.AI 的 Andrew's Letters 中提出,同一项 AI 工程任务在 0 到 1 早期项目和成熟产品里正确做法完全不同,按项目阶段选择打法是最难也最重要的能力之一。
Meta 与密歇根州立大学的新论文发现,LLM 构建的推理图质量差异很大,且图中的错误会传导到基于图计算的置信度分数上。研究测试了 9 个模型,从给定步骤到完全自建图逐步减少辅助,结果显示图质量更多与模型家族和图结构相关,而非模型规模,Qwen3-32B 回答子问题的表现甚至不如 Qwen3-8B。
Tripothon S1 巴塞罗那 Demo Day 圆满收官!🇪🇸 众多才华横溢的开发者齐聚一堂,交流并探索生成式 3D 的未来。我们说的是沉浸式 VR、可持续 3D 打印混凝土,以及裸眼空间现实。
NSA 警告两个由 Calif 研究人员用 GPT-5.6 Sol 发现的 PHP 关键漏洞(PHP2Shell),敦促组织打补丁或将未修补服务器下线。两个漏洞位于 PHP 核心,在 Apache mod_php 上演示的利用可在应用代码运行前触发。
遇见你的下一个创意火花:Kling 4.0,现已登陆 Firefly。#Kling4 #KlingAI
在 GTC Berlin 上,Revolut、Starling Bank、Lloyds、bunq、NatWest、Santander 等欧洲金融机构展示了基于 NVIDIA 加速计算与开放权重模型的生产级智能应用。
NVIDIA 扩展 Cosmos 平台,新增训练工具、仿真 checkpoint 和 Cosmos Data Factory 蓝图,并在六个开放模型榜单中进入前五。
NVIDIA DSX AI Factory Platform 被全球多家企业用于把电网与 AI 工厂作为一套系统统一规划、仿真和运行。GE Vernova、日立能源、施耐德电气和西门子能源等厂商基于该平台推进参考架构与数字孪生;Phaidra 集成 DSX Flex、DSX Max-Q 和 DSX Exchange 后,在相同功耗下多提供约 10% 算力。
NVIDIA 展示欧洲零售商用开放模型与物理智能改造业务的成果:Shopify 基于 NVIDIA Nemotron 3.5 Lightning 后训练的 GraphQL 子智能体在内部基准上准确率超过领先前沿模型,服务成本降低 90%、响应快 7 倍。
NVIDIA 在 GTC Berlin 展示与 Earthmover 合作的 StormScope EU 实时预报演示,该模型基于 EUMETSAT 卫星观测,每 10 分钟更新一次欧洲云况预测。
NVIDIA 与欧洲多国政府及合作伙伴推进公共部门 AI 项目:欧盟委员会扩展基于 Haystack 的 AI@EC 平台,波兰用 DGX BasePOD 和 MONAI 构建医学影像平台,德国 Materna 推出本地部署平台 Sinfonie。
Perplexity 与 NVIDIA 团队提出后训练方法 JOLT,让同一个模型同时扮演教师和学生,且教师也参与训练。在 MATH 上,JOLT 以 6.5 倍更少的训练 token 达到 GRPO 的准确率;JOLT+ 在 AppWorld 状态测试通过率达 72.09%,比 GRPO 的 62.20% 高 9.9 个百分点。
随着 AI Coding 的快速发展,代码生成已不再是瓶颈,但软件工程对问题拆解、架构设计和质量控制的要求反而更高,需要更强的综合能力和对复杂系统的掌控。
DeepSeek 本轮融资规模锁定约 1000 亿元,投前估值 5000 亿元,新老股东各占一半,资金将用于具身智能、量子校准等前沿领域。
Anthropic 发布 Claude Code v2.1.308,本次更新以 bug 修复和可靠性改进为主,未涉及新功能或模型变更。
IT之家 10 月 22 日消息,据《商业内幕》今天(22 日)午间报道,即使是谷歌 CEO 桑达尔 · 皮查伊,也很难独自掌握谷歌每天发生的所有事情。为此,他把部分信息收集工作 交给了 AI 智能体 。 皮查伊在播客节目中介绍了自己的工作方式:“如果每天都要了解过去 24 小时发生了什么,很容易就得花上一个小时。
Artificial Analysis 将 DeepSeek Search 纳入其 Search Index 实测,得分 69,在 27 个搜索产品中排第 17,价格为 $0.75/1k 次搜索,是实测中单价最低的付费 Search API。
Cactus Whistle 是一款 16.9 MB 的语音转文本模型,在 LibriSpeech test-other 上表现出与 Whisper base 相竞争的性能,速度略占优势、准确率相近,但在 test-clean 上未达到已公布的指标。该模型支持多种语言、词级时间戳,并可集成到工具调用系统中,是适用于 CPU 转录任务的多功能选择。
这篇教程在 Apple M4 的 CPU 上实测 Cactus Compute 的 16.9 MB 语音转写模型 Whistle,用配对说话人聚类 bootstrap 加 Holm 校正与 Whisper tiny 和 base 对比。
火山引擎启动 Seedance 2.5 4K 模型首批企业用户试用,定向供应全球 20 家工作室和导演,探索高端影视需求。该模型主打人物表演更细腻、参考生成与编辑一致性更精细,是 Seedance 2.5 一代中的最强模型。目前在用的 20 部作品中,最早下个月就有卫视 S 级 IP 播出。
Google 新论文提出 OO-Harness,将 agent harness 按代码类演化成共享家族,每个专用 harness 继承父类、只改本簇所需部分,再由路由器根据基础运行结果选择专用版或保留基础结果。
能在 Grok Bot 里直接操作 X,大概是有史以来最棒的事 🙏
中顺洁柔通过引入腾讯 WorkBuddy 企业旗舰版,实现了从总裁到全员的 AI 化转型,显著提升了决策效率、业务执行力和组织透明度。
Microsoft 发布报告称,与中国政府结盟的攻击组织 Storm-0940 使用开源 AI 渗透测试框架 ARTEX 自动化攻击全球数百个组织。ARTEX 在 GitHub 开源,能串联 LLM 智能体完成从侦察到数据窃取的渗透流程,部分入侵从首次定向到获得云特权访问不到 3 小时。