「多平台搜索」共找到 5368 篇相关文章
一个问题几百美元，DeepMind智能体一次搞定了9个Erdős问题
DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题，还自动验证，解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器，研究展示了AI辅助正式证明搜索技术潜力。
把AI 时代最重要的判断力当专业学科训练，专注提升判断力
文章指出AI时代人们多只有“领域内判断力”，判断力可当学科训练。介绍预测大赛中普通人表现超CIA分析师，1小时训练能提升10%准确度，还给出判断力3层栈框架及30天训练清单。
阿里财报+96%是假象：扒开数据，真利润只剩8600万
5月13日盘前阿里发布2026财年Q4财报，主流标题称净利润同比增96%，股价盘前一度涨7%。但经分析，扣掉投资浮盈后真利润仅8600万。文章还给出财报分析方法、释放的关键信号及投资建议。
谷歌推出Googlebook：为Gemini重新造一台笔记本
谷歌宣布推出全新笔记本产品线Googlebook，专为Gemini AI打造。它融合Android和ChromeOS体系，有Magic Pointer等新功能，与Android手机协作顺畅，还新增Quick Access功能，首批设备由多厂商合作生产，今年秋季发布。
完全运行在浏览器中的全功能 3D 建筑编辑器无需 AutoCAD\Revit，也无需每年 5,000 美元的授权费用，100%开源免费
Pascal Editor是完全在浏览器运行的3D建筑编辑器，开源免费，无需AutoCAD、Revit及高额授权费。它采用节点式场景结构，有多种特性，技术栈丰富，分层设计让核心逻辑可复用，性能优化亮点多。
5.2万Star项目被迫出走GitHub，但开源世界只剩更差的选择
Ghostty 项目创始人 Mitchell Hashimoto 宣布项目将逃离 GitHub，因其频繁故障影响工作。开发者群体对 GitHub 现状失望，认为平台重心转向 AI 产品致基础设施变差。但 GitHub 外的开源替代方案都有明显缺陷。
一张图生成「能动」的3D资产：VAST+香港大学AniGen把AIGC推向动画、游戏、仿真与具身智能 (SIGGRAPH 2026 TOG)
SIGGRAPH 2026论文AniGen，由VAST和香港大学研究，能从单张图片直接生成带骨架与蒙皮权重的可动画3D资产。它解决了现有方法的不足，在多方面表现出色，对多个领域意义重大。
MMX-CLI给AI Agent装上七种感官，内容创作更方便
MiniMax发布的MMX - CLI命令行工具，给AI Agent装上七种新感官，具备图像生成、视频创作等能力，可一站式解决内容创作问题。它安装使用简单，功能多，还能集成到现有工作流，不过采用按量付费。
帮普通人「驯服」Agent，这支硅谷初创团队冲上了X全球热搜
3月30日，硅谷初创公司Creao AI发布新品CREAO，冲上X平台全球热搜。它让AI根据自然语言描述编写代码，构建可持续运行系统，无需写代码、配工具和调试，填补AI Agent与普通用户间的‘真空地带’。
罗振宇、张鹏、王立行等齐聚一堂，AIFUT大会Day1上午场的全面总结来了。
AIFUT大会首日上午，多位嘉宾分享观点。王磊谈亦庄如何拥抱AI；卡兹克称身份被重新定义，好奇心不可被定义；罗振宇认为人最后价值是告诉AI要什么；还有Tim、张鹏、谷大白话、王力行等分享见解。