Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
technotony
7 months ago
|
parent
|
context
|
favorite
| on:
AlphaProof's Greatest Hits
Yes, because if AI can do maths then it can use that to improve the efficiency/quality of it's algorithms to self improve...
nybsjytm
7 months ago
|
next
[–]
The quality of AI algorithms is not based on formal mathematics at all. (For example, I'm unaware of even one theorem relevant to going from GPT-1 to GPT-4.) Possibly in the future it'll be otherwise though.
SkiFire13
7 months ago
|
prev
[–]
... or it might prove that it's impossible to self-improve given the current constraits
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
