تمكن نموذج ذكاء اصطناعي من الوصول إلى حل جديد لمسألة رياضية طرحها بول إردوش عام ١٩٤٦، وتتعلق بعدد أزواج النقاط على مستوى مسطح التي يمكن أن تفصل بينها مسافة وحدة واحدة بالضبط. وظل علماء الرياضيات لنحو ٨٠ عاماً يعتقدون أن الأنماط القائمة على الشبكات تمثل الحد الأعلى، لكن الذكاء الاصطناعي وجد عائلة جديدة من التركيبات تتجاوز هذه الحدود. والمثير أن النموذج لم يعتمد على الهندسة التقليدية وحدها، بل ربط المسألة بمفاهيم عميقة من نظرية الأعداد، مثل الأنظمة الجبرية وأبراج حقول الأصناف اللانهائية وكثافة تشيبوتاريف. وقد راجع مختصون النتيجة، ووصف عالم الرياضيات تيم غاورز، الحائز على ميدالية فيلدز، هذا الإنجاز بأنه محطة مهمة في رياضيات الذكاء الاصطناعي، لأنه أظهر قدرة نموذج عام غير مخصص للرياضيات فقط على الوصول إلى مسار استدلالي غير متوقع قد يفتح الباب لاكتشافات مشابهة في مجالات أخرى مثل الأحياء والفيزياء والهندسة.