CMU's FAR Framework Sifts 5,245 Papers for Conjectures Worth Solving

At the Geometry of ML 2026 conference, CMU's Sean Welleck presented the FAR pipeline, which mined 5,245 papers to surface 4,717 open conjectures, adding a ranking layer that decides which problems AI systems should tackle.

2026-09-11 ~ 2026-09-11 · 3 related posts

• FAR pipeline mines 5,245 math papers into 4,717 open conjectures for AI discovery — wellecks · 2026-09-11
• Talk at Geometry of ML 2026 shows AI finding and recommending resolutions to open math conjectures — wellecks · 2026-09-11
• AI Math's New Bottleneck: FAR Ranks Which Conjectures Deserve Compute — wellecks · 2026-09-11