AI 与大语言模型在重大数学进展中的应用案例
Examples for use of AI and especially LLMs in major mathematical developments
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
该内容汇集了 AI 尤其是 LLM 在重大数学发展中的使用案例，原文未给出具体模型版本、参数规模或评测数据。目前仅有标题与链接，暂无评论与更多细节。
来源：mathoverflow.net（经 Hacker News） · mathoverflow.net