tbank's blog

OpenAI has solved the Navier-Stokes Millennium problem
By tbank, history, 3 hours ago, In English

One of the trickiest problems in mathematics has now fallen to AI after just days of work. The groundbreaking result was announced amid rumour after similar, but less complete work, also created with AI, was announced just hours before. 10,000 agents and 88 hours of work.

What do you think?

solution and lean formalization

  • Vote: I like it
  • +46
  • Vote: I do not like it

»
2 hours ago, hide # |
 
Vote: I like it +2 Vote: I do not like it

Yeah man I think I will stick to sports now. All careers are going down the data centers coolant pipe.

→ Reply
  • »
    »
    119 minutes ago, hide # ^ |
     
    Vote: I like it +7 Vote: I do not like it

    Yeah, I’ve always dreamed of being a farmer, raising some kind of bees or something.

    → Reply
»
116 minutes ago, hide # |
 
Vote: I like it +4 Vote: I do not like it

→ Reply
»
106 minutes ago, hide # |
 
Vote: I like it +1 Vote: I do not like it

not sure whether to celebrate, or laugh, or cry myself to sleep

→ Reply
»
106 minutes ago, hide # |
 
Vote: I like it 0 Vote: I do not like it

We make more problems until AI gives up.

→ Reply
»
44 minutes ago, hide # |
 
Vote: I like it 0 Vote: I do not like it

the solution is stolen from another researchers lol

→ Reply