اوپن‌ای‌آی اعلام کرد سه مقاله پیش‌چاپ ریاضی را پس می‌گیرد؛ پس از آنکه خطای علامت‌گذاری در یکی از برهان‌های محوری کشف شد. این خطا باعث می‌شود گامِ حذفِ ردِ پایدارسازی نامعتبر باشد و در نتیجه، دو مقاله بعدی را هم که بر این نتیجه تکیه داشتند، زیر سؤال می‌برد. مقاله‌های پس‌گرفته‌شده عبارت‌اند از: • جبری‌بودن کلاس‌های ویل روی هشت‌بعدی‌های آبلیِ شکافته • جبری‌بودن تناظرهای کوگا–ساتاکه برای رویه‌های K3 • حدس هاجِ گویا برای حاصل‌ضرب رویه‌های K3 اوپن‌ای‌آی به این مقاله‌ها اطلاعیه افزود و پیوند نسخه‌های بایگانی‌شده را گذاشت تا خوانندگان بتوانند محل شکاف را ببینند.
چه چیزهای دیگری به‌روزرسانی شد؟
اوپن‌ای‌آی هم‌زمان با پس‌گرفتن این مقاله‌ها، 14 دست‌نوشته دیگر را اصلاح کرد. این اصلاحات به شکاف‌های برهانی می‌پردازند، فرض‌ها را روشن می‌کنند و ارجاعات را تصحیح می‌کنند. از جمله حوزه‌های اصلاح‌شده می‌توان به ارتفاع‌های لیپشیتز، برنامه‌های مینیمال مدل کاهلری و تغییرشکل فراسمپلکتیک اشاره کرد. 13 مقاله دیگر هم به‌روزرسانی شدند تا به نسخه‌های اصلاح‌شده آثار مرتبط ارجاع دهند. این سازمان همچنین شش صورت‌بندی صوری جدید افزود و سهم نتایج اصلیِ راستی‌آزمایی‌شده به‌صورت صوری را به حدود 42 ٪ (300 از 719) رساند.
چرا مهم است
برای ریاضی‌دانانی که کار اوپن‌ای‌آی در زمینه راستی‌آزمایی صوری را دنبال می‌کنند، پس‌گرفتن این مقاله‌ها یعنی شکافی در ادبیات پژوهش که ممکن است بر هر پژوهشی که به این سه نتیجه استناد کرده اثر بگذارد. خوانندگان حالا می‌توانند دقیقاً ببینند خطا کجا رخ داده و از بناکردن پژوهش بر برهان معیوب پرهیز کنند. جامعه گسترده‌تر نیز از 14 مقاله اصلاح‌شده و صورت‌بندی‌های صوری جدید بهره می‌برد؛ مواردی که اعتبار کتابخانه ریاضی اوپن‌ای‌آی را افزایش می‌دهند.
