清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路AI数学家来了！清华团队出品—— 他们推出AI Mathematician（AIM）框架，推理模型也能求解前沿理论研究，并且证明完成度很高。
来自主题: AI技术研报
6536 点击 2025-06-05 11:32
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
AI数学家来了！清华团队出品—— 他们推出AI Mathematician（AIM）框架，推理模型也能求解前沿理论研究，并且证明完成度很高。
首个专为ALLMs（音频大语言模型）设计的多维度可信度评估基准来了。
前段时间，OpenAI 研究员姚顺雨发表了一篇主题为「AI 下半场」的博客。其中提到，「接下来，AI 的重点将从解决问题转向定义问题。在这个新时代，评估的重要性将超过训练。我们需要重新思考如何训练 AI 以及如何衡量进展，这可能需要更接近产品经理的思维方式。」（参见《清华学霸、OpenAI 姚顺雨：AI 下半场开战，评估将比训练重要》）
你有没有遇到过这样的算力困境：买了 GPU，用不了几次就闲置烧钱，偶尔想用的时候却一卡难求？
基于开源模型继续在下游任务上使用私有下游数据进行微调，得到在下游任务表现更好的专有模型，已经成为了一类标准范式。
普林斯顿大学与字节 Seed、北大、清华等研究团队合作提出了 MMaDA（Multimodal Large Diffusion Language Models），作为首个系统性探索扩散架构的多模态基础模型，MMaDA 通过三项核心技术突破，成功实现了文本推理、多模态理解与图像生成的统一建模。
近日，具身智能公司「星际光年」宣布连续完成数千万天使轮和天使+轮融资，天使轮由峰瑞资本领投，嘉程资本跟投，天使+轮由云时资本领投，水木清华校友种子基金跟投。据悉，本轮融资将用于加速产品研发升级，扩大团队规模，加速场景落地。
不用引入外部数据，通过自我博弈（Self-play）就能让预训练大模型学会推理？
今年3月，DeepSeek迅速席卷全国医疗机构。据不完全统计，短短一个月内全国已经有 超300家 医院完成DeepSeek的本地部署，遍布北京、上海、安徽、四川、广东、河北、湖南、江苏等二十多个省市和自治区。
模型胡乱论证“1+1=3”，评测系统却浑然不觉甚至疯狂打Call？是时候给奖励模型打个分了！