ทีมนักวิจัยได้พัฒนาแนวทางการทำงานร่วมกันระหว่างมนุษย์และ AI รูปแบบใหม่ที่เรียกว่า FAR (Find, Attempt, Recommend) เพื่อแก้ไขปัญหาคอขวดในกระบวนการวิจัยคณิตศาสตร์ระดับสูง ซึ่งปกติแล้วผู้เชี่ยวชาญต้องใช้เวลาอย่างมากในการเลือกปัญหาที่เหมาะสมและการตรวจทานผลลัพธ์ โดยระบบนี้เปลี่ยนบทบาทของมนุษย์จากการระบุโจทย์เฉพาะเจาะจง เป็นการระบุทิศทางงานวิจัยที่สนใจแทน
ระบบ FAR จะทำการสืบค้นข้อมูลจากเอกสารวิชาการจำนวนมหาศาลเพื่อระบุปัญหาหรือสมมติฐาน (Conjectures) ที่น่าสนใจ จากนั้นจะผ่านกระบวนการคัดกรองว่าปัญหานั้นยังไม่มีใครแก้ได้จริงหรือไม่ และใช้โมเดล AI ในการพยายามหาคำตอบก่อนจะส่งต่อให้ผู้เชี่ยวชาญที่เป็นมนุษย์ตรวจสอบเฉพาะส่วนที่มีแนวโน้มว่าจะประสบความสำเร็จเท่านั้น ในการทดสอบเบื้องต้นกับสาขาคอมบิเนทอริกส์ ระบบสามารถคัดกรองปัญหาจากเอกสารกว่า 5,000 ฉบับ และนำไปสู่การค้นพบใหม่ๆ ที่น่าสนใจในสมมติฐานทางคณิตศาสตร์ที่สำคัญหลายประการ
