2023-08-25智源社区日报：Code Llama文本生成代码模型开源、计算机辅助数学证明历史、HF获投资、IJCAI 杰出论文、2023大模型前沿技术讲习班

https://baai.org/l/TfYHi 

智源社区AI日报
每天速读5分钟，AI要事不错过

Meta｜Code Llama文本生成代码模型开源，可商业化，上线即1.6k星
https://baai.org/l/29338 

陶哲轩6000字详述：计算机辅助数学证明的历史
https://baai.org/l/kh6i7 

Hugging Face获Salesforce和英伟达等2.35亿美元投资，估值40亿
https://baai.org/l/29340 

🏆IJCAI 杰出论文🏆
Levin Tree Search with Context Models
https://baai.org/l/29341 

Safe Reinforcement Learning via Probabilistic Logic Shields
https://baai.org/l/29363 

SAT-Based PAC Learning of Description Logic Concepts
https://baai.org/l/29345 

🚀倒计时一天🚀
2023大模型前沿技术讲习班与你相约北京，科大讯飞崔一鸣、腾讯涂兆鹏、第四范式黄世宇、中科院自动化所刘静等专家，从多领域交叉视角诠释当前大模型关键技术与前沿进展。

了解更多 https://hdxu.cn/IeBKK