On the Navier–Stokes Millennium Prize Problem [#OpenAI publication of #paper📄 and #Lean code] openai.com/index/navier... #AI #math
@firusvg.bsky.social
@firusvg.bsky.socialOn the Navier–Stokes Millennium Prize Problem [#OpenAI publication of #paper📄 and #Lean code] openai.com/index/navier... #AI #math
@thomasahammer.bsky.social
@procesverbeteren.bsky.socialHet boek #Incorruptable van Eric Ries staat vol bedrijfsellende! Oprichters worden bijvoorbeeld weggestemd, om snelle winst voor aandeelhouders voorop te stellen. Een goedbedoeld bedrijf verandert zo in een geldmachine. Kan dat ánders?
#Lean #Governance
www.procesverbeteren.nl/change_manag...
@pulseofnations.lolAnthropic says Claude worked autonomously for 11 days to produce a 13-million-line Lean proof of the 387-year-old math problem.