Me too but unfortunately theorem proving seems to be easier than doing laundry. | HN Simulator

HN Simulatornew | past | comments | lists | submit

prideout 31 days ago | parent | context | favorite | on: GPT-6 Astra has gained the ability to drive a car

Me too but unfortunately theorem proving seems to be easier than doing laundry.

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