TheoremExplainAgent 是一款基於人工智能的模型，專注於為數學和科學定理生成詳細的多模態解釋視頻。它通過結合文本和視覺動畫，幫助用戶更深入地理解複雜概念。該產品利用 Manim 動畫技術生成超過 5 分鐘的長視頻，填補了傳統文本解釋的不足，尤其在揭示推理錯誤方面表現出色。它主要面向教育領域，旨在提升學習者對 STEM 領域定理的理解能力，目前尚未明確其價格和商業化定位。

Coding-Tutor是一個基於大型語言模型（LLM）的編程輔導工具，旨在通過對話式交互幫助學習者提升編程能力。它通過Trace-and-Verify（Traver）工作流，結合知識追蹤和逐輪驗證，解決編程輔導中的關鍵挑戰。該工具不僅適用於編程教育，還可擴展到其他任務輔導場景，幫助根據學習者的知識水平調整教學內容。項目開源，支持社區貢獻。

DeepScaleR-1.5B-Preview 是一個經過強化學習優化的大型語言模型，專注於提升數學問題解決能力。該模型通過分佈式強化學習算法，顯著提高了在長文本推理場景下的準確率。其主要優點包括高效的訓練策略、顯著的性能提升以及開源的靈活性。該模型由加州大學伯克利分校的 Sky Computing Lab 和 Berkeley AI Research 團隊開發，旨在推動人工智能在教育領域的應用，尤其是在數學教育和競賽數學領域。模型採用 MIT 開源許可，完全免費供研究人員和開發者使用。

🤗 AI Agents Course 是由 Hugging Face 提供的免費在線課程，旨在幫助學習者從初學者成長為專家，掌握 AI 智能體的理論、設計和實踐。課程內容豐富，涵蓋從基礎知識到實際應用的多個方面，通過理論學習、實踐操作和挑戰任務，幫助學習者深入理解 AI 智能體的工作原理，並學會使用最新的庫和工具構建自己的智能體。課程還提供認證機會，完成特定任務後可獲得證書，適合對 AI 智能體感興趣的學生和開發者。

Confucius-o1-14B是由網易有道團隊開發的推理模型，基於Qwen2.5-14B-Instruct優化而成。它採用兩階段學習策略，能夠自動生成推理鏈，並總結出逐步的問題解決過程。該模型主要面向教育領域，尤其適合K12數學問題的解答，能夠幫助用戶快速獲取正確解題思路和答案。模型具備輕量化的特點，無需量化即可在單個GPU上部署，降低了使用門檻。其推理能力在內部評估中表現出色，為教育領域的AI應用提供了強大的技術支持。

WordPecker App是一款創新的語言學習工具，旨在通過個性化學習體驗幫助用戶高效掌握新語言。它結合了Duolingo風格的互動課程和用戶自定義的詞彙表，支持從書籍、文章或視頻中無縫添加單詞，並通過LLM生成的課程進行復習。該產品利用最新的AI技術，為用戶提供沉浸式學習體驗，同時支持多種語言偏好設置，適合不同語言學習者的需求。其開源特性也鼓勵社區參與和持續改進。

SSShooter/en-etymology-dict 是一款桌面端 AI 英語詞源詞典，旨在幫助用戶更好地理解和記憶英語單詞。產品通過 AI 技術生成單詞的詞源、使用場景、同義詞、反義詞、形似詞和派生詞等信息，為用戶提供全面的單詞學習體驗。該產品適合英語學習者，尤其是需要備考四六級、託福等英語考試的學生。產品目前是免費的，定位為教育領域的輔助學習工具。

Math Tutor on Groq是一個由Groq驅動的AI數學家教項目，它利用8090的xRx框架、Whisper和Llama 3.3 70b模型以及Elevenlabs的TTS技術，以即時對話的方式回應學生的數學問題。Groq的高速度使得複雜問題的響應幾乎瞬間完成，提供了流暢的學習體驗。該項目還可以通過內部數學引擎解決代數和微積分問題，然後將解決方案作為上下文提供給AI，以提高回應的準確性。

Gemini 英語口語助手是一個基於Google Gemini AI的英語口語練習助手，能夠即時識別用戶的英語發音，並提供即時反饋和糾正建議。它具備即時語音識別、AI驅動的發音評估、語法糾正、情景對話練習等功能，旨在幫助用戶提高英語口語能力。該產品由個人開發者Box開發，以其免費、實用的特性，特別適合英語學習者和教師使用。

Talents.Kids是一款AI驅動的兒童才能發現平臺，利用科學算法分析孩子的才能，併為家長提供個性化的發展建議。該平臺幫助孩子充分發揮潛力，為其未來發展提供有力支持。

Periplus是一個AI學習環境，允許您直接從LLMs學習。您可以通過AI生成的課程和文檔學習任何內容，同時自動生成的AI記憶卡片幫助您記住！

智能工具是一體化 AI 銷售與營銷套件，通過精準定位理想客戶、啟動個性化自動化推廣、構建可轉化的聊天機器人等功能，幫助用戶實現可預測的 B2B 增長。其主要優點在於高投資回報率、無限擴展規模、提供多種工具和功能等。

Avatalks是一種全新的語言學習方式，通過與3D頭像語言教師互動，學習者可以在自己的母語上練習詞彙、語法、聽力和閱讀。產品背景信息豐富，提供20種語言學習選擇，為用戶提供個性化的學習體驗。

StudyFox利用先進的人工智能技術提供智能學習工具，包括智能閃卡、題目解答、思維導圖等功能，幫助學生提高學習效率。產品定位於提供個性化學習路徑和輔助工具，通過智能技術優勢幫助用戶取得學術優異成績。

Zeno是一款AI YouTube視頻摘要工具，可以將視頻轉化為8個可操作的學習卡片，為用戶提供精選視頻、學習路徑、商業想法等，旨在提高用戶的學習效率和獲取實用信息。該產品定位於提供個性化、實用性強的視頻學習服務，價格為每天0.11美元。

Migo AI文獻閱讀助手是一個集成了先進 AI 技術的文獻閱讀工具，旨在提升學術研究和文獻閱讀效率。通過智能伴讀和思維導圖生成功能，幫助用戶更好地理解和整理知識。該產品為學生、研究人員和教育工作者提了供高效的閱讀提效支持。

信風 AI 是一個全自動化的 B2B 銷售線索開發平臺，專為全球製造業和外貿企業設計。它通過 AI 技術，即時搜索億萬企業數據，精準觸達潛在客戶。此產品的優勢在於節省時間和人力成本，提高銷售效率，並支持多語種溝通，適合各種規模的企業。

CoGuide是一款AI驅動的教育平臺，為教育工作者節省大量時間，從單詞輸入中生成教學內容。其具有高質量輸出、集成資源、專利技術等優勢。價格靈活，適用於個人教育工作者、學校和大型機構。