الطريق إلى الذكاء الرياضي الفائق
145,248 plays|
Tudor Achim |
TEDAI San Francisco 2025
• October 2025
يُسبب الذكاء الاصطناعي التوليدي هلوسات، مما يخلق معضلةً حقيقيةً لا يُمكن للعلم تحمّلها. يعتقد عالم الحاسوب تيودور أشيم أن فكرةً عمرها 400 عام تحمل الحل: حلم لايبنتز بإطار منطقي يستحيل فيه الخطأ. تعرّف على فكرته عن الذكاء الخارق الرياضي الذي من شأنه أن يُرسّخ الذكاء الاصطناعي في التحقق الرسمي، مُحوّلاً روبوتات الدردشة غير الموثوقة إلى شركاء دقيقين للاكتشاف العلمي.