数学 × AI 周报 · 第 03 期：从「答对了」到「证明可查」 - Ma's Tech Blog