Thread

1. docheinestages · 1789681081 · focus · HN ↗

   Unless the proofs themselves are defined with natural language, I don't see them being adopted by humans. It takes a high cognitive load to read let alone write a proof.

   1. chinabot · 1789681626 · focus · HN ↗

      Agree, but natural languages have ambiguity, the AI output should really include the assumptions and we seriously need to replace the word "prompt" with "conversation".

      1. docheinestages · 1789682301 · focus · HN ↗

         Exactly. If humans were good at writing proofs, they'd just write the code.

Unofficial Hacker News client; not affiliated with Y Combinator.