Budden

@EMostaque Tell me more

Bet this happens with Navier Stokes and it’s going to be something not even related to PDEs that solves it

What's the hardest query you've asked an LLM this year?

This is more "extended" than I'd intended.

@Trader_Shiba Looks and is. I'll update at some point

@davidmbudden nevermind just saw your proofs on github, looks incorrect

Budden's identity

@jam_Omni @IsaacKing314 @hamish_todd Thanks!

The paper correctly identifies that stretching must be overpowered by dissipation, but the claimed spectral-gap lower bound on P P P is not established. This is the classic failure mode of vortex-stretching analytics — the crude upper bound on S S S is too loose, and every attempt to make the dissipation win via geometry (here, Voronoi + Payne–Weinberger) leaks at the constants or the large-vorticity regime.

Prediction markets currently saying 5% chance it happens, so if that CEO was really confident he could make quite a bit more than this!

@samiannoesis @littmath Well not *now* I'm not am I, I lost the bet 😁

@littmath @davidmbudden Congrats!! You did very well with the money and David to wage and pay out the bet. He must be really rich

I've just made a donation of $25000 CAD to the Against Malaria Foundation (through the Rethink Charity Foundation), the bulk of what I received from my bet with @davidmbudden. Thanks to David for the fun back and forth!

@samiannoesis Created is a strong word. More "the coolest looking framing of an observation I made"

@davidmbudden You created that? How did you come by it?

Next time, in "Godel in fewer than 10 words"

@littmath @xHaustedOfStats @_letrec *yet

@xHaustedOfStats @_letrec @davidmbudden This was on the Hodge Conjecture. FWIW, while the arguments were not correct, it was a nice opportunity to think a bit about the standard conjectures etc.

@littmath You make mathematicians look good

@littmath @gazorp5 I really should get onto this :P

@gazorp5 @davidmbudden We negotiated another extension of the resolution date, to March 9.

Litt was kind enough to offer a 1-month extension to our Hodge Conjecture bet (family stuff) But since we're at the initial deadline, I thought I'd share a fun update anyway. Thank you for the support!

@wannabegroncho (I could go later, but that's unfair, because the interpretation at that point is "he's mad") Only mad! Only poet! Speaking only motley things, Out of fool’s masks speaking, Climbing on false word-bridge.

@wannabegroncho Every name in history is I. Every cry of joy and every cry of misery is mine. The circle has no center, and yet it turns.

I outright refuse to believe any of you understand a word of Nietzsche

@littmath 25k

For something I am writing I am trying to estimate how much we (the world) spends annually on attempts to resolve the Riemann hypothesis, Hodge conjecture, etc. It's hard to come up with an estimate greater than ~a few million USD per year on each, and much lower is plausible.

@FeinsteinKen Certainly not 10/10 for us. I have a score I think is right, but I notice OAI, GDM etc. being extremely coy pegging their responses to an actual numerical grading. And I'm not going to be the first :)

@davidmbudden 10/10 congrats!

The PingYou Team has attempted to solve all 10 of the FirstProof problems using our prototype orchestration system, together with off-the-shelf foundation models. Our attempts can be found here: go.pingyou.com/vbhWRQ4XqGJ3 We deeply appreciate the creators of firstproof.org for their hard work bringing the AI and Math research communities together, and look forward to all the discussions re: solutions and next steps for improvement in the coming weeks. #1stproof

This "First Proof" thing looks fun

TIL there are Claude Code env variables