Latest AI Resources

Total 2659 articles posts
Goedel-Prover-V2 - 普林斯顿联合清华和英伟达等开源的定理证明模型

Goedel-Prover-V2 - Princeton's open-source theorem proving model in conjunction with Tsinghua and NVIDIA, among others

Goedel-Prover-V2 is an open-source theorem proving model jointly released by leading organizations such as Princeton University, Tsinghua University, and NVIDIA. The model is based on innovative techniques such as hierarchical data synthesis, verifier-guided self-correction, and model averaging to significantly improve the performance of automated formal proofs...
1mos ago
09.1K
飞书妙搭 - 飞书推出的AI原生系统搭建平台

Flying Book Miaohu - AI Native System Building Platform by Flying Book

Flying Book Miaohu is an enterprise-level AI native system building platform launched by Flying Book. The platform quickly transforms enterprise business requirements into practical applications through a multi-agent architecture, supporting the whole process from requirements analysis to functional design, application development and problem repair. Users use a dialog to easily build lightweight...
1mos ago
09.2K
ChatGPT Agent – OpenAI推出的通用智能AI Agent

ChatGPT Agent - General Intelligence AI Agent by OpenAI

ChatGPT Agent is a general-purpose AI Agent from OpenAI that combines multiple capabilities to autonomously accomplish complex tasks. Users only need to describe their needs in natural language, and the Agent can automatically select the appropriate tools, such as browsing the web, extracting information, running code...
1mos ago
09.1K
PromptForge - AI 提示词生成与优化工作台

PromptForge - AI Prompt Generation and Optimization Workbench

PromptForge is a powerful AI cue engineering workbench that helps users efficiently create, test, and optimize AI cues.PromptForge provides optimization suggestions through intelligent generation features that support multi-model comparisons and dynamic parameter tuning, giving users the flexibility to compare no...
1mos ago
09.4K
RoboOS 2.0 - 智谱开源的跨本体具身大小脑协作框架

RoboOS 2.0 - Wisdom Spectrum's Open Source Cross-Ontology Embodied Brain-Size Collaboration Framework

RoboOS 2.0 is an open-source framework for cross ontology brain collaboration, promoting the transformation of robots from single intelligence to collaborative group intelligence. The framework realizes efficient division of labor with a "big brain" architecture, where the cloud brain is responsible for complex decision-making and collaboration, and the small brain module focuses on executing specific skills.
1mos ago
08.9K
EXAONE 4.0 - LG推出的混合推理模型

EXAONE 4.0 - Hybrid Reasoning Model introduced by LG

EXAONE 4.0 is a hybrid reasoning grand model from LG AI Research in Korea, blending general-purpose natural language processing and advanced reasoning capabilities. The model supports Korean, English, and Spanish, and is divided into a 32B professional version and a 1.2B end-side version. The professional version is suitable for legal, accounting...
1mos ago
09K
Tizzy.ai - 百度推出的AI搜索应用

Tizzy.ai - AI search app launched by Baidu

Tizzy.ai is an AI intelligent search application launched by Baidu.Tizzy.ai is based on Baidu's big model technology, with powerful intelligent search functions, can quickly answer questions, deep thinking and assist in decision-making.Tizzy.ai has a simple interface, no ads and pop-ups, and the bottom of the guide...
1mos ago
010.7K
Voxtral - Mistral AI推出的开源语音模型

Voxtral - Open Source Speech Modeling from Mistral AI

Voxtral is a state-of-the-art open source speech model from Mistral AI that supports the advancement of natural human-computer interaction through powerful speech transcription and comprehension capabilities. The model is available in two versions, 24B for mass production and 3B for local deployment.Voxtral supports...
1mos ago
010.4K
Grok 4 – 马斯克旗下xAI推出的最新大模型

Grok 4 - The latest big model from Musk's xAI

Grok 4 is the latest big AI model from xAI, and Grok 4 delivers a 10x improvement in reasoning power over its predecessor. The model's superior reasoning ability enables it to score near perfect on difficult exams such as the SAT and GRE, and outperforms other cutting-edge models in a number of benchmark tests...
2mos ago
09.2K
GenFlow超能搭子 – 百度文库推出的通用AI Agent

GenFlow Super Hitchhiker - Generalized AI Agent from Baidu Literature Library

GenFlow Super Hitchhiker is a general-purpose AI Agent launched by Baidu Literature Library, which allows users to autonomously disassemble tasks, call up Baidu Literature Library's 1.4 billion document libraries and online resources, and generate PPTs, reports, charts, posters, and other full-modal content in an extremely fast manner by simply typing in the natural language commands.
2mos ago
011.3K
宠TA - 京东推出的AI宠物互动产品

