>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.
