Still, it required humans to apply the finishing touches.
“The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,” Jared Lichtman, a mathematician at Stanford University whose doctoral thesis centered on one Erdős’s conjectures, told SciAm.
It’s actually solving abstract problems.
Also, local models are available that are quite good and run on a standard consumer-grade GPU.
One problem and…