标签:协作解题

半世纪难题48小时破解!陶哲轩组队把AI数学玩成打怪游戏了

陶哲轩与多位数学家合作,在AI工具的辅助下仅用48小时便解决了尘封50年的Erdős#1026问题。该问题最初由Paul Erdős于1975年提出,涉及实数序列中单调子序列的...