[!summary]+ 
但真正的胜利是这意味着什么？这让所有研究员能使用 Axplorer 软件来推动已知界限的发展。我们开放源了 Axplorer 软件的 源代码，希望让所有学生和研究员能够使用他们的笔记本电脑来构造自己的反例子。 




[!quote]+ 
美国帕洛阿尔托（Palo Alto）公司Axiom Math宣布了一项全新免费AI工具，旨在为数学家发现数学模式，解决长期困难问题。 
该工具名为Axplorer，是现已离开Meta的François Charton（2024年在Meta时共同开发的）PatternBoost的重磅重构。Axplorer基于Mac Pro，PatternBoost则基于超级计算机。 
PatternBoost，用于解决难以破解的问题——Türnai四环问题，已让任何安装Axiolo于计算机中的任何人手中。 
它与Google DeepMi...