Comment Comment by goldenarm I recommend Terrence Tao's commentary on such a proof : https://mathstodon.xyz/@tao/117219101339291693Key quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics." parent goldenarm 1 month ago
Key quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics."