The Beginner’s Guide to Tracking Token Usage in LLM Apps
如果你不跟踪代币，那么每次你的应用程序与法学硕士对话时，你基本上都是在烧钱。
Thinking About Thinking in the Age of AI
算法捕获的必然性人工智能，尤其是大型语言模型 (LLM) 的兴起，很可能是人类长期操纵和利用的顶峰。对我来说，即将到来的人工智能危机主要不在于人工智能和机器人抢走工作（我确实担心这一点）；这是关于被用来颠覆我们自主权的算法。这里的危险在于法学硕士的算法语言流畅性——一种完美的、个性化的能力，用于实现基本上看不见的心理影响，使我们越来越被动地参与外部编程引导的生活。我的观点是，我们对这种危险的最终防御是培养元认知，即思考思考。这种能力不是与生俱来的，而是与生俱来的。在复杂的世界中管理我们古老的冲动一直需要刻意的智力掌握。这要求我们面对一个令人不安的事实，即我们的思想本质上并不是理性的机器。它们是
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
GPT-4o 需要 2 个小时才能解决的问题，Sonnet 4.5 只需 5 秒就能解决。这篇文章《这个谜题显示了法学硕士在一年多一点的时间里取得了多大进展》首先出现在《走向数据科学》上。
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
大型语言模型 (LLM) 展示了令人印象深刻的数学推理能力，但它们的解决方案经常包含无法自动验证的错误。 Lean 4 等形式化定理证明系统提供了完全准确的自动验证，推动了最近努力构建专门的证明者法学硕士，以形式语言生成可验证的证明。然而，仍然存在一个重大差距：当前的证明者法学硕士解决的问题比使用自然语言操作的通用法学硕士要少得多。我们介绍 Hilbert，一个代理框架，它通过以下方式弥合了这一差距
Why critical thinking is key to using AI wisely
回归客座作家 Stephanie Simoes 是 Critikid.com 的主创，该网站通过互动课程、工作表和课程计划向儿童和青少年传授批判性思维。本文旨在帮助教育工作者（和家长）更有效地教导孩子以积极的方式使用大型语言模型和其他形式的人工智能。在《斐德罗篇》中，柏拉图表达了这样的担忧：如果人们学习写作，就会“在他们的灵魂中植入健忘”。 1975 年的《科学新闻》引用了一项调查，该调查显示“72% 的受访者反对为每个七年级学生配备一台计算器，供其在中学教育期间使用。”生成式人工智能是同一反对派的最新目标，自美国教育部发布其《在教育领域推进人工智能的提议优先事项》以来，争论愈演愈烈。“在教育
Study suggests physicians make better decisions with help of AI chatbots
根据新研究，当医生面临临床十字路口时，法学硕士的帮助可能会有所帮助。
Yage Huang Joins Law Library as Law Reference Librarian
锡拉丘兹大学图书馆法学院最近欢迎 Yage Huang 担任法律参考图书管理员。 Huang 最近从印第安纳大学布卢明顿分校获得了法学博士 (SJD) 学位，并获得了中国政法大学法学硕士学位...
FACTS Grounding: A new benchmark for evaluating the factuality of large language models
我们全面的基准和在线排行榜提供了急需的衡量标准，可以衡量法学硕士 (LLM) 如何准确地根据提供的源材料做出反应并避免产生幻觉
Teaching a robot its limits, to complete open-ended tasks safely
“PRoC3S” 方法通过模拟测试每个步骤帮助法学硕士制定可行的行动计划。这一策略最终可以帮助家用机器人完成更模糊的家务要求。
Large language models: a primer for economists
Byeungchun Kwon、Taejin Park、Fernando Perez-Cruz 和 Phurichai Rungcharoenkitkul 在本文中为经济学家提供了关于法学硕士的入门知识：大型语言模型 (LLM) 是分析文本数据的强大工具，在经济和中央银行应用中具有巨大的未开发潜力。大量的文本档案，包括政策声明、财务报告和新闻，为 […] 提供了丰富的机会
自 2022 年 11 月发布 ChatGPT (OpenAI) 以来，生成式 AI 的使用在全球范围内迅速发展。保险业也在努力利用生成式人工智能。在保险业务中，人工智能正在考虑在各种实践中使用（并且在某些情况下已经实施）。 1 | 利用生成式人工智能进行产品开发和定价 生成式人工智能可以扩展数据源并开发反映客户需求的产品。例如，人工智能可用于分析保险市场的消费者趋势并开发产品。在此过程中，网络空间中的数据有可能被使用。还可以想象，生成式人工智能的大规模语言模型（LLM）可用于起草保险合同的条件和限制，以及供精算师设定保险费。 2｜生成客户接近方法人工智能生成建议通过使用人工智能，可以建议有效
人工智能是人工的，但它不是智能。这种情况可能有一天会改变，但不会很快发生，大型语言模型在某些方面还行，但在大多数情况下是有限的。这就是为什么本·阿弗莱克可以匆忙说话并向其他电影创意人员保证他们的工作是安全的。法学硕士写不出好剧本。阅读更多
Watermarking for AI Text and Synthetic Proteins: Fighting Misinformation and Bioterrorism
Nataliya Smirnova 在 UnSplash 上拍摄的彩色病毒突变图像 人工智能文本和合成蛋白的水印 机器学习工程师了解人工智能在生物领域的应用 错误信息和生物恐怖主义并不是新威胁，但它们的规模和易用性迅速增加。法学硕士让制造挑拨离间自主聊天机器人变得轻而易举，而生成蛋白质设计模型则大大扩大了能够进行生物战的参与者的数量。作为一个社会，我们需要的工具多种多样，但一个重要的组成部分是我们检测它们存在的能力。这就是水印的作用所在。水印或数字水印与用来劫持您孩子的学校照片的物理水印不同，是一种用于识别所有权的秘密信号。有效的水印必须坚固耐用，经得起修改，同时在没有专门方法的情况下无法被检
Video Friday: Swiss-Mile Robot vs. Humans
视频星期五是每周精选的精彩机器人视频，由 IEEE Spectrum robotics 的朋友收集。我们还发布未来几个月即将举行的机器人活动日历。请将您的活动发送给我们以供收录。Humanoids 2024：2024 年 11 月 22 日至 24 日，法国南希，享受今天的视频！Swiss-Mile 的机器人（实际上是任何满足运行其软件的硬件要求的机器人）比“大多数人类”都快。那么，这到底意味着什么呢？获胜者是 Riccardo Rancan，他看起来并没有特别努力——他是高速城市定向越野赛的世界冠军，这是一项我以前不知道但听起来很棒的运动。[ Swiss-Mile ]谢谢，Marko！哦，太
Luminance Joins The Agentic Flow, Launches ‘Lumi’
Luminance 最近接受了法学硕士 (LLM) 并追逐内部团队，正在推出一项名为 Lumi 的代理功能。这家总部位于英国的公司表示，他们的……
自定义 AI 模型：构建实用的 AI 工具，提高个人和专业生产力 学习革命“AI 深度探索”研讨会，Reed Hepler 出席 概述：正如 Reed 和 Steve Hargadon 在夏季 AI 生产力训练营中与与会者讨论的那样，“自定义 AI 模型”（如 OpenAI 的自定义 GPT）正迅速成为那些希望以实用、务实和适用的方式利用大型语言模型 (LLM) 功能的人最重要和最有效的工具之一。我们都被宣传和营销信息淹没，告诉我们人工智能 (AI) 可以为我们做的所有伟大的事情。许多承诺都被大大夸大了，因为各公司都在争相吸引注意力，急于从 AI 中获利。我们还不断收到文章或下载“100 个最
