「千禧年数学难题」共找到 1566 篇相关文章
数学奥赛高分摘金，位列大模型榜首，『书生』科学多模态大模型Intern-S1能力再升级 | 通专融合新进展
2025年CMO决赛首设AI测试，书生科学多模态大模型Intern-S1以102分位列大模型得分榜首，远超金牌线和国家集训队入选线。其推理能力提升得益于多项创新，未来将拓展至多领域科研。
姚班传奇陈立杰入职OpenAI！16岁保送清华，30岁拿下UC伯克利助理教授
最新消息称姚班大神陈立杰加盟OpenAI负责数学推理。他16岁保送清华，30岁成UC伯克利助理教授，长期从事理论计算机科学研究，近期聚焦扩散语言模型。
不会搭工作流？ComfyUI-Copilot迎来更新，说话就能搞定！
几个月前阿里推出ComfyUI - Copilot提升ComfyUI易用性与效率。近期它迎来更新，用智能节点推荐等功能解决新用户难题，核心采用分层多智能体框架，还具备参数探索等功能。
NeurIPS2025 Spotlight | RobustMerge: 多模态大模型高效微调模型合并的全新范式
中科院、中山大学、北大团队针对高效微调模型合并难题，提出「方向鲁棒性」概念，揭示 PEFT 模块合并失败主因，给出 RobustMerge 解决方案，提升性能，成果开源。
长三角破局：技术跑进无人区，产业链如何跟上？
中国制造业正从「跟随者」变为「开拓者」，但产业化体系滞后。长三角推出「一条龙」计划，解决供应链、验证和迭代难题，初步成果显现，正开启产业化范式革命。
澳洲放羊大叔引爆AI编程革命！Claude Code急推goal模式，不干完不许停
澳洲牧羊大叔用三行bash解决AI编程‘把事做完’难题，11天内被OpenAI、Anthropic和Hermes收编。Claude Code推出/goal功能，各公司实现路径不同，争的是工作流入口。
RAG新王：AccurateRAG屠榜SOTA
大模型记不住私有或实时信息，RAG 落地遇难题。AccurateRAG 是 Qualcomm 团队端到端工程方案，有 4 个模块化组件，在 6 个数据集上刷新 SOTA，解决 RAG 文档解析、检索和生成难题。
微软开源2025 ICML获奖框架，终结大模型多轮对话严重缺陷
微软开源2025年ICML获奖框架CoLLabLLM，可解决大模型多轮对话缺陷。它由四大模块构成，经多轮对话模拟和奖励优化模型。在三大基准平台测试显示，能在多样任务中高效协作。
个人开发者时代崛起！22岁印度开发者搞的业余项目被Groq看上，如今用户破6万
22岁印度开发者Zaid Mukaddam开发“Perplexity替代品”开源项目Scira，解决搜索难题。它功能强大，受多公司支持，用户破6万。还列举其他个人开发者成功案例，如TinyWow、Only Finders。
陶哲轩在线安利Claude Code：审稿意见全给它，15分钟欧了
科研人投稿论文常被审稿人“折磨”，陶哲轩用Claude Code修改论文，15分钟搞定，还捉出审稿人错误。他认为应让AI干脏活累活，人类解决难题，AI+人成数学界新趋势。