首頁
AI 工具
AI 課程
AI 應用
AI模型
AI 資訊
專欄
中文(繁體)
中文(繁體)
English
目前位置:
首頁
>
AI模型
>
強化學習
AI模型
Neo-1
發現Neo-1是Vantai的開創性AI模型，如何具有精確的結構預測和創新特徵來徹底改變分子設計和藥物開發。
Neo-1 AI 模型
分子設計AI
Goedel-Prover
Goedel-Prover是普林斯顿、清华等机构推出的开源LLM，能将数学问题转化为形式证明，显著提升自动化定理证明能力。
自動化數學證明
AI定理證明
Step Reasoner mini
還在為複雜的數理邏輯題和枯燥的文本創作煩惱？ Step R-mini 幫你輕鬆解決！
AI 推理模型
兼具文理科能力的推理模型
Microsoft Phi-4
Microsoft Phi-4是 Microsoft 開發的人工智慧 (AI) 框架，用於深度學習和強化學習任務的自動化訓練和推理。
小語言模型
數學
推薦分類
多模態
電腦視覺
自然語言處理
音訊
表格
強化學習
其他
