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 Lab
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
第三届世界科学智能大赛圆满收官！开放多项真实数据，1.6万人共探产业场景关键科学问题
OpenAI首席科学家访谈被紧急制止！有些名字现在不让说了……
字节Seed数学新模型，SOTA了
