The number of implementations and the lack of success suggest that it is a genuinely hard problem for humans, and "agents" are not going to magically make it simpler. Unlikely that humans abandoned their projects (or failed to band together) solely because of their desire for code quality.