Kirk Borne

@KirkDBorne

Book by @adamjkucharski explains how certainty, even in math, can be an illusion. "Proof: The Art and Science of Certainty" at https://amzn.to/4m7gm8l #Mathematics "To discover proof [of something], we must reach into a thicket of errors and biases and embrace uncertainty"
打开原帖#511482
  1. Industry

    Rohan Paul: – https://arxiv.org/abs/2610.08144 Title: "Navier-Stokes lost in tran…
  2. Industry

    Rohan Paul: A new paper shows that when AI translates a math proof into Lean, pas…
  3. Industry

    Rohan Paul: Emad Mostaque: AI models "have pretty much reached the efficiency of…