Key quote I went into the article looking for and was not disappointed “The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to k

Key quote I went into the article looking for and was not disappointed “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,” Lichtman says.