AI Chat
AI Drawing
AI Img Proc
AI Video
AI Audio
AI Coding
AI Office
AI Design
AI Writing
AI Reading
AI Detection
Prompts
Frameworks
AI Models
AI Learning
AI Directory
AI快讯
♥
English
中文
English
量子位
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
Direct Link
">
View on Mobile
Content assisted by AI. Please review carefully.
Related Navigation
谷歌AI获IMO“唯一金牌”，硅谷夹道祝贺，奥特曼丢人又丢人
4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦
具身智能大脑+首个SaaS开源框架，智源研究院刷新10项测评基准，加速群体智能新范式
AI打假AI，拿下SOTA丨厦大&腾讯优图
字节&MAP重塑大模型推理算法优化重点，强化学习重在高效探索助力LLM提升上限
抢跑GPT-5，智谱开源新SOTA模型，一句话搞出能看视频、发弹幕的B站！
