Timothy Gowers氏「またもや大きな問題、今回は加法的組合せ論において、AIではなく人間によって解決されましたが、単位距離予想に対するAI解法に関連する手法を用いています」
Timothy Gowers氏が、加法的組合せ論における大きな未解決問題が人間の研究者によって解決されたことを報告。Mehtaab Sawhney氏によると、Thomas Bloom、Will Sawin、Carl Schildkraut、Dmitrii Zhelezovによる画期的な論文がarXivに掲載され、実数の任意に大きな有限集合Aに対してmax(|A+A|,|AA|)≤|A|^{2-c}を満たすc>0が存在することを証明。これは単位距離予想に対するAI解法に関連する手法を用いた成果。