Math is the tip of the iceberg. If it can do proofs, it can do anything.

threethirtytwo • last Saturday at 12:53 AM • 1 reply • view on HN

robotresearcher • last Saturday at 1:07 AM

I don’t have proofs to solve every day, but I have to cycle the dishwasher. I eagerly await.

➕ show 1 reply

alt Hacker News