搜索：通用科学计算

「通用科学计算」共找到 1627 篇相关文章

陶哲轩看傻：三破18年数学纪录！谷歌推出「AI爱迪生」，科研不再靠灵感？

5月中旬谷歌发布AlphaEvolve，30天攻克18年未解难题。它利用Gemini模型发现新算法，从AlphaGo获启发，能在编程空间搜索方案，或开启不靠‘灵感’的科学革命，还将改变科学家角色。

微软花17亿美元让Vaulted Deep将490万公吨有机废物埋入地下，以此获取碳减排额度。这是因微软AI和云计算业务使碳排放增加，为兑现碳负排放承诺而采取的行动。

Claude Code 创造者 Boris Cherny 提出“极简主义哲学”，认为最好的 AI 工具应是简单、通用、无偏见的“乐高积木”，把控制权还给用户。还回顾编程发展，介绍开发体验进化及 Claude Code 工作流。

SpaceX与英伟达合作设计Starmind AI1卫星计算载荷，每颗卫星搭载NVIDIA GPU和CPU，将数据中心算力部署太空，该设计也用于地面数据中心。但项目投入大，还面临管理集群等难题。

凌晨华尔街日报消息，特朗普政府正与英特尔谈判，拟将“芯片与科学法案”部分或全部资助转成公司股权获10%股份，约100亿美元，旨在助其重振代工业务，目前谈判初期，股价有波动。

香港中文大学10页论文提出新算法RXTX，用于计算矩阵与其转置的乘积XXᵗ。该算法结合机器学习搜索和组合优化技术，能源可节省5%-10%，时间节省5%，对多领域有深远影响。

北京时间昨夜今晨，微软Build 2025开发者大会Day 1开场，CEO萨提亚·纳德拉透露“智能体网络”概念。大会展示微软在开发者工具、办公中枢、云平台等多方面进展，还宣布Microsoft Discovery平台加速科学突破。

Meta发布Muse Spark模型，这是MSL团队首款模型。此前Llama 4表现不佳，刺激Meta重组。Muse Spark性能超Llama 4，计算效率提升，在测试中成绩优异，Meta AI战略转向闭源探索，模型已上线。

本文是藏师傅开发的 Codepilot 全平台通用开源 Agent 客户端的保姆级入门攻略，介绍了其特色功能，涵盖安装、配置服务商、聊天、技能使用等方面，助读者快速上手。

研究人员提出 Delethink 强化学习方法，训练大模型定期截断推理 token 至固定最大数量，以限制处理长思维链成本。经测试该模型在多方面超基线，且缓解计算成本限制，为长上下文推理提供路径。