TheoremExplainAgent is an AI-powered model focused on generating detailed multimodal explanatory videos for mathematical and scientific theorems. It helps users gain a deeper understanding of complex concepts by combining text and visual animations. This product uses Manim animation technology to generate long videos exceeding 5 minutes, addressing the shortcomings of traditional text explanations, particularly excelling in revealing reasoning errors. Primarily aimed at the education sector to enhance learners' understanding of STEM theorems, its pricing and commercialization strategy are not yet clearly defined.

Coding-Tutor is a programming tutoring tool based on a large language model (LLM), designed to help learners improve their programming skills through conversational interaction. It addresses key challenges in programming tutoring through a Trace-and-Verify (Traver) workflow that combines knowledge tracing and round-by-round verification. This tool is not only suitable for programming education but also extensible to other task tutoring scenarios, helping to adjust teaching content according to the learner's knowledge level. The project is open source and supports community contributions.

DeepScaleR-1.5B-Preview is a large language model optimized by reinforcement learning, dedicated to enhancing the capabilities of solving mathematical problems. It achieves significant improvements in accuracy within long-text inference scenarios, driven by distributed reinforcement learning algorithms. Key advantages include efficient training strategies, notable performance gains, and the flexibility of open-source availability. Developed by the Sky Computing Lab and Berkeley AI Research team at the University of California, Berkeley, this model aims to advance the application of artificial intelligence in education, especially in mathematics education and competitive mathematics. Available under the MIT open-source license, it is completely free for researchers and developers to use.

?? The AI Agents Course is a free online program provided by Hugging Face. It aims to help learners progress from beginners to experts in understanding the theory, design, and practice of AI agents. The course is rich in content, covering various aspects from foundational knowledge to practical applications. Through theoretical learning, hands-on activities, and challenge tasks, learners gain a deep understanding of how AI agents work, while also learning to use the latest libraries and tools to build their own agents. The course offers certification opportunities, allowing students and developers interested in AI agents to earn certificates upon completing specific tasks.

EasyWeb is an AI-based open platform focused on constructing and deploying intelligent agents capable of interacting with web browsers. It provides a user-friendly interface that allows users to swiftly deploy AI agents for various browser-related tasks, such as travel planning, online shopping, and news gathering. Built on the OpenHands architecture, it supports the parallel processing of multiple user requests, allowing users to switch between different agents and large language models (LLMs) as needed. Its key advantages include simple deployment, user convenience, support for multiple task types, and complete open source availability, making it ideal for developers and researchers for further development and research. The emergence of EasyWeb presents new possibilities for AI's application in task automation, while also providing substantial support for research and development in related fields.

Confucius-o1-14B is an inference model developed by the NetEase Youdao team, optimized based on Qwen2.5-14B-Instruct. It employs a two-stage learning strategy that automatically generates reasoning chains and summarizes step-by-step problem-solving processes. This model is aimed at the education field, particularly suitable for K12 math problems, helping users quickly acquire correct problem-solving strategies and answers. Its lightweight nature allows it to be deployed on a single GPU without quantization, reducing the barrier to use. Its reasoning capabilities have demonstrated outstanding performance in internal evaluations, providing robust technical support for AI applications in education.

WordPecker App is an innovative language learning tool designed to help users efficiently master new languages through personalized learning experiences. It features Duolingo-style interactive courses and user-customized vocabulary lists, allowing for seamless word additions from books, articles, or videos, along with LLM-generated course reviews. The product utilizes cutting-edge AI technology, providing users with an immersive learning experience while supporting multiple language preferences, catering to the needs of various language learners. Its open-source nature encourages community involvement and continuous improvement.

SSShooter/en-etymology-dict is a desktop AI Etymology Dictionary designed to help users better understand and memorize English words. The product utilizes AI technology to generate comprehensive information about word etymology, usage scenarios, synonyms, antonyms, similarly spelled words, and derivatives, providing users with a well-rounded word learning experience. This tool is especially beneficial for English learners who are preparing for exams such as CET-4, CET-6, and TOEFL. The product is currently free and serves as an auxiliary learning tool in the education sector.

