3 ms·
Underwhelming?! We're probably a year out of AI-led pure math research and full AI SWEs. I think people forget what it was like 1-2 years ago somehow
by Davidzheng 1y ago
Underwhelming?! We're probably a year out of AI-led pure math research and full AI SWEs. I think people forget what it was like 1-2 years ago somehow
- absurdo 1y agoSpeaking of hyperbole…
- margalabargala 1y agoIf the last 12 months are anything to go by, one year from now the "full AI SWEs" will be able to write all the code you probably should have used a library for anyway, and continue to be unable to do anything halfway novel without bugs.
- sponnath 1y agoWe are now many years into full AI SWEs will become a reality in 12 months.
- meroes 1y agoWhat? AI proofs are still atrocious.