Сунь Чживэй собрал тысячу гипотез для проверки границ математического ИИ.
Профессор Нанкинского университета Сунь Чживэй собрал тысячу собственных нерешённых гипотез. Этот массив может стать материалом для экспериментов с математическим ИИ, но пока не выглядит общедоступным стандартизированным бенчмарком.