搜索
AFFiNE，一个开源的 AI 协作知识库，集成了完整文档、白板和数据库的工作空间。累计融资 1000 万美元，开源项目在 Github 上超过 4.5 万 stars。创始人、CEO 贺嘉琛，连续创业者。创业前研究天体物理，毕业于格拉斯哥与香港科技大学。
自从DeepSeek火了以后，感觉很多人又重新关注AI了。
自动形式化数学定理证明，是人工智能在数学推理领域的重要应用方向。此类任务需要将数学命题和证明步骤转化为计算机可验证的代码，这不仅能确保推理过程的绝对严谨性，还能构建可复用的数学知识库，为科学研究提供坚实基础。
知乎直答默默掏出了自己的“底牌”。为啥这么说呢？因为知乎不仅有自己的AI模型，还攒了十多年的中文高质量知识库，再加上真实的问答场景作为AI的“实战训练场”，简直就是AI界的“学霸”。有了DeepSeek-R1的加持，知乎直答的推理能力直接拉满，传统搜索看了直呼“内行”，妥妥成了AI时代的“搜索界天花板”。
能够给读者惊喜，一直都是我的特色。我探讨出来的解决方案，第一无需理会刚才说到的硬件问题、终端问题和容量问题，第二全程网页操作与客户端操作，第三完全免费且快速安全。
之前在《如何用AI解决信息大爆炸的难题》中我提过，根据我们自己的全球媒体和付费信源订阅列表，Y同学研发了适用于我们社区的知识库工作流，第一步先把常订阅的媒体进行自动化AI知识库构建。这样就把全球多信源的每日更新存在了我们的知识库里。
RAG系统的搭建与优化是一项庞大且复杂的系统工程，通常需要兼顾测试制定、检索调优、模型调优等关键环节，繁琐的工作流程往往让人无从下手。
大模型的记忆片段进行多次替换的时候，会导致模型输出的内容叠加不同记忆片段，出现混淆和错乱的问题。在我做 Crew.ai 知识库测试的时，替换多份知识库文档后，发现大模型已经疯了。
去年 11 月，特工宇宙率先关注到腾讯推出了 ima copilot，并带大家体验了这款围绕知识库展开「搜、读、写」生产力提效的 AI Native 工作台。
2024 年是 AI 应用大爆发的一年，据我们知识库内部数据统计，在这一年中，我们总共收录了 1w+ AI 应用，深度调研了 300+ AI 产品。