OpenAI新模型Astra以数学领域的惊艳表现引发热议,但学者Gary Marcus批评外界追捧犯了"合成谬误",过分吹捧其通用性。他指出,AI在数学成功并非偶然,关键在于数学可借助符号工具轻松验证,并能低成本生成大批量正确合成数据。这种突破仅局限于特定领域,不应过度外推其适用范围。
7月30日,腾讯WorkBuddy发布V5.3.5版本,联合腾讯文档推出“人机双写”协同编辑功能。用户可在Word、Excel、PPT、Markdown等文档内与AI实时共创、修改,破解人机混编协作难题。这标志着办公从人与文件交互,历经在线文档的人人协同,迈入人与AI协同新阶段。
为满足AI Agent执行长程任务时的深度检索需求,火山引擎正式上线豆包搜索服务。该服务面向企业及开发者,为智能体构建提供跨语言、多模态、多垂类的联网信息支撑,同时升级信息获取与可信度治理,可直接输出结构化数据及Markdown原文,实现精准定向查询。
微软纳德拉在财报会上称,将力推多模型架构,加大自研AI模型、智能体及安全产品投入,以降低对单一前沿AI实验室的依赖。财务方面,微软全年营收3318亿美元、净利1337亿美元,最新季度营收900亿美元、净利358亿美元,AI业务高速扩张背景下,公司仍保持全球云服务领先地位。
MakeAD是AI产品摄影与图像生成器,用于电商、生活场景和广告。
创建可打印葬礼程序,含引导写作、预览、PDF检查和本地打印交接
为室内设计师和建筑师提供材料采购与规格说明软件,一站式设计工具。
Mantlecore是AI代理云平台,一键让代理拥有电脑,无代码、零设置
Alibaba
$6
输入tokens/百万
$24
输出tokens/百万
256
上下文长度
$1.6
$4
128
Iflytek
$8
-
8
$2.4
$9.6
32
bartowski
这是对TheDrummer的Magidonia-24B-v4.3大语言模型进行量化处理后的版本。通过使用llama.cpp的imatrix量化技术,生成了从BF16到IQ2_XS等多种精度的GGUF格式文件,旨在不同硬件条件下(尤其是资源受限环境)更高效地运行模型,同时尽可能保持模型性能。
MaziyarPanahi
这是NousResearch/Hermes-4.3-36B模型的GGUF量化格式版本,由MaziyarPanahi进行量化处理。GGUF是一种高效的模型格式,旨在优化本地部署和推理性能,支持多种量化级别(2位至8位),适用于广泛的文本生成任务。
DavidAU
Qwen3-4B-Hivemind-Instruct-NEO-MAX-Imatrix-GGUF 是一款基于 Qwen3 架构的 4B 参数指令微调大语言模型,采用 NEO Imatrix 与 MAX 量化技术,具备 256k 的超长上下文处理能力。该模型在多个基准测试中表现出色,是一款性能强劲的通用型模型。
mlx-community
该模型是 Kimi-Linear-48B-A3B-Instruct 的 MLX 格式转换版本,专为苹果 Mac Studio 等 Apple Silicon 设备优化。它是一个 480 亿参数的大型语言模型,支持指令跟随,适用于本地推理和对话任务。
MuXodious
Gemma 3n E4B IT 是谷歌推出的轻量级多模态开放模型,基于与Gemini模型相同的研究构建。该模型支持文本、音频和视觉输入,适用于多种任务,采用MatFormer架构实现高效参数利用。
nightmedia
GLM-4.5-Air-REAP-82B-A12B-mxfp4-mlx是基于GLM-4.5-Air模型通过REAP方法压缩的82B参数大语言模型,采用MXFP4量化格式,专为Mac设备优化,在保持核心任务性能的同时显著减少内存占用。
本项目提供了Qwen3-4B-Thinking-2507模型的GGUF格式文件,这是一个具有思维链推理能力的4B参数大语言模型,支持多种量化版本,便于在各种硬件上部署运行。
allenai
Olmo 3 7B RL-Zero Math是Allen AI开发的专为数学推理任务优化的70亿参数语言模型,采用RL-Zero强化学习方法在数学数据集上进行训练,能有效提升数学推理能力。
VibeThinker-1.5B-GGUF 是 WeiboAI/VibeThinker-1.5B 模型的 GGUF 量化版本,由 MaziyarPanahi 进行量化处理。该模型是一个 1.5B 参数的文本生成模型,支持多种量化级别(2位到8位),便于在各种硬件上高效运行。
magiccodingman
这是一个基于Qwen3 VL 8B模型的混合量化版本,采用MXFP4量化技术并在密集模型上使用混合权重。该模型在保持接近Q8精度的同时,实现了更小的文件大小和更高的推理速度,是效率与精度平衡的优秀解决方案。
这是一个基于Qwen3 VL 8B模型的实验性混合量化版本,采用MXFP4_MOE技术结合高精度权重,在保持接近Q8精度的同时,实现更小的文件体积和更高的推理速度。该模型探索了混合量化方法,在精度损失和性能之间取得了良好平衡。
ilyasaqit
这是Helsinki-NLP/opus-mt-en-ber模型的微调版本,专门用于英语到阿特拉斯塔马齐格语的翻译。模型基于MarianMT架构,使用48.6万对合成句子对进行训练,支持塔马齐格语、塔什利特语和中阿特拉斯塔马齐格语的翻译任务。
这是一个实验性的混合量化模型,采用MXFP4_MOE混合权重技术,在保持接近Q8精度的同时,实现了更小的文件大小和更高的推理速度。模型探索了MXFP4与高精度嵌入/输出权重的组合,在密集模型上取得了精度近乎无损的优化效果。
这是一个基于Qwen3 4B Instruct模型的混合量化版本,采用MXFP4和混合权重技术,在保持近乎无损精度的同时实现了更小的文件大小和更高的推理速度。
这是一个基于Qwen3 4B模型的混合量化版本,采用MXFP4_MOE混合权重技术,在保持近乎无损精度的同时实现了更小的文件大小和更高的推理速度。该模型通过精心组合MXFP4和高精度嵌入/输出权重,达到了接近Q8量化的精度水平,同时具备Q4-Q6级别的吞吐量。
这是一个基于Qwen3-4B-Thinking-2507的密集模型实验性量化版本。它采用了创新的MXFP4混合量化技术,旨在探索通过组合不同精度的权重(如MXFP4与Q8_0、Q6_K等),在显著减小模型文件大小、提升推理速度(TPS)的同时,尽可能保持接近原始F16模型的精度。该项目展示了混合量化方法的潜力,但已被作者更新的版本所取代。
Maxlegrec
BT4模型是LeelaChessZero引擎背后的神经网络模型,专门用于国际象棋对弈。该模型基于Transformer架构设计,能够根据历史走法预测最佳下一步走法、评估棋局形势并生成走法概率。
McG-221
本模型是Falcon-H1-34B-Instruct指令微调版本的MLX格式转换版,专为Apple Silicon(M系列芯片)优化。它基于原始的Falcon-H1-34B-Instruct模型,通过mlx-lm工具转换为MLX框架兼容的8位量化格式,旨在在macOS设备上实现高效的本地推理。
mradermacher
这是 Manoghn/voicecraft-mistral-7b 模型的静态量化GGUF版本,基于Mistral-7B架构,专门用于内容生成和文本生成任务。该版本提供了多种量化级别,从2.8GB到14.6GB不等,用户可以根据硬件条件和性能需求选择合适的版本。
FastVideo
FastVideo团队推出的图像转视频模型,属于CausalWan2.2 I2V A14B系列,支持8步推理,能适配从H100到4090等多种GPU,也支持Mac用户使用。
一个功能丰富的Markdown排版工具,支持多种样式主题和平台适配,提供实时编辑预览、图片导出和API集成能力
一个基于MCP协议的Kubernetes集群管理服务器,支持通过命令行或聊天界面与Kubernetes集群交互,提供资源管理、Helm图表操作等功能。
Markdownify是一个多功能文件转换服务,支持将PDF、图片、音频等多种格式及网页内容转换为Markdown格式。
MCP Agent Mail是一个为AI编程代理设计的邮件式协调层,提供身份管理、消息收发、文件预留和搜索功能,支持多代理异步协作和冲突避免。
Magic Component Platform (MCP) 是一个AI驱动的UI组件生成工具,通过自然语言描述帮助开发者快速创建现代化UI组件,支持多种IDE集成。
Notion MCP Server是一个连接Notion API与LLM的中间件服务,通过Markdown转换优化交互效率。
iMCP是一款macOS应用,通过AI连接用户的数字生活,支持与Claude Desktop等客户端通过Model Context Protocol (MCP)协议交互,提供日历、联系人、位置、地图、消息、提醒和天气等多种功能。
Azure MCP Server是一个实现MCP协议的服务器,为AI代理与Azure服务(如存储、Cosmos DB等)提供无缝连接,支持自然语言命令转换为Azure操作。
Mapbox MCP服务器是一个Node.js实现的模型上下文协议服务器,为AI应用提供Mapbox地理空间API的访问能力,包括地理编码、兴趣点搜索、路线规划、等时线分析和静态地图生成等功能。
开源短视频自动生成工具,整合文本转语音、自动字幕、背景视频和音乐,从简单文本输入创建专业短视频。
MaverickMCP是一个基于FastMCP 2.0的个人股票分析服务器,为Claude Desktop等MCP客户端提供专业级的金融数据分析、技术指标计算和投资组合优化工具。它预置了520只标普500股票数据,支持多种技术分析策略和并行处理,无需复杂认证即可本地运行。
Magic UI的官方ModelContextProtocol (MCP)服务器,提供丰富的UI组件和效果实现细节,支持多种客户端集成。
这是一个基于Docker容器的AI开发工具项目,通过Markdown文件编写复杂工作流,结合Docker化工具和用户自选的LLM模型,实现多模型代理和项目优先设计的工作流程。
一个用于管理Claude桌面应用MCP服务器的MacOS应用程序,提供多种预设服务配置和本地化数据管理。
基于MaaFramework的MCP服务器,为AI助手提供Android设备和Windows桌面自动化能力,支持OCR识别、点击、滑动、文本输入等操作,并能将操作流程转换为可复用的Pipeline。
一个通过AppleScript实现LLM应用与macOS交互的MCP服务器,提供标准化接口控制多种系统功能。
Maigret MCP Server是一个为OSINT工具maigret提供的模型上下文协议服务器,支持用户名搜索和URL分析功能。
ReActMCP Web Search是一个集成Exa API的MCP服务器,为AI助手提供实时网页搜索功能,支持基础搜索和高级过滤选项,返回Markdown格式的结果。
一个将Markdown内容转换为交互式思维导图的MCP服务器,支持多种安装方式并提供灵活的返回格式选项。
Peekaboo MCP是一个macOS工具,能够快速截取屏幕截图并通过AI分析内容,为AI助手提供视觉能力。