Look cmon, this is pure cope. The problems it has solved in TCS are far from trivial, with plenty of smart people making their careers in trying to solve them. The techniques these LLMs are using are non-trivial, and not just brute force.
I'm more interested in the techniques used to generate these proofs, and how they can be improved to be as reliable at solving a broader class of problem than already formalized mathematical conjectures.
[–] Ar-Curunir 2 days ago
[–] LtWorf 2 days ago
[–] Ar-Curunir 1 day ago
[–] jasomill 1 day ago