Which models are competent at checking mathematical proofs?
r/singularity
•
Generative AI
I have chatgpt plus and it does quite a good job. Which of the other frontier models are also competent for this? submitted by /u/MrMrsPotts [link] [comments]