「数学超级智能」共找到 3891 篇相关文章
谷歌DeepMind最新论文，刚刚登上了Nature！揭秘IMO最强数学模型
谷歌DeepMind的AlphaProof在IMO获接近金牌的银牌成绩。它结合大模型直觉、强化学习和Lean形式化证明解题，虽在速度、泛化和读题上有局限，但开启了人类数学家与AI协作新阶段。
@所有人：ChatGPT已正式加入群聊！
昨天，OpenAI让ChatGPT进群，它能被@、插话、总结，还能看聊天记录。群聊让它从‘私人助理’变‘群体成员’，面临多重语境挑战，也成了AI学习社交分寸、迈向‘社会智能’的试炼场。
南华期货 x TencentOS：如何实现CentOS操作系统的“无感”切换？
2024年南华期货与腾讯合作，依托TencentOS Server完成200余套操作系统迁移，实现核心业务零事故切换。其分三阶段实施，TencentOS Server以无感迁移、稳定性强、利于生态协同等优势获选，迁移成效显著。
夸克 AI 对话助手的邪修打开方式：一句话直通网盘，看电影、找资料全拿下
阿里“C计划”首个成果，夸克App深度整合对话助手，用Qwen3 - Max模型。可随意切换模式，其独特之处是提问资料或电影，能直返夸克网盘链接，“搜、用、存”一气呵成，与其他AI助手不同。
无VAE扩散模型！ 清华&可灵团队「撞车」谢赛宁团队「RAE」
清华大学智能视觉团队和快手可灵团队联合推出《Latent Diffusion Model without Variational Autoencoder》，提出 SVG 框架，用预训练视觉特征编码器替代传统 VAE，解决了传统「VAE + Diffusion」范式的效率与通用性痛点。
马斯克亲自点名Karpathy迎战Grok 5！别神话LLM，AGI还要等十年
OpenAI创始元老Karpathy称AGI仍需10年，指出实现AGI难题多。马斯克点名其与Grok 5编程大战被拒。Karpathy还谈及LLM、强化学习、智能体等观点，主张合理看待AI发展。
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题，GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节，重塑数学研究。
Uber&WisdomAI揭露95%AI Agent落地失败的真相 ！
在‘Beyond the Prompt’技术论坛上，Uber、WisdomAI等企业揭开AI智能体落地难症结。指出90%失败源于‘喂错料’，信任是落地‘生死线’，记忆是架构设计，多模型编排与场景化交互决定用户体验上限。
告别微调！腾讯提出Training-Free GRPO：无需更新参数，还能保证泛化性，成为传统RL的有力替代
大型语言模型在专业领域表现不佳，传统微调方法成本高、易过拟合。腾讯优图实验室提出Training - Free GRPO，无需更新参数，通过上下文学习提升性能，成本低且泛化性好，是传统强化学习有力替代。
景不动人动，MLLM如何面对「移步换景」的真实世界？OST-Bench揭示多模态大模型在线时空理解短板
上海多所高校研究者提出 OST - Bench，从智能体探索场景动态在线视角挑战大模型能力。它更贴近真实世界，揭示主流多模态大模型在线时空理解短板，为未来模型发展指明方向。