新智元报道在软件工程顶会ESEC/FSE上，来自马萨诸塞大学、谷歌和伊利诺伊大学厄巴纳-香槟分校的研究人员发表了新的成果，使用LLM解决自动化定理证明问题。Transformer的技能树是越来越厉害了。来自马萨诸塞大学、谷歌和伊利诺伊大学厄巴纳-香槟分校的研究人员发表了一篇论文，利用大语言模型自动生成定理的完整证明。论

标签： 谷歌 越好 上下文