Yes, because if AI can do maths then it can use that to improve the efficiency/q... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		technotony 9 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 9 months ago | [–]

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 9 months ago | [–]

... or it might prove that it's impossible to self-improve given the current constraits

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact