正在加载线程详情
正在从 X 获取原始推文,整理成清爽的阅读视图。
通常只需几秒钟,请稍候。
共 1 条推文 · 2025年12月11日 06:19
RT @thinkymachines:祝贺 @axiommathai 取得的成就! AxiomProver 是一个使用 Tinker 进行微调的数学模型,它获得了最高分……