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
突破Agent长程推理效率瓶颈！MIT&NUS联合推出强化学习新训练方法
杨植麟被梁文锋叫醒了！Kimi新模型发布即开源，1T参数全线SOTA
4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦
一年破千万美金，一款海外AI创意引擎爆发了
全球最大AI模型聚合平台诞生！不争冠军只做擂台
谷歌AI攻克亚洲语言难题，2300种语言数字化计划正在推进
