AI攻破80年数学难题所以，未来还需要数学家科学家吗？