4 ms·
relevant: https://mathstodon.xyz/@tao/117219101339291693 https://mathstodon.xyz/@tao/117219101339291693
by cacio-e-pepe 1mo ago
relevant: https://mathstodon.xyz/@tao/117219101339291693 https://mathstodon.xyz/@tao/117219101339291693
- goldenarm 29d agoKey quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics."