23 points young_mete 1 hour ago 28 comments
Cpoll 1 hour ago | parent
1245-a17z 1 hour ago | parent
johnbonton 1 hour ago | parent
It has no capacity to think, argue, demonstrate, or certainly do anything even remotely close to “intelligence”
young_mete 1 hour ago | parent
johnbonton 32 minutes ago | parent
asimpletune 1 hour ago | parent
That’s the whole issue: it’s not knowledge, it’s data. AI can not provide an account for the proofs, or be questioned about them, or organize a talk exposing the idea because there’s no understanding behind any of it.
This is what Tao has been saying; that the results, in the strictest sense, were never the goal. It is ultimately the understanding (that previously was required to form a proof) that is valuable.
young_mete 1 hour ago | parent
flowerlad 55 minutes ago | parent
McDyver 34 minutes ago | parent
flowerlad 3 minutes ago | parent
I think you have a point, but this is the reality we have to face. The genie is out of the bottle. Even if OpenAI stops publishing AI-generated proofs, it's only a matter of months before tools with similar capabilities are in everyone's hands.
kurthr 18 minutes ago | parent
That said, getting a point solution and not knowing the path to get there, is certainly much less useful, and generalization is much harder. Again, more work for mathematicians, but maybe without the easy "I solved it" proof metric for rewards. Goodhart's law strikes again.
ricardobeat 18 minutes ago | parent
kurthr 15 minutes ago | parent
ndriscoll 8 minutes ago | parent
clickety_clack 16 minutes ago | parent
KolmogorovComp 59 minutes ago | parent
That is why I find the prospect of spoiling the plot without warning to be bad taste and didn’t finish the article.
sedan_baklazhan 28 minutes ago | parent
sedan_baklazhan 49 minutes ago | parent
young_mete 47 minutes ago | parent
sedan_baklazhan 39 minutes ago | parent
The 2 books I’ve mentioned are very international on the contrary.
BTW, “The kid from hell” is also really good.
young_mete 34 minutes ago | parent
m3047 7 minutes ago | parent