Ніхто не повинен публікувати результати, оголошуючи про перемогу на змаганні, не поділяючи квитанції. У випадку математичного змагання дійсними отриманнями мають бути неформальні докази природною мовою або формальні докази Lean4. І ці чеки мають бути разом із оголошенням, а не через тиждень.
Не робити цього — це просто фарм залучення та хайпу. Індустрія штучного інтелекту має достатньо цього.
Наш перший в історії технічний звіт тут! Ми надаємо безпрецедентний погляд на архітектуру та методологію, що лежать в основі нашої системи штучного інтелекту; Аристотеля, і проливаючи світло на те, «як» стоїть за нашими виступами на золотому рівні IMO.
Повний звіт читайте нижче⬇️