Pet TA - AI pet interaction product launched by Jingdong

Pet TA is an AIGC pet interactive product launched by Jingdong, which can provide a fun and cozy online interactive platform for pet lovers. It supports users to choose a variety of cute clothes and accessories for their pets, personalized dress up, and can create a digital image of their pets for rich interaction with them. The platform provides...
2mos ago
09.8K
聊愈小宇宙 - 京东健康推出的AI心理陪伴产品

Talking to the Healing Universe - AI Mental Companion Product Launched by Jingdong Health

Chat Healing Small Universe is an AI mental companion product launched by Jingdong Health. Launched on the basis of the big medical model of Jingdao Qianxin, Chat Healing Small Universe can simulate the human communication process and empathy, providing users with 7×24 hours of mental health support. Users interact with the AI character Little Fish based on text, emoji, or voice to share emo...
2mos ago
09.5K
星流Agent - Liblib推出的AI一站式设计Agent

Starstream Agent - AI One-Stop Design Agent from Liblib

StarFlow Agent is a one-stop creative design agent designed for Chinese users by Liblib.StarFlow Agent continues Lovart's full-stack intelligent design capabilities, fully adapted to Chinese semantics, oriental aesthetics and local scenarios. Users only need to enter a sentence, Agen...
2mos ago
09.8K
MuseSteamer - 百度推出的视频生成大模型

MuseSteamer - Baidu Launches Big Model for Video Generation

MuseSteamer is a large model for multimodal video generation launched by Baidu. The model can quickly generate high-quality dynamic video content based on text descriptions or images provided by the user, supporting a variety of clarity and functionality versions to meet the needs of different scenarios of creation.
2mos ago
010.9K
绘想 - 百度推出的AI视频生成平台

Painting Thinking - AI Video Generation Platform Launched by Baidu

Painting is an AI video generation platform launched by Baidu, based on AI technology to help users easily create personalized videos. Painting intuitive interface, powerful tools, with inspiration recommendation function, can provide creators with creative inspiration, support a key to the same operation, can quickly generate similar videos, simplify the creative process.
2mos ago
010.1K
羚珑 - 京东推出的AI商品图设计工具

Antelope - AI product image design tool launched by Jingdong

Antelope is an intelligent design tool launched by Jingdong, providing efficient and convenient design solutions for e-commerce merchants and individuals. Through intelligent keying, intelligent layout, intelligent color matching and other functions, it helps users to quickly generate high-quality design works to meet the main picture of the product, advertising Banner, store page and other e-commerce store...
2mos ago
09.4K
腾讯广告妙思 - 腾讯广告推出的一站式AI广告创意平台

Tencent Advertising Myth - One-stop AI Advertising Creative Platform launched by Tencent Advertising

Tencent Advertising Myth is a one-stop AI advertising creative platform launched by Tencent Advertising, based on Tencent's hybrid big model, providing advertisers with efficient and intelligent creative generation and optimization services. It supports a variety of creative tools such as text-to-map, map-to-map, text-to-video, etc. Users only need to enter a simple natural language description or upload material...
2mos ago
09.1K
ThinkSound - 阿里通义推出的音频生成模型

ThinkSound - Audio Generation Model launched by Ali Tongyi

ThinkSound is the first CoT (Chain Thinking) audio generation model introduced by Ali Tongyi's speech team. The model can generate accurately matched sound effects for video images, based on the introduction of CoT reasoning, to solve the problem of traditional technology is difficult to capture the dynamic details of the screen and spatial relationships.
2mos ago
09K
Mapify - XMind推出的AI思维导图生成工具

Mapify - AI Mind Map Generator from XMind

Mapify is an AI mind map generator tool launched by XMind team. It can quickly convert text, PDF, web pages, video, audio and other formats into structured mind maps, helping users efficiently extract and organize key information.
2mos ago
09K
Qwen-TTS - 阿里通义千问推出的语音合成模型

Qwen-TTS - Speech Synthesis Model launched by Ali Tongyi Qianqian

Qwen-TTS is an advanced speech synthesis model introduced by Ali Tongyi. The model can efficiently convert text into natural and smooth speech, supporting multiple languages and dialects, such as Mandarin, English, Beijing dialect, etc., to meet the needs of different regions and scenes. Relying on massive corpus training, the model's speech output is of high quality, rhyming...
2mos ago
09.8K
MultiAgentPPT - 开源的AI演示文稿生成系统

MultiAgentPPT - Open Source AI Presentation Generation System

