Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
semessier
9 hours ago
|
parent
|
context
|
favorite
| on:
Case study: Creative math – How AI fakes proofs
that's not a proof
groundzeros2015
8 hours ago
|
next
[–]
I think it’s a good way to prove x = sqrt(y). What’s your concern?
reply
frontfor
8 hours ago
|
prev
|
next
[–]
Agreed. Asking the AI to do a calculation isn’t the same as asking it to “prove” a mathematical statement in the usual meaning.
reply
hahahahhaah
3 hours ago
|
prev
[–]
it is an attempt to prove a very specific case of the theorem x = sqrt(x) ^ 2.
reply
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
