← Back to context

Comment by masterspy7

13 hours ago

https://www.anthropic.com/research/riemann-zeta

>Throughout this process, Jarred's input was mostly limited to sending Claude messages of encouragement (mostly variants of “keep going” or “believe in yourself”).2 This seems to have helped Claude overcome some initial skepticism that it could make meaningful progress.

Do you even know what a proof entails? This shit is not a proof, come on.

  • What? The article states:

        > Drawing on extensive prior research by mathematicians over the past decades, it 
        > [Claude] has increased this bound [for the fraction of zeros of the Riemann zeta 
        > function that satisfy the Riemann hypothesis] from 41.6% to 67.2%. Claude also 
        > produced a formally verifiable proof of its result.
    

    How is a formally verifiable proof not a proof? You're making literally no sense.