‹ BackHN Continuity

Thread

If math is more than proof, we need to better celebrate the rest of it

433 points · 285 comments · num42

  1. E-Reverance · · focus · HN ↗
    Jacob Tsimerman claims [1] we might have superhuman expositors by April, so then what?

    [1] <a href="https:&#x2F;&#x2F;youtu.be&#x2F;H7_d_sgui6o?t=4436" rel="nofollow">https:&#x2F;&#x2F;youtu.be&#x2F;H7_d_sgui6o?t=4436 (timestamped url)

    1. ax1234k · · focus · HN ↗
      You get $100 billion for an AI X that generates the proofs, $100 billion for an AI Y that explains the proofs and another $100 billion for an AI Z that reads Y&#x27;s output and appreciates it.

      Humans meanwhile scrub the floor and write blog posts about &quot;what a time to be alive&quot;.

      1. karmakurtisaani · · focus · HN ↗
        &gt; Humans meanwhile scrub the floor and write blog posts about &quot;what a time to be alive&quot;.

        I&#x27;m pretty sure we already have machines to do both of these.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.