📌 📄 内容摘要:
宇宙绵羊 (@techtech) 在 Deepseek-Prover-V2 丘成桐开测 中发帖
XHS@karminski 大佬发现，Deepseek-prover-v2模型不一定需要用Lean4语言描述问题，latex公式描述结合自然语言也行。
于是开测丘成桐。来源感谢： 2025年4月20日丘成桐数学水平考试题目与参考答案，来测AI啦 - 搞七捻三 - LINUX DO
目前进行到第三题
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/614177/1
─────────────────────────────
📢 来源：LINUX DO
