「出行与生活」共找到 6631 篇相关文章
谷歌与OpenAI同获ICPC 2025金牌！GPT-5满分夺冠，Gemini攻破人类队伍都没解出的难题
ICPC是计算机程序设计领域的“奥林匹克”。今年GPT - 5满分、Gemini 2.5 Deep Think解10题，达金牌水准，超越人类强队，标志AI在算法竞赛“超车”，证明其具备临场推理等能力。
宇宙尺度压缩：Scaling Law的边界，柏拉图表征收敛于物质和信息交汇，解决P与NP问题，Simulation假说……
超对称公司在BigBang - Proton实现跨尺度跨结构科学多任务学习，提出宇宙尺度压缩构想。文章论证其科学基础、工程可行性与意义，探讨Scaling Law边界，还给出宇宙尺度压缩计划和相关假设。
宣战马斯克！OpenAI进军脑机接口，Altman圆8年前梦想
英国金融时报消息，OpenAI及其首席执行官Sam Altman将支持新脑机接口公司Merge Labs，与马斯克的Neuralink竞争。Merge Labs正融资，估值8.5亿美元，新资金主要由OpenAI风投提供。8年前Altman就提及人类与AI融合，如今他选择支持Merge Labs实现脑机接口梦想。
AMM｜西工大 董戴玮、索玮、寇家庆、张伟伟：PINN-MG——受多重网格启发的迭代法与物理信息神经网络混合求解框架
西北工业大学团队提出PINN - MG框架，结合迭代法与物理信息神经网络。迭代法消除局部高频振荡误差，PINNs校正全局低频误差，在多方程测试中加速效果显著，还克服不定亥姆霍兹方程求解发散问题。
GitHub 8k star！AI Gateway 如何帮你3行代码接入1600+ LLM，实现成本、可靠性与安全三赢？
Portkey AI Gateway是面向生产环境的开源AI Gateway，支持超1600款模型，通过1个API接口实现快速、可靠、安全的模型路由。它能解决产品开发和使用中的痛点，有统一API接口等核心功能。
RL 将如何提高具身大模型 VLA 泛化性？清华大学团队NeurIPS 2025文章分析 RL 与 SFT 泛化性差异
清华大学团队在NeurIPS 2025发表文章，揭示强化学习（RL）提升具身大模型VLA泛化能力的优势，对比其与SFT差异，还提出评测基准和训练方法，为VLA训练提供新方向。
AI时代的传统车企转型：广汽的“双核”战略、组织裂变与自研之路｜行知数字中国
本文讲述广汽集团数字化转型历程与规划。在新兴车企冲击下，广汽开启转型，从组织架构破冰到技术突破。转型中业务、组织、文化三重裂变，现进入 GDA 3.0 提出双核战略，还分享国企转型方法论及自研重要性。
华师大智金院孵化金融原生基模Mint-Agent：超越GPT-5.6与Claude Opus 4.8，商业订单已超亿元
华东师大智金院团队孵化的金融原生基模 Mint - Agent 发布，在 FinanceAgentBench v2 上表现超 GPT - 5.6 - Sol 与 Claude Opus 4.8，单题推理成本低，商业订单超亿元，进入规模化金融场景验证阶段。
从“被 AI 取代”到“用 AI 重构组织”，奇点智能产品大会聚焦产品、组织与商业重塑这些真问题
7月17 - 18日，CSDN与奇点智能研究院联合举办「2026奇点智能产品大会」，围绕十二大专题展开。主会场跳出模型竞赛，多位行业大咖将分享见解、深度讨论，还准备了AI产品落地资料包。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。