这个东西其实能做到了，只是做的不好。写代码其实不难，难的是写无bug代码。

有好多类似的项目，比如把全部IMO所需数学知识符号化后用计算机搞定金牌，这个目前搞的力度非常不够

我个人认为，对深度学习来说，IMO是比LeetCode更弱问题

【 在 Xaoyao (劳动最光荣) 的大作中提到: 】
: 最难的是如何精确描述你的需求
: 让计算机听明白
: 如果你描述的足够精确
: ...................
--
FROM 27.91.71.*