【研究学习】LLM相关报告（论文整理）

华为无线研究部“《无线与AI：跨领域的挑战与机遇》稼先MeetUp研讨会”上张宏纲(浙大)做的报告。

构建网络大模型NetGPT的思考与实践

目录

① 大模型LLM理论、架构和算法研究近期值得关注进展

1. 微软亚洲研究院、北大、北航等机构的研究人员，通过97个回合的苏格拉底式严格推理，成功让GPT-4得出了P≠NP的结论。（文章来源：Large Language Model for Science: A Study on P vs. NP）
2. 数学定理证明，一直是人类科学领域的一颗明珠。现在大语言模型开始用于数学定理证明。来自加州理工学院、
   NVIDIA、麻省理工学院、加州圣巴巴拉大学、德克萨斯大学奥斯汀分校的一群研究者研发了开源平台LeanDojo，构建了一个LLM定理证明的交互平台。（文章来源：LeanDojo: Theorem Proving with Retrieval-Augmented Language Models）
3. 大模型+具身智能（文章来源：AgentBench: Evaluating LLMs as Agents）
4. 大模型+具身智能；多智能体通信协作（文章来源：Agents: An Open-source Framework for Autonomous Language Agents）
5. 大模型+具身智能（文章来源