「AI数学家系统」共找到 10581 篇相关文章
POF | 西北工业大学宋家豪、张伟伟等：一种基于伴随方法的物理信息神经网络预处理框架
物理信息神经网络（PINNs）在正问题中的病态是其应用于复杂工程问题的局限。该研究设计针对损失函数的预处理框架，通过降低PDE系统条件数缓解PINNs病态，还引入伴随方法解决网络参数梯度缺失问题。
光掩模版：芯片产业的 “隐形胜负手”
光掩模版是芯片制造的“微观底片”，其制造流程复杂，精度要求达纳米级。全球市场规模持续增长，亚太占比超60%。中国企业已在部分环节突破，但仍面临高端设备依赖、材料瓶颈和人才短缺挑战。未来技术融合与国产化生态建设将助力产业发展。
李飞飞一年前究竟说了啥？怎么又火了
AI教母李飞飞一年前访谈再引关注，她指出大语言模型或许并非真正智能，其基于一维语言信号训练，在理解三维物理世界存在局限。相关实验也证实大模型在物理任务表现差，不过也有人提出不同观点。
可灵 2.1 首尾帧藏师傅外挂教程：两张图→大片，附万能提示词
作者分享可灵 2.1 首尾帧模型测试与使用教程，解决图片和提示词生成难题。介绍三种拿图法，给出 AI 生成提示词方法及原则，还指出可将流程固化、特效升维，提升视频创作效率与价值。
上线8个月、ARR破亿美元，45人团队每天支持用户构建 10 万个项目！CEO分享用人秘籍：高薪员工不一定是万金油
Lovable上线8个月ARR破亿美元，活跃用户超230万。CEO Anton Osika做客节目，探讨AI人才招用、品牌建设等问题，认为人才第一、品牌第二，还分析了竞争态势及收入构成，80%收入来自构建复杂应用程序的用户。
无需训练的LLM对齐方法综述
大型语言模型应用引发担忧，传统微调方法有短板，免训练对齐（TF Alignment）应运而生。本文是首篇系统综述TF对齐技术的论文，提出三阶段分类框架，实验显示TF方法优势明显，还指明未来研究方向。
对骂之外，奥特曼正筹划脑机接口新公司，狙击马斯克的Neuralink
山姆·奥特曼正筹划脑机接口公司Merge Labs，对标马斯克的Neuralink。新公司以8.5亿美元估值融资2.5亿，OpenAI或投。此时，二人在X上因苹果推广ChatGPT起争执，脑机接口竞赛也将开启。
您猜怎么着？Grok 4进决赛，大模型对抗赛Gemini全军覆没，马斯克「装」起来了
谷歌举办的 Kaggle AI Chess 比赛中，半决赛 Grok 4 击败 Gemini 2.5 Pro 进决赛，o3 也战胜 o4 - mini 晋级。Grok 4 与 Gemini 2.5 Pro 对决焦灼，最终 Grok 4 涉险晋级，明天将与 o3 争夺冠军。
LLM-based Agent的代码生成综述
这篇2025年的综述指出，传统代码生成技术难完成复杂开发任务，而基于大语言模型（LLM）的代码生成代理应运而生。它把LLM作为“大脑”，具备自主规划等能力。文章梳理了该领域的核心特征、技术体系、应用实践等，也剖析了挑战与未来方向。
MLLM集体翻车，缺乏婴儿级常识！业界首个核心认知基准发布，LeCun转赞
当前大模型在12项核心认知上普遍落后人类10 - 30%，越大的模型越易靠「背答案」糊弄。团队公开首个系统评测框架和题库，用Concept Hacking方法识破模型真假理解，指出模型存在核心知识缺失等问题。