Justin Sun Ödülü, Caltech Profesörü Tony Yue Yu Liderliğindeki MathDB ile 50 Problemli Pilot Program İçin Ortaklık Kuruy