OpenAI o4-mini 是OpenAI推出的小型推理模型，專為快速、經(jīng)濟(jì)高效的推理而優(yōu)化。OpenAI o4-mini 在數(shù)學(xué)、編程和視覺任務(wù)方面表現(xiàn)出色，是 AIME 2024 和 2025 ...

AI寫作猿是AI智能寫作平臺(tái)，基于AI技術(shù)為用戶提供多種寫作輔助服務(wù)。AI寫作猿支持AI寫作、對(duì)話、偽原創(chuàng)、新媒體內(nèi)容創(chuàng)作等功能，提供學(xué)習(xí)、醫(yī)療、法律等領(lǐng)域...

Magnitude 是開源的視覺 AI Agents驅(qū)動(dòng)的端到端測試框架。Magnitude基于自然語言構(gòu)建測試用例，用強(qiáng)大的推理代理規(guī)劃和調(diào)整測試流程，基于快速的視覺代理執(zhí)行...

Ghiblio.art 是在線 AI 圖像生成平臺(tái)，可將文字和照片轉(zhuǎn)化為吉卜力風(fēng)格的藝術(shù)作品。用戶只需上傳照片或輸入文字描述，一鍵生成充滿宮崎駿動(dòng)畫風(fēng)格的奇幻圖像。

Kimina-Prover是月之暗面與Numina團(tuán)隊(duì)合作推出的大型數(shù)學(xué)定理證明模型，模型采用大規(guī)模強(qiáng)化學(xué)習(xí)訓(xùn)練，能以類似人類的方式進(jìn)行推理，在Lean 4語言中嚴(yán)謹(jǐn)?shù)刈C明...

ezsite AI 是無代碼AI工具，能快速生成專業(yè)網(wǎng)站和應(yīng)用。用戶只需輸入簡單指令，如“創(chuàng)建一個(gè)咖啡店網(wǎng)站”，系統(tǒng)能在60秒內(nèi)生成一個(gè)功能完備的網(wǎng)站，支持支付、...

WaveSpeedAI 是 AI 圖像和視頻生成平臺(tái)，提供多種高性能的 AI 模型，核心模型包括 HiDream-I1（170 億參數(shù)的開源圖像生成模型）、Flux-dev（120 億參數(shù)的快速...

Fay 是AI營養(yǎng)咨詢平臺(tái)，連接用戶與營養(yǎng)師的在線平臺(tái)，基于AI技術(shù)提升服務(wù)效率。用戶在平臺(tái)上能找到注冊營養(yǎng)師，享受個(gè)性化營養(yǎng)咨詢，包括飲食計(jì)劃、健康管理...

破殼AI口語是AI英語口語學(xué)習(xí)應(yīng)用，基于AI技術(shù)為用戶提供個(gè)性化口語練習(xí)體驗(yàn)。破殼AI口語涵蓋生活、校園、旅游、職場等多場景對(duì)話，幫助用戶提升流利度、語法...

Grok Studio 是馬斯克旗下AI智能助手Grok推出的 AI 協(xié)作功能，幫助用戶提升內(nèi)容創(chuàng)作與開發(fā)效率。Grok Studio支持代碼生成與實(shí)時(shí)運(yùn)行（涵蓋 Python、C++、Java...

EviMed 是基于 AI 智能算法的醫(yī)學(xué)信息平臺(tái)，主要為醫(yī)學(xué)工作者和科研人員設(shè)計(jì)。整合了全球七大知名中英文醫(yī)學(xué)數(shù)據(jù)庫，提供多維度搜索、AI 智能分析、科研選題...

GLM-Z1-32B是智譜公司開源的新一代推理模型，具體參數(shù)版本為GLM-Z1-32B-0414 。GLM-Z1-32B基于 GLM-4-32B-0414 基座模型開發(fā)，基于深度優(yōu)化訓(xùn)練，在數(shù)學(xué)、代...

愛派（AiPy）是創(chuàng)新性人工智能助手，基于大語言模型（LLM）與Python的深度融合，讓AI能思考，能主動(dòng)執(zhí)行任務(wù)。采用“Python-Use”范式，摒棄傳統(tǒng)依賴大量專用工...

交交是上海交通大學(xué)聽覺認(rèn)知與計(jì)算聲學(xué)實(shí)驗(yàn)室推出的全球首個(gè)純學(xué)術(shù)界自研的口語對(duì)話情感大模型。交交具備多人對(duì)話、多語言交流、方言理解、角色扮演、情感互...

Imagine Explainers 是 StudyFetch 推出的 AI 視頻生成工具，幫助用戶快速創(chuàng)建高質(zhì)量的解釋視頻。用戶只需輸入主題和視頻長度，選擇模板和角色，可生成 10 到...