Френският математик Пиер Ферма е формулирал своята последна теорема през 1637 гoдина, а доказателството ѝ е било намерено едва през 1994 година. Един от двата AI модела, представени вчера от Anthropic го възпроизведе, като за това са били необходими едва 28,7 часа. За целта той е организирал екип от 1000 AI агента, приложил е универсални […]
1000 AI агента на Anthropic възпроизведоха доказателството на Великата теорема на Ферма само за 29 часа
