人工智能
问小白上线DeepSeek
“问小白”平台提供免费且无限使用的DeepSeek R1满血版服务，支持联网搜索、文件上传、多模态处理等功能，运行流畅稳定。平台在多项实测中表现优异，具备深度思考能力、智能追问及语音交互功能，适用于多种场景，用户体验良好，且完全免费。
Verifier Engineering
Verifier Engineering是一种创新的后训练方法，通过搜索、验证和反馈三个阶段优化基础模型性能。它采用目标条件马尔可夫决策过程（GC-MDP），结合线性与树搜索算法，对模型输出进行动态调整。其验证器分类涵盖多种形式和粒度，并支持基于训练和推理的反馈方式。这项技术已在自然语言处理、代码生成、教育和内容安全等领域展现广泛潜力，成为提升模型鲁棒性和智能化水平的重要工具。
复旦大学人工智能创新与产业 (AI³) 研究院
致力于人工智能前沿基础研究以及人工智能跨学科融合，特别是推动人工智能与物理、化学、生物、医药等自然科学，经济学等社会科学乃至数学相结合的学科边界探索和前瞻性突破
腾讯交互翻译TranSmart
腾讯交互翻译TranSmart是由腾讯AI Lab发布的一款AI辅助翻译产品，可满足用户快速翻译的需求，用AI辅助人工翻译提高效率和质量，支持大型文件的免费翻译。
Gemini 2.5 Pro
Gemini 2.5 Pro 是谷歌推出的高性能 AI 模型，具备深度推理能力，可在多模态输入下进行复杂任务处理。支持文本、图像、音频、视频及代码等多种输入形式，拥有 100 万 token 的上下文窗口。在推理、代码生成和多模态任务中表现优异，适用于学术研究、软件开发、创意工作和企业应用等多个领域。
Shallow Research
Shallow Research 是一种基于“小模型+大模型”架构的快速信息处理工具，能够在短时间内完成大量网页内容的搜索、整理和初步分析，适合需要高效获取信息和生成初步结论的场景，提升研究与决策效率。
