教育

1. 首页
2. 教育

o3

o3-pro 是 OpenAI 开发的高级推理模型，继承并优化了 o3 的功能，在复杂问题解决和精确答案提供上表现出色。它集成了 ChatGPT 的多种工具，如网页搜索、文件分析、图像推理和编程等，适合科学研究、编程、教育和写作等领域。尽管响应速度稍慢，但在表达清晰度、逻辑准确性和答案完整性方面表现优异，并在数学、科学和编程等领域的性能上超越了前代模型。

AI项目与工具 2025年06月12日 44 点赞 0 评论 1044 浏览

rStar

rStar-Math是由微软亚洲研究院研发的数学推理工具，采用蒙特卡洛树搜索（MCTS）驱动的深度思考机制，使小型语言模型在数学推理方面达到或超越大型模型水平。通过代码增强的推理轨迹生成、过程偏好模型（PPM）训练和四轮自我进化策略，显著提升了模型的准确率与自我反思能力。该工具已在多个数学基准测试中取得优异成绩，适用于教育、科研、金融、工程和数据分析等多个领域。

AI项目与工具 2025年06月12日 60 点赞 0 评论 1043 浏览

sendsteps

SendSteps是一款结合人工智能技术的演示文稿制作工具，支持通过AI辅助生成、自定义编辑或文件导入等方式快速创建高质量演示文稿。其特色功能涵盖智能排版、多语言支持、互动元素设计及云端协作，广泛应用于商务、教育、企业培训及市场推广等领域，致力于优化用户的内容呈现体验。

AI项目与工具 2025年06月12日 16 点赞 0 评论 1043 浏览

StoryWeaver

StoryWeaver是一款基于AI的故事可视化工具，利用知识图谱Character Graph和创新技术如CCG及KE-SG，实现高质量的角色定制和故事图像生成。它支持单角色与多角色场景，确保图像与文本语义的一致性，并适用于教育、漫画创作、游戏设计等多个领域。

AI项目与工具 2025年06月12日 27 点赞 0 评论 1043 浏览

TalkMe AI口语练习

告别社恐，建立自信。AI练口语轻松又有趣——TalkMe 特别适合外语有口语和听力练习的人。无论您是为雅思、托福，还是为了留学、移民，TalkMe都祝您一臂之力

教育学习 2026年09月24日 0 点赞 0 评论 1043 浏览

Poetry2Image

Poetry2Image是一个由哈尔滨工业大学提出的迭代校正框架，专门用于中文古诗词的图像生成。该工具通过自动化反馈和校正机制，提升了诗歌与图像的一致性，解决了文本到图像生成模型在处理中文古典诗歌时常见的关键元素丢失或语义混淆问题。Poetry2Image具备搜索翻译、生成初始图像、提取关键元素、图像修正及迭代优化等功能，与多种图像生成模型结合使用时，其元素完整性和语义一致性表现优异，适用于古诗词

AI项目与工具 2025年06月12日 55 点赞 0 评论 1042 浏览

有道数字人

网易有道推出的一系列基于人工智能技术的虚拟人物形象，旨在提供智能化和个性化的服务。这些数字人支持多种功能，包括但不限于照片说话和唱歌、视频翻译、形象克隆、歌声合成以及大屏交互等。

Ai视频生成 2025年06月05日 44 点赞 0 评论 1038 浏览

Opera Neon

Opera Neon是Opera推出的AI Agent浏览器，基于智能Agent技术重新定义浏览器功能。它支持浏览网页、与用户合作完成任务，如研究主题、自动化工作流程和创建内容。核心功能包括聊天、执行任务和创作内容。用户可通过官网加入等待名单，目前处于邀请制。Opera Neon提供多种应用场景，如旅行规划、金融分析、内容创作、教育研究和任务自动化。其功能涵盖即时答案、研究、内容生成、导航网页完成

AI项目与工具 2025年06月11日 83 点赞 0 评论 1038 浏览

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 1038 浏览

tellers.ai

Tellers.ai 是一款AI驱动的视频生成工具，能够将文本快速转化为高质量视频。它通过智能分析文本内容并匹配真实视频素材，支持多种自定义选项，包括风格设置、剪辑编辑和多语言字幕。用户可将视频直接发布至主流社交平台，适用于内容创作、教育、企业营销和新闻媒体等多种场景。

AI项目与工具 2025年06月12日 52 点赞 0 评论 1037 浏览