The Navier-Stokes Week AI

Elliot Glazer's post on X, curated on eChai

  • Curated from X →

    Glazer runs mathematics at Epoch AI, which builds the FrontierMath benchmark. He spent the weekend trying to source the claim and posted the trace. It is the clearest record there is of what an unsourced rumour looks like from inside: every version came back to an OpenAI employee, none to anybody outside, and the problem being solved changed twice along the way.

    Elliot Glazer Elliot Glazer

    >Be me
    >Told several days ago thirdhand by OAI employee Anthropic solved a Millennium Prize Problem
    >"No way it wouldn't leak in this way"
    >Told Wednesday by a different friend at OAI that, actually, he heard it was two.
    >"Ok I'm updating against further, obviously it wasn't two."
    >OAI source says they'd actually garbled it, friend informs me.
    >Goes on Reddit and tells people spreading the rumor it is unfounded
    >Terry coincidentally posts a hypothetical about NS getting solved very next day with lots of specifics about the hypothetical proof and its Lean file
    >Anthropic formalizes FLT
    >Curran's "prediction" seems to align with everything.
    >Terry writes follow-up post addressing the rumors, that says he hasn't heard any development on Navier-Stokes, reads sincere to me
    >Curran has no independent relevant info here btw
    >None of the OAI rumor spreaders can trace their beliefs back to any non-OAI source
    >Math prof friend says he heard from a credible source "It was Hodge not NS."

    I'm going back to bed.

eChai Partner Brands The partnership →