【新智元导读】19秒破解几何难题，谷歌AI夺得IMO银牌在业界掀起了巨震。就连菲尔兹奖得主陶哲轩，前IMO美国队负责人罗博深都对此大加赞赏。更有AI大佬高调预测，若谷歌继续加码研究，应该可以造出一个「AI陶哲轩」。谷歌DeepMind正在做的，是要打造出世界上最强的AI数学家。Perple
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
数学大佬陶哲轩力荐，哈佛反向学习法火了:教会AI就是教会自己。他最新分享了哈佛应用数学和应用物理学教授MichaelP.Brenner的一个教学方法——利用提示工程，让学生尝试教AI完成平时数学作业，期末再让这些AI参加考试。课程介绍是酱婶儿的:简单说，就是在学习烹饪的过程中了解科学原理，诸如分子如何影响风味、热量在烹饪中的作用……且特别强调，做出来的东西要能吃。
40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了!数学大佬陶哲轩转发了这一消息，并欣慰表示:计算机科学家ScottAaronson为此还写了一篇博文，并大肆赞赏:具体言，人们历经数十年努力，终于找到了第五个“忙碌海狸”图灵机:图灵机是一种抽象的计算模型，通过读取和写入0和1在无限磁带上进行计算。早在40多年前，一群计算机科学家在德国多特蒙德举行竞赛，寻找“忙碌海狸”图灵机。以至于著名理论计算机科学家ScottAaronson发出感慨:嗯?这话有点耳熟，BB好像也是这样说的。
快科技8月20日消息，在游戏与人工智能技术的深度融合与创新探索中，NPC受限于文本的局限性与玩家的交互往往存在刻板、机械化的特点，即使游戏公司投入人力物力丰富NPC的文本数量，但玩家仍不满足于现有NPC的表现。如今，这个情况发生了转变。逆水寒作为国内首家将AI概念”引入游戏中的国风MMO游戏，随着2.1.3版本的即将发布，该游戏将再引入一项突破性功能玩家可自创AI智能生命体。逆水寒一直以来都以自由度”为核心设计理念，不断在武学套路、外观染色以及社交互动等方面进行创新。而此次推出的自创AI生命体功能，更是将游戏的自由度推向
虽然我人还在泰国跟红衣大叔周鸿祎在靶场开心的射击。但是也知道昨天的一条微博热搜爆了。这是我最微不足道、最真诚的祝愿。
自从OpenAI发布了新模型o1后，它就承包了AI领域近几天的热搜:有人用门萨智商测试题「拷问」它，竟测得o1智商高达120;数学大佬陶哲轩要求o1回答一个措辞含糊的数学问题，最终得出一个结论:o1是个平庸但不无能的研究生;还有一位天体物理学论文作者，仅用6次Prompt，就让o1系列模型在1小时内，创建了代码运行版本，这可是他博士生期间10个月的工作量。或许这意味着，随着OpenAI
【新智元导读】AI掌握自我设计的权力，将会怎样?最近，来自UBC等机构研究人员提出了「智能体自动化设计」系统，让元智能体使用搜索算法，自动构建强大的同类。AI训AI已经老生常谈了，那么，AI能够设计出更强的AI吗?这不，来自UBC等机构的研究人员提出了一种全新系统——智能体自动化设计。向量学院成立于2017年，是一所非盈利研究性机构，也是加拿大政府鼎力支持的AI研究中心，人工智能教父GeoffreyHinton当年成为了这家机构的首席科学顾问。
OpenAIo1，在门萨智商测试中果然取得了第一名。数学大神陶哲轩实测发现，o1竟然能成功识别出克莱姆定理。HyungWonChung则表示，模型对哲学问题的思考过程颇为引人入胜。
埃隆·马斯克的GrokAI聊天机器人正在互联网上泛滥，生成了从唐纳德·特朗普到马斯克本人的「深度伪造」图像——生成的图片有的完全荒诞到极其令人不安等。自上周发布以来，Grok的用户不断生成假冒的特朗普图像，如抢劫便利店或驾驶飞机飞向双子塔的画面。欧盟专员蒂埃里·布雷顿本月早些时候在马斯克接受特朗普在XSpaces采访前威胁对其进行监管打击后，引发了轩然大波。
谷歌联合创始人谢尔盖布林在2024年All-In峰会上接受公开采访时确认，他已重返谷歌一线工作，专注于人工智能相关研发。当前AI技术的快速发展令人震惊，作为计算机科学家，他不愿错过这场技术革命。AI技术不应被过度保守地保留，直到完美无缺才展示应该及时发布，让人们去实验和探索。
字节跳动大力教育旗下的AI教育App河马爱学，已于近期正式更名为“豆包爱学”，成为豆包旗下首个以豆包命名的App。Tech星球独家了解到，河马爱学此前由大力教育ZERO团队负责，该团队在国内主要是研究AI教育，今年上半年，由于业务调整，大力教育ZERO已合并到豆包团队，河马爱学也随之并到了豆包，并在近期改名为豆包爱学，成为了豆包产品矩阵的一员。在8月的火山引擎AI创新巡展上，豆包大模型还与商超、餐饮、食品、服装等众多领军企业合作，共同成立零售大模型生态联盟。
My Storybook是一个在线平台，旨在帮助所有年龄段的作家创作、出版故事书。它提供写作、插图和角色创建等功能，让学习写作变得有趣。平台还为教师和学生提供教育解决方案，包括无缝的课堂集成和无限打印副本。
阿贝智能是一家位于科技与教育交汇点的创新型企业，致力于通过尖端的人工智能技术，开启儿童教育的新纪元。我们相信每个孩子都拥有无限的潜能，而我们的使命是通过科技的力量，解锁这些潜能，帮助孩子们在愉悦的环境中成长和学习。
DeepLearning.AI 是由著名人工智能专家Andrew Ng创立的在线教育平台，专注于提供机器学习和深度学习领域的高质量课程和专业证书。该平台为初学者和专业人士提供了一个学习AI技能和应用它们的实践机会。通过与行业领导者的合作，DeepLearning.AI 确保了课程内容的前沿性和实用性，帮助学习者在AI领域建立坚实的基础，并推动他们的职业发展。
Microsoft Word 是一款强大的文字处理软件，它通过智能写作辅助、文档设计和协作工具，帮助用户提升文档处理的效率和质量。Word 提供了丰富的模板、实时协作编辑、语音输入和命令、以及沉浸式阅读器等功能，支持多种语言，并与 Microsoft 365 其他应用无缝集成，适用于个人和企业用户。
ReadLecture 是一款专注于讲座类视频转换为图文结合文档的平台，通过AI技术精准截取视频中的PPT和将演讲者的语言转换为文字稿，大幅提升视频内容的观看效率。该产品通过智能AI笔记生成，提供多维度笔记，包括内容大纲思维导图、自我问答、金句摘抄、专业术语解释、内容翻译等，助力用户高效学习和传播知识。
数美科技的智能文本检测产品基于先进的语义模型和海量多语种样本库，能够精准识别并过滤各种敏感、违禁、色.情、暴恐、辱骂、广告导流等风险文本内容。该产品支持多种海外语言检测和风险标签识别，适用于多种应用场景，如文档、帖子、评论、签名、昵称、弹幕等，帮助企业维护网络环境的清洁和安全。
龙源AI检测系统是一款利用大数据和人工智能技术，为学术研究、教育评估、文化传媒等领域提供服务的高科技产品。该系统能够高精度地检测出AI生成的文本和抄袭内容，无论文本长度、类型和语境的限制。系统采用分布式计算和云端部署技术，快速响应和处理大量的文本请求，并自动识别和过滤出有效的文本，提高检测效率和准确度。
知网个人AIGC检测服务系统利用结构化、碎片化和知识元化的高质量文献大数据资源，结合知识增强AIGC检测技术和多种检测算法，从语言模式和语义逻辑两个维度，使用AI技术检测AIGC生成的内容，旨在帮助用户快速、准确地识别学术文本中的AI生成内容。该服务对于维护学术诚信和提高研究质量具有重要意义。
有道翻译·AI写作是一款旨在提高写作效率和内容质量的在线工具。它支持一键生成论文、邮件、公文通知、营销文案等，同时提供润色、扩写、总结、去重等高级功能。该产品支持100多种语言，通过多端同步技术，用户可以在不同设备上继续之前的工作，保证了数据的安全性和创作的连续性。
触站AI绘画是广州触站科技有限公司旗下的一款利用尖端AI技术，为用户打造一站式智能绘画解决方案的平台。它整合了艺术与商业，使用户能够轻松地将想象力转化为现实，提高工作效率，同时开拓更多的商业机会。该平台的应用范围广泛，不仅适用于美术创作、动画制作，还可用于游戏开发、虚拟现实等多领域。
Influenbase是BrandPal旗下硅谷研发团队打造的AI驱动的TikTok达人营销智能管家。它通过AI算法精细化筛选达人，一键自动与优质达人批量建联，实现从达人建联、合作沟通、物流跟踪、达人视频审核及二次合作等功能，帮助品牌降本增效、实现高质量持续增长。
LearnFast.ai 是一款面向物理学习者的智能AI解答平台，它利用先进的GPT-4o API，能够理解复杂的文字、图像并进行逻辑计算，为学生、教师、家长和研究人员提供快速准确的物理题目解答服务。该平台支持多种文件格式，无需注册即可使用，并且每天都有免费额度，适合各个学习阶段的用户。
Blogcard是一个先进的SEO优化博客内容生成器，利用各种SEO指标帮助用户即时创建既符合搜索引擎优化又适合读者阅读的多篇博客文章。通过一键操作，Blogcard能够生成高质量内容，平衡SEO需求与吸引人的、易于阅读的文本，简化了创建有效博客内容的过程，以提高在线可见性和用户参与度。
DaxzyGPT是一款专为Airbnb房东设计的浏览器插件，利用AI技术帮助房东快速、准确地回复客户消息，提升沟通效率和客户满意度。该插件通过分析对话历史，提供个性化的回复建议，支持快速编辑和发送，同时兼容多个AI助手，满足不同房东的个性化需求。
Microsoft Outlook是微软推出的一款功能强大的邮件和日程管理软件，它支持跨平台使用，包括桌面客户端、移动设备和网页版。Outlook不仅能够管理个人和工作邮件，还集成了日历、联系人和任务管理等工具，帮助用户提高工作效率。产品背景信息包括其作为Microsoft 365套件的一部分，提供企业级安全保护和智能助手功能。价格方面，Outlook提供免费账户创建，同时也提供不同级别的付费订阅服务，以满足不同用户的需求。
X-Design是一个利用人工智能技术为电子商务提供产品视觉设计的在线平台。它通过一系列AI工具，如背景去除、AI背景生成、对象去除、图像增强和图像放大等，帮助用户快速提升产品图片的专业度和吸引力，从而优化在线销售流程。产品背景信息显示，X-Design旨在通过简化设计流程，降低成本，提高效率，让零售商能够制作出引人注目的视觉内容。
Reweb 是一个为 Next.js 和 Tailwind CSS 开发者设计的可视化网站构建工具。它允许用户以无代码的速度构建网站，同时导出高质量的 Next.js 代码库，以便开发者可以自由定制和部署。Reweb 提供了视觉编辑器，可以实时编辑 Tailwind 和 Shadcn UI 组件，并且支持从提示生成美观的主题和调色板。此外，Reweb 还提供了预制的模板和社区支持，以帮助开发者快速启动项目。
OneGen是一个为大型语言模型（LLMs）设计的高效单遍生成和检索框架，用于微调生成、检索或混合任务。它的核心思想是将生成和检索任务整合到同一上下文中，通过将检索任务分配给以自回归方式生成的检索令牌，使得LLM能够在单次前向传递中执行两种任务。这种方法不仅降低了部署成本，还显著减少了推理成本，因为它避免了对查询进行两次前向传递计算的需求。
Open Source LLM Tools是一个专注于收集和展示开源大型语言模型（LLM）工具的平台。它提供了一个更新频繁的资源库，帮助开发者和研究者发现和利用最新的开源AI工具。该平台的主要优点在于其高更新频率和对活跃开源AI开发者的聚焦，使得用户能够及时获取到行业的最新动态和技术进展。
Open-MAGVIT2是由腾讯ARC实验室开源的一个自回归图像生成模型系列，包含从300M到1.5B不同规模的模型。该项目复现了Google的MAGVIT-v2分词器，实现了在ImageNet 256×256数据集上达到1.17 rFID的先进重建性能。通过引入不对称分词技术，将大词汇表分解为不同大小的子词汇表，并引入'下一个子标记预测'来增强子标记间的交互，以提高生成质量。所有模型和代码均已开源，旨在推动自回归视觉生成领域的创新和创造力。
