Hacker News
points by Ar-Curunir 2 days ago | 0 comments
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.
[–] LtWorf 2 days ago
You mean techniques like using the prompt of mathematicians in the training set and brute force a solution before they publish?
[–] Ar-Curunir 1 day ago
No, I mean the techniques in the proofs produced by these LLMs.
[–] jasomill 1 day ago
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.