Ramos

AI工具助力数学领域发现新的图性质

研究人员利用基于Transformer的强化学习软件PatternBoost（由Charton、Ellenberg、Wagner和Williamson开发）识别出具有偏离对数凹性主集序列的新图和树的例子。该研究还基于Bautista和Ramos的先前工作，证明对于任何正整数m，都可以构建一个其主集序列在至少m个索引处非对数凹的树。此外，研究表明，一大类毛虫图表现出对数凹主集序列，并且该序列的连续版本在所有图中都保持对数凹性。