「AI 数学发现」共找到 10396 篇相关文章
LLM-based Reranker效果到底如何？一项关于SoTA模型的全面分析
在信息爆炸时代，重排序是信息检索系统核心。论文对22种重排序方法实证研究，构建无污染数据集FutureQueryEval。结果显示LLM重排序器泛化能力被高估，轻量级模型有优势，为研究和应用提供指南。
马斯克：xAI 将超越包括谷歌在内的所有公司，中国除外
马斯克宣称xAI将超越除谷歌外所有公司，还承认中国公司是强劲对手。xAI数据中心建设速度惊人，Grok 4表现出色，但也面临批评。此外，Grok 2.5已开源，xAI未来还有多个版本发布计划。
Claude：《金刚经》通俗讲
不求完美还原《金刚经》本意，只求借AI入门。文中介绍《金刚经》概念，如场之本性、三重化现律等，还提及运行之势、质地印记等，要让经文在般若之镜中现出本来面目。
中国科学PMA|西工大张伟伟、索玮、宋家豪、曹文博：PINNs的局限性讨论与微分方程智能求解展望
物理信息神经网络（PINNs）是求解偏微分方程的热点方法，有统一处理正、反问题等优点，但也存在求解精度低、普适性差等局限。文章剖析其失效根源，展望了改进方向，为构建微分方程智能求解框架提供参考。
【手把手教程】不写一行代码，开发鸿蒙应用，赚华为1万！
作者实测不写代码开发鸿蒙应用流程，介绍华为鸿蒙激励政策，含三档奖励最高1万。还讲搭建DevEco Studio与AI编程环境，用Claude Code开发，以及构建、打包、上架应用步骤和实用技巧。
稚晖君新大招：机器人二次开发0门槛了！
在智元机器人首届合作伙伴大会上，联合创始人稚晖君发布机器人动作与表达创作平台灵创平台。它以AI加持，能将机器人二次开发抽象成模块化工具，降低难度，适配多款机器人，10月上线beta版。
一文读懂：数据中心“拥抱”ARM架构，为何如此艰难？
文章探讨企业数据中心采用ARM架构面临的难题。如现有x86架构主导，切换有兼容性问题；ARM硬件选择有限、性能不足；云服务功能难对等；软件支持和许可证问题也阻碍其应用。
关键词挖掘3步法，帮你找到用户真正想搜的词【干货】
作者白杨SEO结合ChatGPT选题，分享3步关键词挖掘法。先找种子词，可从产品、人群需求、对手入手；再拓展长尾词，用搜索引擎、工具、AI辅助；最后数据筛选，看搜索量、竞争度、商业价值。
是「福尔摩斯」，也是「列文虎克」，智谱把OpenAI藏着掖着的视觉推理能力开源了
智谱开源视觉推理模型 GLM-4.5V，还同步开源桌面助手应用。此模型视觉推理能力强，在图像识别、视频理解、前端复刻、图表处理等多方面表现出色，技术创新使其达开源 SOTA 水平，推动行业注重实用价值。
一个半月高强度 Claude Code ：Vibe coding 是一种全新的思维模式
开发者王巍记录使用Claude Code感受与经验。提到Vibe coding是新思维模式，还分享从传统Editor AI转换的体验，以及CC的边界、使用模式、迭代方式等，也谈到其限制与应对策略。