Блог пользователя tbank

Автор tbank, история, 3 часа назад, По-английски

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

  • Проголосовать: нравится
  • +47
  • Проголосовать: не нравится

»
2 часа назад, скрыть # |
 
Проголосовать: нравится +2 Проголосовать: не нравится

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

  • »
    »
    2 часа назад, скрыть # ^ |
     
    Проголосовать: нравится +7 Проголосовать: не нравится

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

»
119 минут назад, скрыть # |
 
Проголосовать: нравится +4 Проголосовать: не нравится

»
110 минут назад, скрыть # |
 
Проголосовать: нравится +1 Проголосовать: не нравится

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

»
109 минут назад, скрыть # |
 
Проголосовать: нравится 0 Проголосовать: не нравится

We make more problems until AI gives up.

»
47 минут назад, скрыть # |
 
Проголосовать: нравится 0 Проголосовать: не нравится

the solution is stolen from another researchers lol