テンセントのAIエージェントHyraが加法組合せ論の50年来の難問を解決

要点：テンセントが公開した研究用AIエージェント「Hyra」が、加法組合せ論における半世紀未解決だった問題に対し、指数2が上限であることを証明した。論文や形式化証明コードも公開されている。