ปัญหา Conway's 99-graph เป็นคำถามว่ากราฟที่เชื่อมต่อกันแบบเฉพาะเจาะจง (strongly regular graph) ขนาด 99 จุดนั้นมีอยู่จริงหรือไม่ งานวิจัยนี้รายงานผลการใช้ AI Agent ในการวิจัยโดยอัตโนมัติ ซึ่งสามารถสร้างผลลัพธ์ที่ตรวจสอบได้หลายประการ
ผลงานที่สำคัญประกอบด้วยการพิสูจน์แบบละเอียด (Exhaustive Proof) ว่าไม่มีโครงสร้างแบบ circulant graph ใดที่ตอบโจทย์เกิน 68% ของเงื่อนไข และการลดรูปโครงสร้างของปัญหาลงเหลือเพียงกราฟขนาด 84 จุดที่สามารถนำไปคำนวณต่อได้ด้วย CP-SAT แม้ว่าปัญหาจะยังไม่ถูกแก้อย่างสมบูรณ์ แต่การใช้ AI เข้ามาช่วยสร้างขอบเขตและตรวจสอบโครงสร้างใหม่นี้ถือเป็นก้าวสำคัญในวงการวิจัยคณิตศาสตร์เชิงรหัส
