X (Twitter)

正在加载线程详情

正在从 X 获取原始推文,整理成清爽的阅读视图。

通常只需几秒钟,请稍候。

Yangyi (@Yangyixxxx): Deepseek发布了模型DeepSeekMath-V2 在IMO-ProofBench和竞赛(如IMO 2025的5/6问题)以及Put… | Thread Easy