arb with /jim/ai-solves-millennium-prize-problem

all you YES betters have a gazillion mana to hide behind. stop being a coward and bet more of your net worth

The probability on this continues to rise a bit alarmingly, did more stuff come out or are we still trading on the original Andrew Curran rumors

@qhyzn i like hedging

small capabilities bet mixed with large how-much-do-you-trust-andrew-curran bet. hey why not

dudes betting yes:

the main lab right now working on Navier PDE is Deepmind. they haven't made 20% of the way to solving navier...

all of the "evidence" so far is pure speculation. as someone decently well versed in math research this is very likely not happening. trust me. i've bet 75% of my balance so far on NO.

@bobalobascrob but by all means, feel free to give me more mana.

do you all smell this @traders ? This is the smell of fear.

@Bayesian no i'm just really confused about everyone else's bets (trust!!!)

invoking GDM as evidence of anything related to the frontier of AI

it's 2026 dude, time to let it go

@bobalobascrob counterargument: it would be so funny if true :P

@jim GDM isn't in the frontier of AI but it sure as hell is the frontier of Navier PDE progress. read the news

@bobalobascrob You can't be the frontier of AI-assisted proofs if you aren't at the frontier of AI, that seems obvious enough

source!??!!??!?! i don't think this is true

@bobalobascrob ?!?!?!?!?!?!?!?!? Ig we ‘ll see!!!!!!!!!

@Bayesian oh andrew curran

@bobalobascrob among others yes

@Bayesian yo i trust my intuition in how hard navier stokes is but i don't want to bet my net worth on no

@bobalobascrob here on manifold we call this pusillanimity

@Bayesian ok i bet a decent amount

@bobalobascrob ok i bet a quarter of my net worth this better resolve no

@bobalobascrob i respect it

@Bayesian i'm betting more. the only reason why i'm not going all in is so that i can go all in after some other people push the probability up for no reason

10k liquidity plz

@Manifold do uour thing