半年之前，他还在一家科技公司从事数据标注与清洗工作，日复一日处理海量文本与图像数据。尽管身处人工智能行业，但他清晰感受到自己与核心技术环节的距离——模型设计与算法开发始终是一个难以触及的领域。六个月后，他入职一家中型互联网公司担任机器学习工程师，负责 ...

在衡量大语言模型（LLM）代码生成能力的竞赛中，一个日益严峻的问题正浮出水面：当模型在 HumanEval、MBPP 等经典基准上纷纷取得近乎饱和的成绩时，我们究竟是在评估其真实的泛化推理能力，还是在检验其对训练语料库的「记忆力」？

Data Normalization vs. Standardization is one of the most foundational yet often misunderstood topics in machine learning and ...

而对此做出巨大贡献的，是一位华人小哥宋沛洋，他是UCSB的荣誉CS本科生，加州理工学院计算+数学科学（CMS）系的SURF研究员。 团队就发布了这个Lean Copilot的工具，希望启动人类和LLM的协作，编写出100%准确的形式化数学证明。