MultiAgentPPT is an open source multi-intelligent AI presentation generation system. Users only need to enter the subject , the system is based on multi-intelligent collaboration , automatically complete the outline generation , subject splitting , parallel research and content summarization and other steps to quickly generate high-quality PPT....
2mos ago
010.3K
Ovis-U1 - 阿里推出的多模态统一AI模型

Ovis-U1 - Multimodal Unified AI Model Introduced by Ali

Ovis-U1 is a multimodal unified model introduced by the Ovis team of Alibaba Group with a parameter scale of 3 billion. The model is equipped with three core capabilities: multimodal understanding, text-to-image generation, and image editing. With advanced architectural design and collaborative and unified training methods, the model supports the realization of high-fidelity image...
2mos ago
09.6K
袋鼠参谋 – 美团推出的商家AI智能决策应用

Kangaroo Staff - AI Intelligent Decision Making App for Merchants by Meituan

Kangaroo Staff is a merchant-oriented AI intelligent decision-making application launched by Meituan to help merchants solve problems in store opening and operation. Based on Meituan's massive catering data and more than 10 years of online operation experience, through conversational interaction, it provides merchants with precise information on track selection, store opening location, dish development, store operation and other scenarios, such as...
2mos ago
08.6K
AI抖音 - 抖音推出的智能深度思考与搜索应用

AI Jitterbug - Intelligent Deep Thinking and Search App by Jitterbug

AI Jitterbug is an intelligent deep thinking and search application launched by Jitterbug to provide users with a more efficient and intelligent content acquisition experience. Based on Jitterbug's powerful content ecosystem and AI technology, it provides users with more comprehensive and detailed answers through connected search and reasoning capabilities.
2mos ago
09.1K
Doppl - 谷歌推出的AI虚拟试衣应用

Doppl - AI virtual fitting app from Google

Doppl is an AI virtual fitting application launched by Google. After the user uploads a full body photo, the application supports the clothing picture or screenshot "wear" in the digital version of their own body, and can be converted from static pictures to AI-generated video, so that users can more truly feel the effect of clothing on the body.
2mos ago
08.8K
迅雷MCP - 迅雷推出的AI自动下载服务

Xunlei MCP - AI automatic download service launched by Xunlei

Xunlei MCP is launched by Xunlei, an automatic download service based on AI technology. Users in the AI application that supports the service, with voice or text input download demand, AI can automatically search for network resources and start downloading. Xunlei MCP supports PC version of Xunlei and NAS Xunlei, breaking the traditional download mode, allowing...
2mos ago
09K
TicNote – 出门问问推出的AI录音设备

TicNote - AI Recording Device from Out of the House

TicNote is an AI voice recorder launched by TicNote, which is a combination of Agentic AI hardware and software products, and is positioned as a "portable AI thinking partner". It adopts card-type design, thin and lightweight, and is equipped with a magnetic protective case, which can be easily carried or attached to the back of the phone.
2mos ago
09K
万兴天幕 – 万兴科技推出AIGC视频创作平台

Wanxing Canopy - Wanxing Technology Launches AIGC Video Creation Platform

Wanxing Canopy is the AIGC video creation platform launched by Wanxing Technology, covering the three major creation fields of video, picture and audio generation, which is specially designed for media and cultural industry workers, film and television/post-production workers, art and design workers, advertising and marketing practitioners, etc. to provide one-stop professional creation solutions.
2mos ago
08K
咔皮记账 - 商汤科技推出的智能AI记账应用

Kapi Bookkeeping - Intelligent AI Bookkeeping App by ShangTech

Kapi Bookkeeping is an intelligent AI bookkeeping app launched by Shangtang Technology. The application takes automatic bookkeeping as its core function, automatically recognizes amounts and classifications, and supports voice input, making bookkeeping easy and convenient. Kapi Bookkeeping can intelligently analyze billing data and regularly push personalized consumption summaries and financial advice to help users better...
2mos ago
07.6K
Gemini CLI - 谷歌开源的编程Agent

Gemini CLI - Google Open Source Programming Agent

Gemini CLI is Google's open source AI programming tool based on incorporating the Gemini Big Model into the developer's endpoint to provide developers with powerful AI capabilities. The tool understands code, manipulates files, executes commands, and dynamically troubleshoots problems to help developers efficiently write generation...
2mos ago
07.6K
11ai - ElevenLabs推出个人AI语音助理

11ai - ElevenLabs Launches Personal AI Voice Assistant

11ai is an AI voice assistant launched by ElevenLabs, with voice interaction as the core, through natural and smooth dialogue to enhance the user's work efficiency. 11ai supports more than 5,000 voices, and users can customize the exclusive voice, the assistant is more personalized. With low-latency voice inter...
2mos ago
08K
墨刀AIPPT - 墨刀推出的AI PPT创作工具,支持智能排版、配图和美化

