48小时,50年数学谜题就被破解!AI与全球数学家梦幻联动,从游戏分硬币到正方形填充,层层拆解埃尔德什遗留难题,人机协作彻底引爆了数学研究新范式。 Erdos#1026问题已经被攻克,且给出了正式证明。 而在此之前,这个问题已经困扰了数学界50年。 陶哲轩在Mastodon上宣布了这一消息,还在一篇博客中详细讲述了这个故事。