Ernest Ryu

Ernest Ryu是一位数学家，他利用ChatGPT经过12小时的来回问答，成功证明了优化理论中的一个关键结论。

意义

这一案例展示了大型语言模型在数学证明领域的潜力，是[[ai-for-science]]概念中LLMs作为研究伙伴的关键证据。