Inkblade AIPPT - Inkblade's AI PPT creation tool supports intelligent layout, illustration and beautification.

Inkblade AIPPT is the inkblade launched AI PPT creation tools, based on intelligent technology to simplify the production process of PPT. Users only need to enter the theme or import the document, AI can quickly generate a complete structure, design unity and content-rich PPT. tools with intelligent matching copy, a key to generate charts and diagrams, self...
2mos ago
08.9K
探饭 - 字节跳动推出的AI美食推荐工具

Scouting Rice - AI food recommendation tool launched by Wordpress

TanRice is an AI food recommendation tool launched by Jitterbug, a subsidiary of ByteDance, which relies on the Beanbag Big Model to provide users with personalized food recommendations, store scouting comparisons, food tips and other services. TanRice can accurately recommend nearby restaurants and dishes based on users' taste preferences and location, support assisted ordering, and provide group-buying and takeaway services...
2mos ago
09K
Comate AI IDE - 文心快码推出多模态、多智能体协同的AI IDE

Comate AI IDE - Wenshin Quickcode Launches Multimodal, Multi-Intelligence Body Collaboration AI IDE

Comate AI IDE is the industry's first multi-modal, multi-intelligence body collaborative AI native IDE launched by Baidu Wenshin Express Code, with powerful multi-modal capabilities, support for the design draft of a key to the code (F2C), image to the code, and the natural language to the code, the front-end development scenarios in the performance of the outstanding...
2mos ago
08.4K
DeepPiano - 智曲科技推出的AI钢琴应用

DeepPiano - AI Piano App by Smartquote Technology

DeepPiano is an intelligent piano application with a big model as its core launched by Zhiqu Technology. Through advanced artificial intelligence technology, it provides a variety of convenient functions for piano players and learners.DeepPiano can realize intelligent sheet music page turning, automatic recognition of playing progress, no need to manually operate...
2mos ago
08.3K
AQ - 蚂蚁推出的AI医疗健康工具

AQ - AI healthcare tool launched by Ants

AQ is an AI medical health tool launched by Ant Group. Based on advanced AI technology, it provides users with convenient medical health services. The tool is based on AQ for health consultation, access to AI intelligent Q&A services, support for uploading pictures for interpretation of reports, cases, etc. AQ supports personal and family health record management...
2mos ago
010K
飞算JavaAI - AI Java开发助手,自然语言实现全流程智能化开发

Flycount JavaAI - AI Java development assistant, natural language implementation of the whole process of intelligent development

Flycount JavaAI is an intelligent Java development assistant launched by Flycount Technology. The platform supports natural language input to realize the whole process of intelligent development from requirements analysis to code generation. Developers only need to enter a description of the requirements, Flycount JavaAI can accurately understand and generate a complete engineering code framework, the platform...
2mos ago
08.6K
xbench - 红杉中国推出的AI基准测试工具

xbench - AI benchmarking tool launched by Sequoia China

xbench is an AI benchmarking tool launched by Sequoia China. Based on the dual-track evaluation system, it evaluates the upper limit of AI system's capability and technology boundary on one hand, and quantifies the utility value of AI system in real scenarios on the other hand. xbench is based on the evergreen mechanism of evaluation, and dynamically updates the test content to ensure that the evaluation...
2mos ago
010.2K
妙构 - AI视频分析与生成工具,揭示爆款视频创作规律

MyoConstruct - AI Video Analysis and Generation Tool, Revealing the Laws of Explosive Video Creation

Miaojiao is a professional AI video content analysis and generation tool, based on deep learning algorithms, which analyzes the visual, audio and creative structure of the video in an all-round way, revealing the laws behind the explosive videos. Miaojiao can analyze composition, color, and lens language, assess creative uniqueness and emotional resonance, and provide trend insights and optimization suggestions...
2mos ago
08.3K
OpenEvidence - AI医学知识助手,解答临床问题、分析症状、推荐治疗方案

OpenEvidence - AI medical knowledge assistant that answers clinical questions, analyzes symptoms, and recommends treatments

OpenEvidence is a medical knowledge assistant platform based on AI technology to provide accurate clinical support for doctors and healthcare workers. The platform is based on small specialized models and multi-model integration architecture to quickly answer clinical questions, analyze symptoms, recommend treatment plans, and provide the latest medical knowledge more...
2mos ago
09.1K
靠岸妙写 - AI论文写作工具,构思到成稿一站式解决

Leaning Wonderful Writer - AI essay writing tool, one-stop solution from idea to finished paper

