1766872182
2025-12-25 07:00:00
人工知能 (AI) は数学の分野で優れた性能を発揮しました。 国際オリンピックの金メダルレベル 7 月には規律が強化されますが、良い効果があるだけではありません。
それは特定の専門フォーラムを汚染し始め、古い習慣を再活性化させている。リーマン予想（素数の分布に関連する）や、いわゆる「P = NP」問題（問題解決の複雑さに関連する）などの有名な問題のデモンストレーションの発表である。この 2 つの問題は、クレイ数学研究所によって 2000 年以来 100 万ドル（85 万ユーロ）の価格が付けられている。しかし、ゴールドバッハ予想や、コラッツとしても知られるシラキュースの予想 (整数の性質に関する) のケースを引用することもできます。
すべてのプロの数学者は、いつかはアマチュアからそのような「実証」を受けたことがあります。 「でも今では、ほぼ週に1回です！」パリ・サクレー大学のパトリック・マソ教授は、11月18日にアンリ・ポアンカレ研究所で開催されたAIと数学の関係をテーマにした会議でこう述べた。この「お粥」（専用表現訳） バックアップスロップ） する 「時間の無駄」彼は付け加えた。彼が頻繁に訪れるフォーラムには、名声を求めるアマチュアが特に集まっていると言わざるを得ません。これは、「証明アシスタント」と呼ばれるソフトウェアである Lean 専用であり、これも形式言語であり、論理シーケンスを証明することができます。したがって、AI はトレーニング中に「リーン」に話すことも学習し、正しく見えるテキストを提供することで欺くこともできます。
この記事の残り 56.99% を読むことができます。残りは購読者向けに予約されています。
#が数学フォーラムを汚染するとき