← Back to context Comment by cacio-e-pepe 13 hours ago relevant: https://mathstodon.xyz/@tao/117219101339291693 1 comment cacio-e-pepe Reply goldenarm 2 hours ago Key quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics."
goldenarm 2 hours ago Key quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics."
Key quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics."