宇宙绵羊 (@techtech) 在 Deepseek-Prover-V2 丘成桐开测 中发帖
XHS@karminski 大佬发现，Deepseek-prover-v2模型不一定需要用Lean4语言描述问题，latex公式描述结合自然语言也行。
于是开测丘成桐。来源感谢： 2025年4月20日丘成桐数学水平考试题目与参考答案，来测AI啦 - 搞七捻三 - LINUX DO
目前进行到第三题