前沿科技AI破解50年未解数学!南大校友用OpenAI模型完成非平凡数学证明 2025 年 4 月 15 日31 AI破解50年未解数学!南大校友用OpenAI模型完成非平凡数学证明 Source link