11.11云上盛惠!海量产品 · 轻松上云!云服务器首年1.8折起,买1年送3个月!超值优惠,性能稳定,让您的云端之旅更加畅享。快来腾讯云选购吧!
文章介绍了中国人工智能领域的奠基人吴文俊院士,作为首届国家最高科技奖得主,他在数学机械化与人工智能领域取得卓越成就。吴文俊奖的设立旨在传承其科学精神,激励科研创新,推动中国人工智能从追赶到引领的发展历程。该奖项涵盖多个类别,成为国内智能科技最高荣誉,见证了中国AI产业的壮大与突破。
华为AI"小艺"在2025年国际数学奥赛(IMO)中斩获银牌,以34分(满分42分)的成绩仅落后金牌线1分。其创新性的"自然语言大模型+形式化证明"双脑协同架构,攻克了5道难题,其中4道获满分。该系统通过"思维风暴"生成多样化解题思路,再经"AI同行评审"筛选最优方案,并融合形式化验证反馈进行迭代优化。这一突破标志着AI在复杂数学推理领域达到新高度,未来将赋能教育领域,推动智能解题方法创新。IMO主席Gregor Dolinar教授评价其答卷"展现了非凡的成就"。
文章指出企业最担忧的是数据失控而非技术失灵。馨月老师提出"零知识证明协议"解决方案,该技术允许跨企业协作分析风险,同时保持原始数据加密。案例显示某物流企业因安防系统数据泄露导致仓储布局被复制,年损失超2000万元。该方案已应用于上海徐汇商圈,帮助30家企业通过数据协作降低事故率,同时满足《个人信息保护法》要求。技术核心是"多方安全计算引擎",通过分布式节点处理数据,单节点被攻破也无法获取完整信息。某跨国银行实测显示该方案使联合风控模型训练效率提升40%,数据泄露风险归零。馨月强调安全不是封闭围墙而是流动桥梁,该机构正参与制定《AI安防数据流通标准》,推动行业建立可信协作生态。
近日,随着高考的圆满结束,一场别开生面的“数学擂台赛”在各大AI大模型间悄然展开。多家知名科技公司的大模型被邀请参与2025年数学新课标Ⅰ卷中的14道客观题测试,以此检验它们在逻辑推理和数学能力上的实力。此次测试题目包含8道单选题、3道多选题以及3道填空题,满分设定为73分,且测试过程严格遵循高考判分原则,确保结果的公正性与准确性。 测试成绩揭晓�
近日,随着高考的落幕,一场别样的“高考”也在各大AI大模型之间展开。此次测试邀请了多家知名科技公司的大模型,参与2025年数学新课标Ⅰ卷中的14道客观题测试,以此检验它们在逻辑推理和数学能力上的表现。测试题目包括8道单选题、3道多选题和3道填空题,满分73分,测试过程严格遵循高考判分原则。 测试结果显示,字节跳动的豆包和腾讯的元宝(T1)以68分的总成绩�
【新智元导读】AI辅助人类,完成了首个非平凡研究数学证明,破解了50年未解的数学难题!在南大校友的研究中,这个难题中q=3的情况,由o3-mini-high给出了精确解。就在刚刚,AI完成了首个非平凡研究数学证明!完成这项研究的,是美国纽约布鲁克海文国家实验室凝聚态物理与材料科学分部的一位华人学者Weiguo Yin。论文地址:https://arxiv.org/abs/2503.23758在这项研究中,作者在一维J_1-J
18日,LG公开了韩国首个推理型AI大模型——一种像人类一样经过逻辑性和阶段性的思考过程后得出答案的AI模型——它与从已学习的数据中寻找答案的传统模型有所不同。来自中国的Deepseek以低成本、高性能震惊全世界,甚至撼动了“AI先锋”OpenAI的地位。LG计划逐步以B2B的形式扩大服务。
3月5日,在湖北武汉光谷第二高级中学的高三二调表彰会暨百日誓师活动中,一位高三数学老师的演讲在网络上迅速走红,引发了广泛关注和讨论。这位老师在演讲中提出了一个引人深思的问题:“有了AI为什么还要读书?”他随后用唐僧取经的故事进行类比,指出“使唐僧成为唐僧的不是经书是取经之路”。这一观点深刻揭示了读书和成长之间的内在联系,强调了读书不仅仅是�
对物理的直观理解是人类认知的基础:期望物体的行为,具有可预测性,也就是说,物体不会突然出现或消失,穿过障碍物,或随意改变形状或颜色。这种对物理的直观理解在更多物种中得到证实,包括猴子、鲸鱼、乌鸦等。这充分展示了V-JEPA模型对直观物理理解的稳健性,即使是较小的模型也能实现对直观物理的有效理解。
【新智元导读】DeepSeek团队最新力作一上线,就获得Ai2研究所大牛推荐,和DeepSeek铁粉们的热情研读!他们提出的CodeI/O全新方法,通过代码提取了LLM推理模式,在逻辑、数学等推理任务上得到显著改进。DeepSeek团队成员的一举一动,都颇受圈内关注。JunxianHe还曾在FacebookAI研究院和Salesforce研究院工作过一段时间。