Microsoft Research· Xinzhi Zhang·· 5 時間前
Microsoftの研究者が31年間未解決だったKLS予想を証明
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI による要約
Microsoft Researchの機械学習・最適化グループのXinzhi Zhang氏と共著者のZhao Song氏が、1995年に提唱されたKannan-Lovász-Simonovits（KLS）予想を証明した。この関係は高次元においても次元の増加によらず固定の定数で抑えられることを示す。
入選の記録
基準 60公式・一次情報1 回目 712 回目 72
入選二回の合計 143 ≥ 基準の 2 倍 120
- 情報源の区分
- 公式・一次情報、この区分の基準は 60 点
- 予備審査
- 通過：人机协作AI智能体探索数学证明
- 推薦理由
- Microsoftの研究者が人間の指示によるエージェント探索でKLS予想を証明し、数学的発見における人間とAIの役割分担を示している。
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：Microsoft Research · microsoft.com