「大学生国际数学竞赛」共找到 507 篇相关文章
AI驱动高端MLCC转卖方市场，国产厂商如何接招抓住风口?
随着AI等技术发展，高端MLCC从“买方市场”转向“卖方市场”。国产龙头微容科技表现亮眼，在高端市场与国际巨头同台竞技，其研发出“零失效”产品，构建三重信任获客户认可，还肩负国家使命助力产业发展。
从平面几何出发：形式化验证如何驱动MLLM的推理能力跃迁
多模态大语言模型在复杂数学与几何推理中有缺陷，现有训练方式让模型难有鲁棒推理能力。上海交大等团队提出“以形式化增强非形式化推理”方案，构建完整闭环，提升模型推理及泛化能力。
无需奖励函数！我们意外构建了自我进化的AI系统
牛津大学发现LLM可通过“部署 - 验证 - 再训练”循环自我进化，绕开人工奖励函数设计瓶颈。在三个经典规划领域实验效果惊人，还在理论上证明其与强化学习的数学等价关系，有优势也有隐患。
NeurIPS 2025 Best Paper | 扩散模型不为人知的“时间差”：为什么先学会创作，后学会抄袭？
深度学习中，扩散模型能生成新图像且抗过拟合。巴黎高师和博科尼大学研究团队论文指出，这源于隐含的动力学正则化，训练分两阶段，数据量增加会拉开‘泛化窗口’，还给出数学解释。
我国Chiplet产业的真实水位与全产业链突围
国内Chiplet市场快速增长，但与国际仍有差距。国家和地方给予政策与资金支持，多个联盟推动标准化。企业在设计、封测、EDA等领域积极布局，但面临核心技术、设计测试、产业链协作等挑战。
GPT-5.2技术炸场！6大核心突破，办公效率拉满
OpenAI凌晨发布GPT-5.2，把专业级AI门槛拉到新高度。它有6大核心技术突破，精准戳中职场痛点。在GDPval基准测试中表现出色，有三级模型矩阵，不同版本满足不同需求，各方面能力均有显著提升。
36年卷积猜想被解决，华人唯一作者，AI或受益
华人学者 Yuansi Chen 解决 36 年的 Talagrand 卷积猜想数学问题，论文证明布尔超立方体上热半群下非负函数有更好尾部界限，除额外 log log 因子，主要问题已解决，对多领域有基础意义。
他发明了价值万亿的AGI，如今穷困潦倒
1997年，马克·古布鲁德首提AGI概念，警告技术突破对国际冲突的影响。如今AGI成巨头博弈焦点，价值万亿，但他未获名利仍清贫。他呼吁遏制AI军备竞赛，提醒别让技术失控。
Qwen“半成品”推理模型刷下AIME满分，俘获大批国外开发者！实测碾压GPT-5 Thinking、还能写侦探小说
阿里发布 Qwen3-Max-Thinking 早期预览版，虽是‘半成品’，在数学推理竞赛中达 100% 正确率。Qwen3-Max-Preview 多项测试领先，速度超 ChatGPT，还成 AnyCoder 默认选项，但未开源。实测表现有优有劣。
ICIG 2025：共话图像发展新坐标
2025年10月31日至11月2日，第十三届国际图象图形学学术会议（ICIG 2025）在徐州举行，700余人参会。大会展示前沿成果，设多场论坛与赛事，专家认为其为领域发展注入新动力，巩固中国学术交流地位。