标签： 定理证明

- 入群领取知识星球折扣卷, 仅剩99份 -

最近更新

DeepSeek-Math-V2重磅发布：开源数学推理模型，IMO/CMO金牌水平，开启AI自我验证新纪元
AI 工具 AIGC 资讯
StepAudio R1：阶跃星辰开源首个原生音频推理模型，性能超Gemini 2.5 Pro，开启音频智能新纪元
AI 工具 AIGC 资讯
Ito开源AI语音听写工具：一键将口语意图转为精准文本，支持100+语言与本地隐私处理
AI 工具
阶跃星辰开源GELab-Zero：移动端GUI Agent模型，4B参数本地部署，Android日常任务准确率73.4%
AI 工具 AIGC 资讯