「AI数学研究」共找到 10801 篇相关文章
最高500万！6个项目签约！“决战紫金之巅”圆满收官 | Q推荐
12月12日，决战紫金之巅——云谷杯・2025人工智能应用创新创业大赛总决赛暨闭幕式在云谷中心举办。活动聚焦AI应用创新及“AI+”融合，现场有政策宣介、圆桌对谈等，6个项目签约，最高可获500万补贴。
OpenAI推出免费的、LaTeX 原生科研写作神器Prism
OpenAI推出免费科研写作工具Prism，可理解为“AI增强版的Overleaf”，整合LaTeX编辑器、协作工具和AI助手。它原生支持LaTeX，能云端实时协作，内置GPT - 5.2，即日起ChatGPT个人账户用户可访问。
ChatGPT 已经是新一代分发平台，创业公司该考虑怎么抓住增长红利了
文章指出ChatGPT已成新一代分发平台，创业公司应抓住增长红利。介绍了分发平台“开放 - 关闭”周期，分析ChatGPT最可能成最大消费平台，还给出创业公司选择平台标准及企业AI转型建议。
广义智能体理论：智能时代通向「万物理论」的新路径？
源自AI的「广义智能体理论」为探索「万物理论」提供新视角。它将物理、生命、AI系统纳入标准智能体框架，提出四大基本作用力或源于「智能场」，还为经典、相对、量子力学差异提供新诠释。
Anthropic实践发现：Multi-Agent系统的核心仍然是Prompt设计！
近期Anthropic分享构建多智能体研究系统最佳实践，提出8条研究智能体的提示工程与评估原则。其架构采用协调者 - 工作者模式，与传统RAG方法不同，使用多步骤搜索动态查找信息。
ACL 2025｜为什么你设计的 Prompt 会成功？新理论揭示大模型 Prompt 设计的奥秘与效能
英属哥伦比亚大学等团队剖析Prompt在LLM的CoT推理中调控模型内部信息流，构建量化Prompt搜索空间复杂度理论框架。研究解释提示有效的原因，提供设计高效提示词思路，实验验证理论框架。
人形机器人「网球运动员」来了！不靠预编程，银河通用×清华破解长程打网球难题
银河通用与清华联合提出LATENT研究，使人形机器人通过深度强化学习自主习得网球对打能力，实现从“机械复刻”到“智能决策”跨越。该研究提出新运动学习方法，构建“运动小脑”等，经实验验证性能优越。
如果你还不知道龙虾是什么，可以先试试 MaxClaw
去年开源模型 DeepSeek R1 火爆，今年个人 AI 助手 OpenClaw 成焦点。OpenClaw 在 GitHub 获大量 Star，MiniMax 基于它推出的 MaxClaw 是云端 AI 助手，功能多、易使用，在个人和企业场景都有大作用。
Auto Research最后一块拼图，Frontier-Eng Bench登场，在工程闭环里死磕最优
Einsia AI旗下Navers Lab论文Frontier - Eng推出新评测范式Generative Optimization，搭硬核评测系统，覆盖47个横跨5大工程方向的任务。评测多种模型，结果显示gpt 5.4最稳健，但距资深工程师水平尚远。
从Cursor返聘归来，90后华裔女高管带Claude开启日更模式：token成本比工程师工资低多了！
90 后华裔女高管 Cat Wu 推动 Anthropic 产品按天迭代。她介绍团队分工、产品决策围绕安全 AGI 使命，还谈及源码泄露、模型使用等问题，分享工具使用场景及对 PM 能力要求，鼓励用 AI 自动化工作。