华为无线研究部“《无线与AI:跨领域的挑战与机遇》稼先MeetUp研讨会”上张宏纲(浙大)做的报告。
构建网络大模型NetGPT的思考与实践
目录
① 大模型LLM理论、架构和算法研究近期值得关注进展
- 微软亚洲研究院、北大、北航等机构的研究人员,通过97个回合的苏格拉底式严格推理,成功让GPT-4得出了P≠NP的结论。(文章来源:Large Language Model for Science: A Study on P vs. NP)
- 数学定理证明,一直是人类科学领域的一颗明珠。现在大语言模型开始用于数学定理证明。来自加州理工学院、
NVIDIA、麻省理工学院、加州圣巴巴拉大学、德克萨斯大学奥斯汀分校的一群研究者研发了开源平台LeanDojo,构建了一个LLM定理证明的交互平台。(文章来源:LeanDojo: Theorem Proving with Retrieval-Augmented Language Models) - 大模型+具身智能(文章来源:AgentBench: Evaluating LLMs as Agents)
- 大模型+具身智能;多智能体通信协作(文章来源:Agents: An Open-source Framework for Autonomous Language Agents)
- 大模型+具身智能(文章来源: