【今日份硬核科普已就位，AI世界#源来如此#奇妙】
@微博AI 联合清华大学权威团队@AI光影社 ，带你了解人工智能前沿知识！[点赞]

TongGeometry：能出奥赛题的AI来了[yeah][yeah]

1月26日发表在《自然·机器智能》杂志上的一篇文章提出了一种称为TongGeometry的人工智能系统，不仅可以解题，还可以出题。

作者将符号系统和大模型相结合，采用一种称为“引导式树搜索”的算法，在巨大的几何推理空间里高效探索，快速生成题目和解法。通过这种方法，TongGeometry发现了约67亿条几何命题，其中有3道被用于中国国家队选拔考试与美国高水平民间奥赛。

在解题方面，TongGeometry在IMO-AG-30数据库上达到甚至超过金牌选手的平均水平，展现出强大的能力。