资源
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
杭州电子科技大学计算机学院
计算机学院是在1980年设立的本科计算机专业的基础上发展起来的。1980年9月开始面向全国招收了第一批计算机应用专业本科生，1981年开始招收计算机应用技术硕士研究生。1984年5月设...
Medisearch.co
一个提供直接的基于科学的医学问题答案的搜索引擎。它旨在提供可靠和可信赖的医学信息。Medisearch不能诊断或解决健康问题，但在查找健康信息方面非常有用。
HivisionIDPhotos
HivisionIDPhotos 是一款基于人工智能技术的证件照制作工具，支持智能抠图、多尺寸证件照生成等功能。该工具还计划在未来版本中增加智能换正装和美颜功能。它支持 Docker 部署，并提供 API 接口以便开发者集成和自动化证件照生成流程。适用于个人、企业人力资源、教育机构、在线服务提供商及摄影工作室等多种应用场景。
