• コロラド対ジョージア工科大学
• メタ
• 噂を立てる
• September 6, 2026
• 0 Comments

数学は音楽院に入学しますか？

クロードが終わったのと同じ週に リンにおけるフェルマーの最終定理の証明を形式化する私の郵便受けに入っていた紙は、 ハドウィガーの球面定理。球状ハドウィガー 見積もり1974 年から公開されているこの論文では、積分幾何学技術のニッチだが重要な部分について説明されています。ここでは推測の詳細には立ち入りません。興味があれば、定理を含む私の以前の投稿の議論を参照してください (その後、同じ仮説が適用されます)) を使用すると、高校で学んだ小さな補題を証明するのが非常に簡単になります。 しかし要点を言えば、湖南大学のワン氏とウー氏によるこの新しい論文は、AIを使用して推測を証明しているようだ。最後のセクションには免責事項が含まれています。 この原稿の準備中、OpenAI Codex は、証明の詳細を作成し、明確化が必要なギャップや点を特定し、原稿を整理して入力し、英語を編集するために使用されました。著者は、AI 支援によるすべての数学的コンテンツをレビューおよびチェックして変更を提案し、すべての最終的な数学的および編集上の決定を下し、原稿に対して全責任を負います。 この免責事項により、Codex は、証明の詳細を解明するという、最近まで研究レベルの数学者が必要としていた作業の大部分を行うことができるようになりました。欠陥を見つけて除去し、論文を執筆しているようです。また、仕事ですので とても光沢のある そして読みやすい（あなたがその分野の研究数学者の場合）。 はっきり言っておきますが、私はこの議論を全面的に支持したわけではありません。クロード・ファブルで実行したところ、匂いテストには合格しましたが、完全に消化するには今よりも少しエネルギーが必要です。これらはいずれも Wang 氏と Wu 氏を否定するものではありません。この論文は素晴らしい論文のようであり、ダイジェストされる価値があります。彼らは、この記事で紹介されている AI 使用のすべての原則にも従っていました。 ライデン宣言。 自宅から近いワンステージ# 私にとって、ハドウィガーの球面定理の証明は衝撃的でした。私は高校でこれを証明しようとしましたが、今年初めに AI の助けを借りてもう一度中途半端な試みをしました。これは見出し定理ではありません。それは保存されませんでした。 驚くべきではなかった。 GPT-4…