2 ms·
Key quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics."
by goldenarm 27d ago
Key quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics."