提议用8个GB300机架解决3000个数学猜想

这还没发生吗？粗略计算显示，8个GB300机架周末运行（大约15万美元服务器成本）就能搞定所有约3000个主要开放数学猜想。来吧！让我们干！