HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by cacio-e-pepe | Hacker News Reader
Parent
Full thread
cacio-e-pepe
·
relevant:
https://mathstodon.xyz/@tao/117219101339291693
View on HN
goldenarm
·
Key quote : "Solving the problem by purely AI-powered methods [would be a] net negative for the progress of mathematics."
Reply on news.ycombinator.com