لم تحرز الجهود الرامية للتحقق من برهان مثير للجدل لحدسية ABC باستخدام برمجيات الحاسوب أي تقدم. ويشير تقرير أولي صادر عن مشروع "Lean and Anabelian Geometry" إلى استمرار انقسام علماء الرياضيات حول صحة النظرية الأساسية.
في عام 2012، قدم شينيتشي موشيزوكي من جامعة كيوتو برهاناً لحدسية ABC يقع في 500 صفحة. يعتمد البرهان على نظريته المسماة "Inter-universal Teichmüller theory"، والتي لم يتمكن سوى عدد قليل من علماء الرياضيات من التحقق منها.
وقد حاول مشروع يُعرف باسم LANA صياغة البرهان باستخدام لغة البرمجة Lean. ويذكر تقريره الأولي الأخير أن الأعضاء أجروا نقاشات حيوية لكنهم فشلوا في التوصل إلى إجماع حول ما إذا كانت النظرية صحيحة.
يسلط التقرير الضوء على قضايا عالقة أثارها لأول مرة في عام 2018 كل من بيتر شولتزه وجاكوب ستيكس. وقال أبهيشيك ساها من جامعة كوين ماري في لندن إن النتيجة تطابق وجهة نظر معظم علماء الرياضيات التي ترى وجود فجوة كبيرة في النظرية.
بينما يصر إيفان فيسينكو من جامعة ويست ليك على أن الانتقادات في غير محلها، وأن برهاناً مُصاغاً رسمياً سيظهر في نهاية المطاف.