何知微

探索 AI 在数学与物理基础问题中的辅助证明与建模。