刚刚,陶哲轩与多名数学家通力合作,为Erdős#1026正式画上了句号。 至此,这个尘封50年的难题终于得到完全解决。 关键是,AI又立大功了。在多种AI工具的辅助下,整个解题流程仅用48小时便完成。 博采众家&AI之长,正在成为解决问题的关键。 用传统方法,一两位数学家用简单的编程和文献检索工具,最终也能完成,但可能需要数周或者数月才能解决。 陶哲轩随后亲自梳理并公开了此次问题被解决的完整过程。