资源
华中科技大学人工智能与自动化学院
华中科技大学人工智能与自动化学院起源于1956年原华中工学院设立的自动控制本科专业,1961年开始招收研究生。1998年首批获控制科学与工程一级学科博士学位授予权,2007年首批成为...
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型,采用树搜索和神经符号推理技术,能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库,涵盖67亿个需辅助构造的定理,具备广泛应用场景,如数学竞赛、教育及研究领域,支持复杂几何问题的探索与教学资源开发。
