日本用户：Astra 秒证我卡了很久的命题

Hal Tasaki @Hal_Tasaki原推发布于 2026.09.11

在 X 上打开原推

前々から半ば趣味的に証明を試みてうまくいかず、数学者の知り合いにも質問していた命題があったのだけれど、ChatGPT Astra にノートを見せたらすぐに証明してくれた。 しかも、人間が頑張って証明した既存の結果を巧みに活かした最小手数のエレガントな証明だった。感心しながら楽しく証明を読んだ。