Leaning Wonderful Writer is an AI dissertation writing tool that provides an efficient and convenient solution for academic writing. The tool supports one-click generation of dissertation outlines, abstracts and first drafts of the body of the paper, which is applicable to different levels of academic needs such as undergraduate and master's degrees, and covers multi-disciplinary fields such as science and technology, liberal arts and social sciences.
2mos ago
08.2K
SurveyGO卷姬 - 清华联合面壁智能推出的开源AI论文写作工具

SurveyGO Volume Ji - An open source AI essay writing tool launched by Tsinghua University in conjunction with Noodle Intelligence

SurveyGO (Volume Ji) is an open source AI paper writing tool from Tsinghua University in conjunction with the Facing Intelligence team, which can help researchers and students to quickly generate literature review sections. Users only need to enter the topic and description of the paper, the tool can quickly generate a clear structure and rich content of the review article, support tens of thousands of words long...
2mos ago
08.4K
易笔AI - AI论文写作工具,一键生成论文框架和初稿

Easy Pen AI - AI dissertation writing tool that generates dissertation framework and first draft in one click

Easy Pen AI is an intelligent tool designed for academic writing that helps students, researchers and all kinds of academic writers to quickly generate high-quality first drafts and frameworks for their papers. Based on advanced AI technology, the tool generates in a short time the first draft of a paper containing introduction, literature review, research methodology based on the topic and keywords of the paper inputted by the user...
2mos ago
08.2K
彩漩 - AI PPT生成平台,基于主题或微信文章等生成PPT

Color Swirl - AI PPT generation platform, generate PPT based on themes or WeChat articles, etc.

Color Swirl is a one-stop PPT generation platform that integrates AI intelligent creation, multi-person collaboration and secure sharing. Users input the theme or import text, the platform can generate high-quality presentations with one click, supporting intelligent graphics, text optimization and content layout adjustment. Color Swirl provides a rich library of templates to meet the needs of different scenarios ...
2mos ago
08.9K
魔力设 - AI设计平台,一键智能生成PPT和抠图

MagicSet - AI design platform, one-click intelligent generation of PPT and keystroke

MagicSet is an efficient and convenient online AI design platform that provides users with one-stop design solutions. The platform integrates a rich copyright material library, with 500,000+ genuine pictures, illustrations, art characters and other materials, users can commercialize for free without worrying about copyright issues. The platform provides more than 200,000 design templates, including...
2mos ago
08K
老师帮 - AI教师工作助手,支持课件一键转PPT

Teacher's Help - AI teacher's work assistant, support courseware to PPT in one click

Teacher Help is an AI intelligent tool platform designed for teachers to improve their work efficiency and teaching quality based on AI technology. The platform provides a variety of functions, including lesson plan generation, one-click conversion of courseware to PPT, homework and test question design, student comment generation, and teaching plan writing. The platform supports text translation...
2mos ago
08.4K
DeckSpeed - AI PPT制作工具,自然语言生成演示文稿

DeckSpeed - AI PPT Maker, Natural Language Generated Presentation

DeckSpeed is an AI presentation creation tool based on conversational interaction, where users express their needs based on natural language and quickly generate personalized slides without relying on traditional templates. The tool supports real-time feedback adjustment, users can modify the color, style and content of the slide at any time to ensure that the presentation is complete...
2mos ago
09K
DeerFlow - 字节跳动推出的开源深度研究框架

DeerFlow - an open source deep research framework from ByteDance

DeerFlow is a byte jump open source deep research framework designed for efficiently accomplishing complex research tasks. The framework integrates multiple language models (e.g. Qwen) and tools (e.g. search engines , crawlers , Python execution environment ) , can quickly generate high-quality research reports , podcasts ...
2mos ago
09K
Dolphin - 字节跳动开源的轻量级文档解析大模型

Dolphin - Wordpress open source lightweight document parsing large model

Dolphin is a byte jump open source lightweight document parsing large model , with 322M parameters , small size and fast running speed . The model is based on a two-stage parsing approach , based on page-level layout analysis to identify the elements in the document ( such as headings , tables, formulas , etc.) , and then the content of each element parsed ...
2mos ago
09.6K
QVQ-Max - 阿里通义推出视觉推理模型

QVQ-Max - Ali Tongyi Launches Visual Reasoning Models

QVQ-Max is a state-of-the-art visual reasoning model introduced by Alitonix, which is an upgraded version of QVQ-72B-Preview. QVQ-Max is an advanced visual reasoning model that can "read" images and video content and combine the information for analysis, reasoning and problem solving.QVQ-Max's main functions include image parsing, video analysis...
2mos ago
09.3K