Grothendieck定数の新たな上下界：人間とAIの共同研究が小数点第10位を確定
New Lower and Upper Bounds for the Grothendieck Constant
Grothendieck定数KGの新たな上下界を確立した。下界の導出では、従来のギャップ例の明示的構成ではなく、漸近最適なKrivineスキームの限界を示すという新しい手法を採用。上界は、従来の低次元スキームとは異なる、初の漸近的丸めスキームの構成と解析により得られた。これらの結果により、これまで未知だったKGの小数点第10位が7であることが確定した。この発見は、人間と我々が開発した長期的AI研究システムの長期にわたる共同作業によるものである。
これらの境界は、人間と我々が設計した長期的AI研究システムによる長期にわたる共同作業によって発見された。
HNでの議論
11- lukeplato
関連する長期ホライズンAI研究システムに関する論文: https://arxiv.org/pdf/2608.11195
- alan_li_
私はこの論文の最初の著者の一人です。私たちの研究を要約すると、Grothendieck定数(KG)は解析学、アルゴリズム、量子情報などの分野における基本的な定数であり、具体的には1.7135 < KG < 1.7819を証明しました。この結果は真に新しいアイデアから生まれ、上界と下界を証明する従来の文献から大きく逸脱しています。私たちの結果は、公開されている最先端モデルを使用して構築した長期ホライズン研究ハーネスとの共同研究で発見され、推論エージェントとコーディングエージェントを分離して使用しました。AIは技術的な実行に優れていますが、研究のセンス、つまりどのアイデアを追求し、どのアイデアを放棄するかについての深い人間の洞察が必要であることがわかりました。私たちは研究経験を長期ホライズンの人間とAIの協働のケーススタディとして文書化しました。大規模AI企業の結果が支配する時代に、数学における人間とAIに関する将来の議論を形成するのに役立つことを願っています。結果や証明についての質問があれば、お気軽にどうぞ。
- hackandthink
Grothendieckの基準からすると、驚くほど多くの重要な実用的応用があります。
"Grothendieck's Theorem, past and present"