如题，之前openai不是发了几百篇数学论文吗，有佬求证过吗，是否目前一部分得到了数学界认可验证了