Cogentic is said to produce new results on five open problems

A user describes Cogentic as a Google Research proof-discovery system whose AI provers work in rounds, drawing on summaries of earlier attempts. The user says it produced new results on five open problems, each checked by domain experts. Another user highlights the verifiers’ clean context, arguing it lets provers try unusual ideas without swaying the checks.