拉马努金机器 1

• 数学 × AI 周报 · 第 03 期：从「答对了」到「证明可查」 2026/07/06