The proof came from a new general-purpose reasoning model, rather than from a system trained specifically for mathematics, scaffolded to search through proof strategies, or targeted at the unit distance problem in particular.
大多数人认为解决专业数学问题需要专门训练的数学AI系统,但作者认为一个通用推理模型就能解决长期未解决的几何问题。这挑战了AI领域需要专门化模型的共识,表明通用AI可能比专门训练的系统更有效。