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
找ChatGPT谈恋爱多是“日久生情”？！MIT&哈佛正经研究
智元办机器人挑战赛：清华&上海AILab夺冠，华南理工“单人成团”拿亚军
摩尔线程的野心，不藏了
MEET2026挤爆了，AI圈今年最该听的20+场演讲&对谈都在这
4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦
机器人入职洗衣房，开始打工挣钱！苹果前AI高管打造
