如今很多大模型都声称擅长数学，谁有真才实学?谁是靠背测试题“作弊”的?有人在今年刚刚公布题目的匈牙利全国数学期末考试上做了一把全面测试。很多模型一下子就“现原形”了。先看绿色部分，这些大模型在经典数学测试集GSM8k和全新卷子上取得的成绩差不多，共同组成参照标准。再
......
本文由站长之家合作伙伴自媒体作者“量子位公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
OpenRouter是一个开源的路由器，可以将请求路由到不同的AI模型，实现一个统一的界面访问各种AI服务。它支持连接多种知名AI模型，用户可以比较不同模型的价格和质量，选择最适合自己需求的模型，实现高效的人机交互。我们的产品需要语音交互功能，可以在OpenRouter里找一个支持语音的AI模型集成到我们的产品里。
最新开源大语言模型DBRX以其惊人的1320亿参数量成为业界新宠。该模型不仅在语言理解、编程和数学等方面超越了业内领先的开源模型在效率上有所突破。随着其在各项基准测试中的优异表现，DBRX有望成为未来开源大模型发展的重要里程碑，为人工智能领域的进步贡献力量。
开源人工智能平台LightningAI宣布与Nvidia合作，发布了名为“Thunder”的下一代AI编译器，旨在加速人工智能模型的训练速度。据LightningAI称，该编译器在实际场景中相比未优化的代码，可将大型语言模型的训练速度提高高达40%。LightningStudios的产品可以按四个定价级别购买:个人开发者免费，工程师、研究人员和科学家专业级;初创公司和团队的团队级别，以及大型组织的企业级别。
4月24日，苹果开源了大语言模型OpenELM。这与微软刚开源的Phi-3Mini类似，是一款专门针对手机等移动设备的模型。这次苹果真的是很有诚意的开源，一开到底所有内容都贡献出来了，家大业大就是敢玩。
Jamba是一款基于SSM-Transformer混合架构的开放语言模型，提供顶级的质量和性能表现。它融合了Transformer和SSM架构的优势，在推理基准测试中表现出色，同时在长上下文场景下提供3倍的吞吐量提升。作为基础模型，Jamba旨在供开发者微调、训练并构建定制化解决方案。
大语言模型集成至编程领域、完成代码生成与补全任务成为重要趋势。业界已经出现了一批引人瞩目的代码大模型，比如OpenAI的CodeX、谷歌DeepMind的AlphaCode、HuggingFace的StarCoder，帮助程序员更迅捷、更准确、更高质量地完成编码任务，大幅提升效率。aiXcoder也因其极具前瞻性的探索方向、踏踏实实的落地实践，不断受到资本市场的追捧，高瓴、清流、彬复等极具行业引领性的基金
AutoGPT的出现让我们见识到了AI代理强大的自动化能力，并开创了一个全新的AI代理赛道。但在子任务调度、资源分配以及AI之间协作还有不少的难题。AIOS会引入更复杂的内存共享机制和层级缓存策略，以进一步优化AI代理的整体性能。
澜舟科技近日宣布，其研发的孟子3-13B大模型正式开源，并向学术研究领域全面开放，同时支持免费商用。这一轻量化大模型在多项基准测试中展现了优异的性能，特别是在参数量20B以内的模型中，其中英文语言能力尤为突出，数学和编程能力也位于行业前列。这一举措无疑将推动大模型技术的发展和应用，为AI产业的进步贡献力量。
南京师范大学附属中学宿迁分校成立智慧教学小组，并以周为单位，对教师的智慧课堂应用数据进行复盘;中国人民大学附属中学丰台学校的教师们，已经习惯于课后通过课堂智能反馈系统总结自己的上课情况;而通过集体备课平台，北京师范大学广州实验学校的教师们可以随时随地进行线上交流互动和资源共享……在全国各地的中小学，AI技术正与教育不断融合。变化背后，有�
阿里的通义千问，终于拼齐了1.5系列的最后一块拼图——正式开源Qwen1.5-32B。直接来看“成绩单”。GQA的引入就降低了注意力计算的数量，从加速了推理时间。
SafeSpeak是一款使用先进AI技术，实时准确检测电话诈骗攻击的产品。它能够保护个人和企业免受电话诈骗的侵害，并提供及时的安全警报。SafeSpeak的主要优点是高准确率和实时检测，能够有效地阻止电话诈骗。该产品定位于帮助个人和企业提高电话安全，避免财产损失和个人信息泄露。
Magifind是一款智能网站搜索工具，利用先进的人工智能和自然语言处理技术，能够准确理解用户搜索的意图，提供高度相关的搜索结果。它能够提升用户体验，提高在线零售转化率，并能够帮助用户快速找到他们想要的产品。
手写文字转换为文本的最准确工具，采用人工智能技术，能够将各种难以辨认的手写文字转换为数字文本，大大节省了编辑时间，提高了工作效率。产品的主要优点是准确性高、速度快，可适用于各种手写文本的转换需求。价格灵活，可按页收费或订阅。
Intrvu SPACE是一款端到端自动化面试平台，通过自动化面试流程，评估报告和自动审批等功能，简化了面试流程。它提供了标准化的面试，与职位描述相匹配，为招聘决策提供了全面的评估报告。Intrvu SPACE还支持与候选人的无缝沟通，提高了候选人评估和选择的效率。
NoteButler通过自动将PDF转换为文本，并在同一页添加AI摘要，使得在Notion中的PDF文档具有搜索功能。它能够提供OCR功能，并添加AI摘要，让那些通常无法在Notion中搜索的内容变得可搜索和可访问。
Grok是一款AI驱动的文档搜索平台，能够帮助用户上传并分析各种格式的文档。通过深入剖析文档内容，Grok可以揭示文档中隐藏的模式、趋势和关联，为用户提供全面的理解。用户可以向AI提问具体细节，观察智能算法提取相关见解，并给出简明答案。此外，Grok还支持使用AI解释复杂的代码库。Grok可以帮助用户找到文档中重要的功能或技术，并强调其主要优点和背景信息，定位和价格等。
ChatGPT Online是一个无需注册或登录即可直接通过网络浏览器访问的ChatGPT版本。它基于OpenAI的GPT-3和GPT-4技术，具有自然语言处理和生成能力，可以与用户进行各种主题的自然对话。它是一个强大的AI助手，可以用于客户支持、学习支持、内容创作等领域。
Model Muse是一个为电子商务服装品牌提供虚拟时尚模特的平台。它利用最新的人工智能图像生成技术，为品牌创造独特的模特形象，以代替传统高成本的拍摄。该平台可以轻松定制模特的特征，使其成为品牌的真实声音。
Astrology Book是一本通过ChatGPT提供占星阅读的网站。它利用星座和出生图来揭示宇宙的奥秘，并帮助人们获得关于自己的更多了解。该产品的主要优点是提供个性化的占星阅读，让人们深入了解自己的性格、特点和潜能。它的定位是为个人提供心灵成长和自我探索的工具。
IdeaPicker是一款用于生成创业点子的AI工具。我们通过扫描Reddit寻找痛点，从真实人们身上找到真实痛点。我们发现问题，然后AI为这些问题提供可以解决的创业点子。无论你是创业者还是寻找新创意的企业，我们都为你提供了解决方案。从我们的周报中获取挑选好的创业点子。
我们提供集成AI智能分析的中国风水在线计算工具，包括中国风水计算、易经占卜和八字算命服务。我们的先进技术提供准确的结果。该工具能够帮助优化您的生活或商业环境，提升财富和幸福感。它通过准确预测中国风水能量来提供帮助。
Menusso是一个帮助餐厅管理菜单的应用程序。它具有多语言翻译功能，可提供15种语言的翻译服务。Menusso使餐厅能够轻松管理菜单，并提供了一些主要优点，如背景信息、价格和定位等。
Sponsor Stream是一个帮助YouTube频道找到赞助商的平台。它可以帮助用户省去繁琐的寻找赞助商的过程，通过AI搜索算法提供与用户频道相关的赞助商列表。这个平台可以节省用户大量的时间和精力，提高与赞助商联系的效率。
Psychpedia是一个心理学和自我提升的学习平台。它提供AI支持的多样化心理学课程，涵盖各种层次，价格便宜且实惠。用户可以通过阅读每日更新的文章、查看心理学期刊、浏览工作机会和活动等来保持最新动态。平台还提供情绪跟踪工具，帮助用户记录和分析情绪模式，增加自我认知。
SpamCheckAI是一款专为防垃圾信息而设计的免费形式JSON API，提供IP过滤、内容分析和电子邮件验证等功能。它可以帮助您识别和阻止垃圾信息，并提供全面的数据分析，让您做出明智的决策。
AI Humanizer是一个工具，可以将AI生成的文本转换为类似人类的文本，绕过所有AI检测器，产生出色的人类质量评分。它创建高质量、真实的内容。
ColdCraft是一个AI平台，可以帮助您将简单的要点和LinkedIn个人资料转化为有效的冷邮件。它可以节省时间并提高回复率。该插件可以直接在Gmail中将要点转化为完整的冷邮件，并可以从LinkedIn个人资料直接撰写和发送电子邮件。
Nexai是一个基于人工智能的聊天机器人，它可以通过自然语言处理技术理解用户的问题并提供相关信息。它具有快速、准确的搜索能力，可以回答各种问题，并提供实用的建议和指导。Nexai还可以进行智能对话，与用户进行交流和互动。
Inboxly是一个AI邮箱，可以帮助用户整理、优先处理和回复来自各个平台的邮件。它的主要优点是提高工作效率、节省时间和保护隐私。Inboxly适用于个人和小型企业，提供AI助手、自动回复、智能过滤等功能。它是一个具有高影响力的低成本解决方案。
TruvaAI是一款AI助手，为软件平台提供智能导航和自动化操作功能，帮助用户更轻松地使用应用程序。通过TruvaAI，用户可以快速定位到正确的工具、功能和信息，并且还可以代表用户执行操作。TruvaAI不仅提高了用户的NPS，还为每个用户提供了个人账户经理的体验，实时可用。TruvaAI还能够根据用户的反馈和行为学习，不断改进自身。
