清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路AI数学家来了！清华团队出品—— 他们推出AI Mathematician（AIM）框架，推理模型也能求解前沿理论研究，并且证明完成度很高。
来自主题: AI技术研报
9886 点击 2025-06-05 11:32
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
AI数学家来了！清华团队出品—— 他们推出AI Mathematician（AIM）框架，推理模型也能求解前沿理论研究，并且证明完成度很高。
Sora、可灵等视频生成模型令人惊艳的性能表现使得创作者仅依靠文本输入就能够创作出高质量的视频内容。然而，我们常见的电影片段通常是由导演在一个场景中精心布置多个目标的运动、摄像机拍摄角度后再剪辑而成的。例如，在拍摄赛车追逐的场景时，镜头通常跟随赛车运动，并通过扣人心弦的超车时刻来展示赛事的白热化。
根据TechCrunch和Semafor等报道，美国财政部正在审查Benchmark Capital对中国初创公司Manus AI的7500万美元投资，据两位知情人士透露，这已经反映出中美之间的科技竞争已经升级到政治层面。
新模型在MATH上（以数学竞赛为主）动辄跑分80%甚至90%以上，却一用就废。
2024年11月，德国音著协GEMA 成为世界上第一个对未授权使用受保护音乐作品的人工智能（AI）生成系统供应商提起诉讼的版权集体协会。
浙大、腾讯优图、华中科技大学的团队，提出轻量化MobileMamba！ 既良好地平衡了效率与效果，推理速度远超现有基于Mamba的模型。
Notion 今天举行了一个叫 Make with Notion 的发布会，这次发布会发布了一系列的新功能和产品，包括了表单（Forms）、布局（Layouts）、自动化（Automations）、Notion AI、交易市场（Marketplace） 以及大家最期待的 Notion Email。
Emad认为，我们现在已经拥有制作高质量视频的所有技术，只是这些技术尚未整合在一起，我们需要更多的技术架构突破，视频领域可能不像语言领域那样存在一些正在酝酿的新突破，但速度会越来越快。这些技术需要从研究阶段走向实际工程应用，且将在未来几年实现。
近日，具身智能领域初创公司穹彻智能（Noematrix，上海穹彻智能科技有限公司）宣布完成累计数亿元人民币的天使轮和Pre-A轮两轮融资。
程序员福音！OpenAI新推出的模型API全部支持结构化输出，JSON Schema匹配率高达100％，成本还立减一半。