搜索
我叫海玮，喜欢做有趣的产品。 前创业者：大学创办过年流水200w的公司。曾拿过种子轮投资、天使轮投资意向。目前正在做的产品是魂旅：魂旅是一款ai云旅游电台app，是提供给那些当下不方便旅游，但是又憧憬远方和自由的用户，做到肉体在上班，灵魂仍可出游万里的效果。
2024年12月4日，两位共同组织了“2024BRAIN NeuroAI Workshop”研讨会，探讨了NeuroAI如何整合到BRAIN计划中并帮助理解和治愈人类脑疾病。请问是什么契机促使两位聚集一起开展NeuroAI这项研究的？
AI开源潮涌现，推理模型成主流。
谷歌首席科学家Jeff Dean与Transformer作者Noam Shazeer在一场访谈中不仅揭秘了让模型速度提升三倍的低精度计算技术，分享了「猫神经元」等早期AI突破的背后故事，还大胆畅想了AI处理万亿级别Token、实现「1000万倍工程师」的可能性。
自动形式化数学定理证明，是人工智能在数学推理领域的重要应用方向。此类任务需要将数学命题和证明步骤转化为计算机可验证的代码，这不仅能确保推理过程的绝对严谨性，还能构建可复用的数学知识库，为科学研究提供坚实基础。
前阵子，我那年过半百的老爸也开始问我这个问题了。别以为AI只是个高级玩具，它跟以前我们用的所有工具都不一样。想想以前的计算机，让我们算数更快；互联网，让我们查资料更快。它们都是工具，帮我们提高效率。
智能创造了巨大的价值，大大提高了效率，所以问题不在于它是否会有回报，问题是我们要进行哪些投资以及在什么时间范围内投资
Stop AI组织在旧金山抗议AGI发展，呼吁禁止。
正如乔布斯所言：“仙童像成熟的蒲公英，创业精神的种子随风播撒。”如今，这句话放在OpenAI上可能再合适不过，最新成立的AI公司Thinking Machines有近2/3的员工，来自AI巨头OpenAI这棵蒲公英上。
文章主要是实现了中英文版本的BM25算法（主要就是分词部分有区别），算法可能也有缺陷，恳请看见的大佬指点指点，虽然也有比我实现的要更优秀的第三方库，比如bm25s