午夜#学术新闻#

北京大学、北京信息科学研究所的董斌教授与其他研究人员共同开发了 2 个数学研究的AI代理：

形式数学的 Archor

用于自然语言的Rethlas
（据我所知，所有项目都将开源）

他们在交换代数中发现了几个新的联系，并解决了Anderson conjecture。

ps 我就知道Anderson's theorem

那是关于实分析高维几何/概率论的

对于一个对称的、单峰的、非负的可积函数 𝑓，在𝑛 维欧几里得空间中的一个中心对称凸体 𝐾，f（x+cy）在𝐾上的积分不小于f（x+y）的积分。其中c∈[0,1]