艾伦人工智能研究所（Allen Institute for AI）近日发布了OLMo-2-1B语言模型，这是一款参数规模为1B的小型开源模型。该项目的突破性意义在于其完全透明的训练范式：研究团队不仅公开了模型权重，还完整披露了训练数...

开源项目Linkwarden近日引发技术社区关注，作为一款自托管书签管理工具，其创新性整合了AI自动标签生成和网页存档两大核心功能。该项目采用FOSS（自由开源软件）模式，允许用户完全掌控数据隐私，通过本地化部署规避...

Redis创始人Salvatore Sanfilippo（网名antirez）在其个人博客宣布，Redis将重新回归完全开源模式。这一决定迅速在技术社区引发热议，Hacker News相关讨论帖获得1370点赞和502条评论。作为全球最流行的内存数据库之...

卡文迪什实验室开发的SALT（Semi-Automatic Labeling Tool）为LiDAR点云处理领域带来突破性解决方案。该工具通过创新的零样本适应技术，能够在不进行额外训练的情况下，直接适配不同厂商的激光雷达传感器（如Velodyn...

小米近日在GitHub上开源了MiMo推理模型项目，该项目旨在解锁语言模型的推理潜力，涵盖从预训练到后训练的全过程。MiMo模型通过优化训练流程和引入新的推理机制，显著提升了语言模型在复杂任务中的表现。这一开源项目...

DeepSeek团队近日在GitHub开源了其第二代自动定理证明框架DeepSeek-Prover-V2，该项目迅速获得326个Hacker News点赞和63条技术讨论，显示出学术界和工业界对AI形式化验证工具的高度关注。作为当前最前沿的AI推理系统...

近期GitHub上出现了一个名为AI Hedge Fund的开源项目，该项目通过现代推理模型探索自动化交易的新路径。与同类尝试相比，其创新性在于采用了基于角色提示(persona based prompting)的技术框架，能够聚合对各类基础资...

清华大学知识工程组（KEG）与智谱AI联合推出的CogView 4最新一代生成式图像模型近日在Hugging Face平台正式发布。作为采用宽松许可协议的开源项目，该模型在图像质量、生成效率和多模态理解等核心指标上显著超越当前...