Seed Prover 1.5 – 字节跳动推出的新一代数学推理模型 Seed Prover 1.5是什么 Seed Prover 1.5 是字节跳动 Seed 团队推出的新一代形式化数学推理模型。模型采用创新的 Agentic Prover 架构,通过大规模强化学习... AI工具集# Seed Prover 6个月前800
opcode – 为Claude Code打造的开源桌面图形界面工具 opcode是什么 opcode 是为Claude Code 打造的开源桌面图形界面工具,支持将复杂的命令行操作转化为直观的可视化体验,极大提升用户体验。通过 opcode,用户能更便捷地管理项目和会... AI工具集# opcode 6个月前670
Replymer – AI产品营销工具,用自然真实的方式推广产品 Replymer是什么 Replymer 是通过真实人类撰写的回复推广产品的工具。工具能帮助品牌在 Reddit、X(Twitter)和 LinkedIn 等社交平台上找到合适的对话场景,用自然、真实... AI工具集# Replymer 6个月前600
QuantiPhy – 李飞飞团队推出的VLM物理推理量化评估基准 QuantiPhy是什么 QuantiPhy 是斯坦福大学李飞飞团队推出的首个量化评估视觉 – 语言模型(VLM)物理推理能力的基准。QuantiPhy 通过 3300 多个视频 – 文本实例,要求模... AI工具集# QuantiPhy 6个月前830
Aident AI – AI自动化编辑工具,自然语言构建工作流 Aident AI是什么 Aident AI 是AI自动化工具编辑工具,支持通过自然语言描述构建自动化流程,无需复杂编程或图形化操作。用户用日常语言表达需求,Aident AI 能快速生成可运行的自动... AI工具集# Aident AI 6个月前620
Stickerbox – AI创意贴纸打印机,语音交互生成贴纸 Stickerbox是什么 Stickerbox是专为儿童设计的AI驱动创意贴纸打印机,将孩子的想象力瞬间转化为可触摸的实体艺术品。采用语音交互方式,孩子只需开口描述想法(如“一只骑滑板的恐龙”),设... AI工具集# Stickerbox 6个月前930
Infographic – 阿里AntV团队开源的信息图生成框架 Infographic是什么 Infographic 是阿里前端 AntV 团队开源的新一代信息图框架。框架基于 G2 可视化引擎和 Ant Design,能快速生成高质量、稳定的信息图。Infogr... AI工具集# Infographic 6个月前830
FrontierScience – OpenAI推出的科学AI能力评估基准 FrontierScience是什么 FrontierScience是OpenAI推出的科学AI能力评估基准,专门测试大模型在物理、化学、生物领域的专家级推理能力。包含两个子集:奥林匹克赛道(100道... AI工具集# FrontierScience 6个月前630
ML-Master 2.0 – SciMaster推出的自主机器学习智能体 ML-Master 2.0是什么 ML-Master 2.0 是上海交通大学人工智能学院、上海算法创新研究院、深势科技组成的SciMaster团队推出的面向真实机器学习科研任务的自主智能体。ML-Ma... AI工具集 5个月前670
Zen Browser – 开源AI网页浏览器,提供深度可定制功能 Zen Browser是什么 Zen Browser 是基于Firefox 内核的开源浏览器,能通过高效的设计和强大的功能提升用户生产力。Zen Browser用垂直标签页和侧边栏布局,优化宽屏显示器... AI工具集# Zen Browser 6个月前850