Ask HN: Who works on AI simplifier for logics bruteforcing a math problem?

Could you name people, who work on AI simplifiers for logical schemes, which "brute-force" over all (im)possible solutions of a given engineering or mathematical problem? Thanks!

I.e. you can make a "brute-force" algorithm, which theoretically finds a solution to any engineering problem and then you can use an AI agent to make that algorithm more sophisticated and easier to compute, by simplifying unnecessary computation steps, input variables, etc.