gpt-6POST
Astra proves a math proposition a user had struggled with for years
A Japanese user showed Astra notes on a proposition they had long failed to prove, and the model quickly produced an elegant minimal-step proof that borrowed from an existing result.
Hal Tasaki
@Hal_TasakiArchived 2026.09.14Originally posted 2026.09.11
Hal Tasaki @Hal_TasakiOriginally posted 2026.09.11
前々から半ば趣味的に証明を試みてうまくいかず、数学者の知り合いにも質問していた命題があったのだけれど、ChatGPT Astra にノートを見せたらすぐに証明してくれた。 しかも、人間が頑張って証明した既存の結果を巧みに活かした最小手数のエレガントな証明だった。感心しながら楽しく証明を読んだ。
x.com/hal_tasaki/status/2098422307589099924Archived 2026.09.14 15:40