今天是2024年1月31日，星期一，北京，天气晴。转眼间，2024年已经过去112，进度84931%，真快。我们继续看看有趣的话题。我们在之前的文章中有说到当前RAG-embedding上的一些优

机器之心报道编辑：陈萍借助Lean，陶哲轩又开始了新的项目。「由AlexKontorovich和我领导的一个新的Lean形式化项目刚刚正式宣布，该项目旨在形式化素数定理（primenum

【点击】加入大模型技术交流群原文：https:zhuanlanzhihucomp677203832显存优化和显存溢出(OOM)分析是调参过程中常见的两个问题，解决显存不足的问题一般而言需要

“这里只放了原理，学习一下方法，还有2个示例code没放过来https:lightningailightning-aistudiosimprove-llms-with-proxy-tuni

在大规模语言模型（LLMs）通往通用人工智能（AGI）的道路中，从传统的单一的“语言模态”扩展到“图像”、“语音”等等的“多模态”必然是大模型进化的必经之路。在过去的2023年，多模态大规模语言模

专注AIGC领域的专业社区，关注微软&OpenAI、百度文心一言、讯飞星火等大语言模型（LLM）的发展和应用落地，聚焦LLM的市场研究和AIGC开发者生态，欢迎关注！1月31日凌晨，OpenAI在社交