كل المقالات
وولفرام يعرض خطط لغة للرياضيات البحتة بمساعدة الذكاء الاصطناعي
مقال بتاريخ 28 سبتمبر يصف العمل على تمثيلات رياضية يمكن للبشر والذكاء الاصطناعي فحصها.
توضيح المقصود الرياضي
يقول ستيفن وولفرام إن فريقه يوسع لغة Wolfram لتمثيل مفاهيم الرياضيات البحتة بحيث يستخدمها البشر والذكاء الاصطناعي. ويربط مقاله المنشور في 28 سبتمبر هذا العمل بمشكلة عملية: قد يثبت البرهان المتحقق منه آلياً عبارة تختلف عما قصده المستخدم.
يركز التوجه المقترح على تمثيلات مقروءة يستطيع الباحثون فحصها. وهذا وصف وولفرام لتطوير جارٍ، وليس نظاماً أُطلق أو دراسة لقياس الأداء.