Hacker News
points by LtWorf 2 days ago | 0 comments
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.