Никто не должен публиковать результаты, объявляя о победе в соревновании, не поделившись доказательствами. В случае математического соревнования действительными доказательствами должны быть неформальные доказательства на естественном языке или формальные доказательства на Lean4. И эти доказательства должны быть представлены вместе с объявлением, а не через неделю.
Не делая этого, вы просто занимаетесь привлечением внимания и разжиганием хайпа. В индустрии ИИ этого уже достаточно.
Наш первый технический отчет здесь! Мы предоставляем беспрецедентный взгляд на архитектуру и методологию нашей системы ИИ; Аристотель, и освещаем "как" мы достигли нашего золотого уровня производительности IMO.
Читать полный отчет ниже⬇️