New Scientist

Mathematicians and AI in behind-the-scenes battle over what’s true

AI models are solving mathematics problems with increasing pace, and a technique called formalisation is key to demonstrating that their claimed solutions are indeed correct. But can we trust the formalisation process?

بقلم New Scientist

1 دقيقة قراءة
مشاركة
Mathematicians and AI in behind-the-scenes battle over what’s true
Mathematicians and AI in behind-the-scenes battle over what’s true

هل لديك أخبار لمشاركتها مع صناعة الفعاليات؟

أرسل بياناً صحفياً أو تلميحاً بقصة وتواصل مع آلاف المهنيين في مجال الفعاليات.

تواصل معنا→

المزيد في Science & R&D

رؤى ذات صلة