「科研难题」共找到 1559 篇相关文章
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。
被锁死的想象力：当AI成了科研本身，人类只能是观众
新智元报道，Steve Newman指出，我们对未来想象力或被锁死，AI一旦跨过「适应性阈值」，将进入「不可认知时代」。他提出「谷神星实验」，揭示AI超越人类节奏后，人类社会不再是必经之路等残酷真相。
突破后训练瓶颈？Meta超级智能实验室又一力作：CaT解决RL监督难题
AI后训练依赖监督微调或程序化检查器，但很多有价值任务缺这两种资源。Meta超级智能实验室等机构研究者提出CaT方法，把推理时额外计算当教师信号，为大模型提供监督，实验显示效果显著。
人类56年解不出，谷歌AI一夜连破9道世纪难题！
Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。
揭秘腾讯内部科研组织ARC Lab：找最好的人才，做最难的事情
文章揭秘腾讯ARC Lab，它在行业低谷时创立，坚持找最好人才、做最难之事。介绍运营机制，如小团队、技术影响力漏斗、绩效体系等，还阐述其在学术、行业、业务、社会和人才方面的影响力。
【倒计时一周】AI眼镜芯生态沙龙：从芯片到整机的协同创新
当智能手机创新遇瓶颈，AI眼镜成新风口。当前市场高速增长，但面临技术、成本、场景和产业链协同等难题。本次沙龙旨在凝聚产业链共识，解决发展难题，共探产业未来，为各方提供合作契机。
1.6K Star！阿里开源 zg：一条命令解决 Agent 时代的本地检索难题。
AI Agent 用 ripgrep 检索常遇难题，因代码命名和自然语言有‘词汇鸿沟’。阿里开源的 zg，将三种搜索能力整合进 CLI 工具，可用于终端与人机交互，还介绍了其安装、建索引及搜索的方法。
119 页硬核报告丨AI 2030：算力、能源与科研的未来预测
Epoch AI 受 Google DeepMind 委托编写报告，探讨 AI 规模扩张至 2030 年在计算、投资等方面的影响，认为扩张很可能持续，还会加速多领域科学研发，虽预测有不确定性，但 AI 会成关键技术。
南京大学开源SteadyDancer模型实现完美动作迁移，首帧保留彻底解决身份漂移难题
南京大学、腾讯PCG与上海人工智能实验室联合推出SteadyDancer，这是首个基于Image-to-Video范式并严格实现首帧保留的开源人像动画框架，解决了传统方法身份漂移难题，在多方面表现优异。
陶哲轩联手GPT-5，1小时攻克数学难题！全程无需编码，OpenAI副总惊呼
陶哲轩联手ChatGPT攻克MathOverflow复杂数学题，节省数小时编码时间。他先让ChatGPT生成代码，后改用分步对话找参数，还验证结果。AI助其发现错误、优化流程，凸显在数学研究的潜力。