AI Feeds
动态
介绍开源定理证明器Goedel-Prover-V2
AK
Goedel-Prover-V2
迄今为止最强的开源定理证明器
动态
AK
2025-07-16
原文
打开互动版
相关内容
ICML 2026论文复现挑战，750+人参与，有GPU积分奖励
GPT-5.6因权限配置错误可能删除用户主目录
开源国产手柄平替Codex Micro，将手柄操作转成Codex操作
提醒ChatGPT重置券今晚到期
OpenAI卖篮球引发内部调侃
