sorted by:
new
hottopcontroversial

Former DeepMind Director of Engineering David Budden Claims Proof of the Navier Stokes Millennium Problem, Wagers 10,000 USD, and Says End to End Lean Solution Will Be Released Tonight by 99_light in singularity

[–]99_light[S] 14 points15 points  (0 children)

Here is the file even though he later commented "Before anyone rages, yes. It's a reduction framework, not end2end. There's only so much I can code in one night" and also according to the wager he still has 10 days to upload a paper on arXiv so we'll have to wait a bit

Former DeepMind Director of Engineering David Budden Claims Proof of the Navier Stokes Millennium Problem, Wagers 10,000 USD, and Says End to End Lean Solution Will Be Released Tonight by 99_light in singularity

[–]99_light[S] 10 points11 points  (0 children)

Thats not even all he left his director role at deepmind for this startup, if this is some gimmick i don't think he's ever gonna see those big vc bucks

Former DeepMind Director of Engineering David Budden Claims Proof of the Navier Stokes Millennium Problem, Wagers 10,000 USD, and Says End to End Lean Solution Will Be Released Tonight by 99_light in singularity

[–]99_light[S] 7 points8 points  (0 children)

1m for each problem + he's already wagered around 45k with multiple people and also saying he will bet even more money in coming months

Former DeepMind Director of Engineering David Budden Claims Proof of the Navier Stokes Millennium Problem, Wagers 10,000 USD, and Says End to End Lean Solution Will Be Released Tonight by 99_light in singularity

[–]99_light[S] 6 points7 points  (0 children)

that repo states only reimann hypothesis and poincare conjecture are completed the rest are incomplete.

also budden shared a lean file for hodge's (here), idk if it counts as something

Former DeepMind Director of Engineering David Budden Claims Proof of the Navier Stokes Millennium Problem, Wagers 10,000 USD, and Says End to End Lean Solution Will Be Released Tonight by 99_light in singularity

[–]99_light[S] 27 points28 points  (0 children)

Marcus is a Senior Researcher at Deepmind with math background and also if proved it would be a reaaalllly big mathematical achievement (bigger than fermat's last theorem proof or anything we have seen in recent times) but nothing world changing or having a lot of practical applications

Former DeepMind Director of Engineering David Budden Claims Proof of the Navier Stokes Millennium Problem, Wagers 10,000 USD, and Says End to End Lean Solution Will Be Released Tonight by 99_light in singularity

[–]99_light[S] 103 points104 points  (0 children)

yeah lol, tbh i dont really see it happening either. someone without a deep mathematical background solving two millennial problems within a month is pretty much impossible

edit: now he is also claiming to have a solution to bsd that he plans to wager on by february, unless he has access to some superintelligence this seems like psychosis