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打假AI，拿下SOTA丨厦大&腾讯优图
AI打假AI，拿下SOTA丨厦大&腾讯优图
刘强东连投3家具身智能！京东美团「战火」烧到外卖之外
拿下3D生成行业新标杆！昆仑万维Matrix-3D新模型鲨疯了，一张图建模游戏场景
AI打假AI，拿下SOTA丨厦大&腾讯优图
小扎开价14亿让他换个地方打工，库克连挽留尝试都没有