Math Tutor on Groq is an AI math tutoring project powered by Groq, utilizing the xRx framework 8090, Whisper, the Llama 3.3 70b model, and Elevenlabs TTS technology to engage in real-time dialogue with students about math questions. Groq's high-speed processing allows for near-instantaneous responses to complex problems, providing a seamless learning experience. This project can also solve algebra and calculus problems using an internal math engine, delivering solutions as context to the AI for enhanced response accuracy.

ModAstera offers an all-in-one medical AI development platform that accelerates R&D processes by utilizing AI-assisted data labeling and medical AI engineering agents. It reduces development costs and helps bring products to market faster than competitors. The product meets the digital transformation needs of the healthcare industry.

NoCode is a platform that requires no programming experience, allowing users to quickly generate applications by describing their ideas in natural language, aiming to lower development barriers so more people can realize their ideas. The platform provides real-time previews and one-click deployment features, making it very suitable for non-technical users to turn their ideas into reality.

PAI is an AI-assisted homework application that allows users to capture questions by taking pictures and get instant answers, as well as receive personalized learning assistance. The app offers real-time answers, personalized practice, 24/7 support, and more to help users improve their learning efficiency.

Genie Studio is a one-stop development platform specifically designed by Zhiyuan Robotics for embodied AI scenarios, with full-chain product capabilities covering data acquisition, model training, simulation evaluation, and model inference. It provides developers with a standardized solution from 'acquisition' to 'training' to 'testing' to 'inference', greatly reducing the development threshold and improving development efficiency. The platform promotes the rapid development and application of embodied AI technology through efficient data acquisition, flexible model training, precise simulation evaluation, and seamless model inference. Genie Studio not only provides powerful tools but also supports the large-scale implementation of embodied AI, accelerating the industry's leap to a new stage of standardization, platformization, and mass production.

Button is an AI intelligent agent development platform that integrates rich capabilities such as plugins, long-term and short-term memory, and workflows, aiming to help users quickly build and deploy intelligent agents with commercial value. Its openness and flexibility allow users from various industries to find suitable solutions, catering to the different needs of individuals and businesses.

Agentic AI has become a buzzword in the AI field, yet despite rapid AI innovation, most enterprise results remain underwhelming. Clients who have partnered with Writer, including Uber, Mars, and Intuit, report their AI implementations as among the few successful ones, truly achieving user adoption, scale, and ROI. We apply our end-to-end platform and expertise to deliver true Writer AI HQ.

OpenAI Academy is dedicated to providing educators with the knowledge and skills in artificial intelligence to help them effectively integrate AI technology into their teaching. Through workshops targeted at K-12 educators, OpenAI Academy highlights the generative AI models (such as ChatGPT) construction and transformative potential, and their practical applications in the classroom. This platform aims to help educators navigate the opportunities and challenges presented by AI, empowering them to equip students with the necessary safety, skills, and autonomy in an ever-evolving digital environment. This project is free and aims to create a brighter future for educators and students.

Dart Zhiwei AI Academy is dedicated to providing high-quality training for career transitions in the AI field. The course content covers AI fundamentals to product implementation, employing an experienced team of instructors to help students build a comprehensive knowledge system. After completing the course, students will be able to find their ideal jobs in the AI industry and enhance their employment competitiveness. Our student employment rate is as high as 85%, and we cooperate with many well-known companies to provide high-paying positions.

The MCP server provides a standardized interface for integrating with multiple APIs, supporting the interaction between AI models and web content, suitable for developers and enterprises for efficient automation and integration. It can simplify complex workflows and improve productivity, making it an important tool for building AI-driven applications suitable for various enterprise needs. With MCP, users can seamlessly connect to various services, easily access and process data, and improve business efficiency.