「搜索未知解」共找到 629 篇相关文章
谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦
谷歌用Gemini对700个Erdős猜想做攻关实验，推进13个问题。但他们指出，这并不意味着AI能自动做数学研究，其背后核验等成本远超想象，还需警惕‘潜意识抄袭’。
OpenAI推出免费的、LaTeX 原生科研写作神器Prism
OpenAI推出免费科研写作工具Prism，可理解为“AI增强版的Overleaf”，整合LaTeX编辑器、协作工具和AI助手。它原生支持LaTeX，能云端实时协作，内置GPT - 5.2，即日起ChatGPT个人账户用户可访问。
AMS | 西工大向锦鹏、宋述芳等：一种用于伴随方程求解的物理约束图神经网络
伴随方法用于高维优化问题，但求解伴随方程代价大。本文提出物理约束图神经网络(ADJ - PCGN)，构建流场解与伴随向量映射模型，有精度和泛化性，能加速优化，方便嫁接求解器。
3.9k星星爆火硬件开源，用Wi-Fi实现室内人体活动检测。
智能家居有诸多需求待解，如家庭安防、老人看护等。ESPectre开源项目用Wi-Fi检测室内人体移动，无需摄像头和红外传感器，配件成本低，利用Wi-Fi信道状态信息及高效算法实现功能。
明天，极客公园大会主舞台，7 款今年最值得关注的 AI 产品，速来！
今年极客公园创新大会为7款AI产品策划「线下发布会」，7位创始人登台发布或更新产品。产品涵盖笔记、AI Agent、相机等类型，均有特色亮点，创始人还会分享经验与思考。
第一批人形机器人，已经开始倒闭了
人形机器人被视作“下一个万亿终端”，但2025年赛道先传来倒闭声，如K - Scale Labs烧光融资关门。融资收紧、供应链缺位，技术、成本、场景等难题待解，不过人形机器人未来在多场景有潜力。
大模型公司不搞浏览器搞Agent，实测找到原因了
文章实测阶跃星辰桌面Agent小跃，它能操作命令行，可自然语言驱动计算机功能，有悬浮球形态，能联网、搜索、处理表格等，还支持复用操作、定时任务，但也存在速度慢等不足。
AI胡说八道这事，终于有人管了？
AI大模型幻觉问题棘手，GPT - 5幻觉率降低。苏黎世联邦理工学院和MATS研究提出低成本、可扩展检测法，精准识别实体级幻觉，分类器超现有基准，还能识别逻辑错误，团队已公开数据集。
告别无效计算！新TTS框架拯救19%被埋没答案，推理准确率飙升
现有TTS方法存在路径同质化和中间结果利用不足问题。华为诺亚方舟实验室等机构提出SRCA框架，含检查点注入、答案聚类搜索和检查点候选增强组件，实验显示能提升推理准确性、效率，降低成本。
新iPhone的AI怎么样，得看苹果最近的收购了
苹果官宣iPhone 17发布会，同时据爆料正严肃讨论收购法国AI初创公司Mistral和美国AI搜索工具Perplexity。苹果在生成式AI领域滞后，收购或能补短板，但目前收购充满悬念。