Thread

1. youoy · 1790926017 · focus · HN ↗

   In contrast to what these philosophical pieces tend to convey, the main crisis in mathematics is a labour one.

   Mathematitians exchanged proofs for employment. That was the currency. Now they cannot use that currency anymore, so the question is how does someone know if they should hire an unknow person or not?

   Philosophicaly who cares if you like more theory building or theorem proving? You dont need to convince anyone. The only solution is to be curious and follow your interests and naturally humanity will redefine what the new mathematics feels like.

   You cannot convince anyone about it, its not something rational.

   1. wg0 · 1790966016 · focus · HN ↗

      Can a layman be sure of an AI model's output if their proof is sound and follows through?

      Wouldn't that still require mathematians?

      Genuine question.

      1. david-gpu · 1790987003 · focus · HN ↗

         Proof assistants like Lean are there to catch any errors. Now, can you just feed the error logs back to the AI and let it iteratively fix any mistakes? I don't know, I haven't used those things in two decades.

         1. Jaxan · 1791026180 · focus · HN ↗

            You still need a mathematician to check the statement of the theorem.
      2. AndrewKemendo · 1791074079 · focus · HN ↗

         Laymen understand very little about the how the world works at the most fundamental level even with all the resources in the world.

         For example there’s enough information available to know what you’re describing but the people with the IQ, time, access, ability - basically asymptote to zero for anything more complicated than cleaning a house.

Unofficial Hacker News client; not affiliated with Y Combinator.