AI 摘要
加入我们的现场研讨会,共同为FrontierMath:开放性问题集开发题目! 我们正在寻找研究数学中极具趣味性、且可通过程序化验证解决方案的未解难题。这类问题非常难得。快来一展身手吧!链接如下。
Join us for in-person workshops to develop problems for FrontierMath: Open Problems!
We are seeking highly interesting unsolved problems from research mathematics whose solutions can be verified programmatically. These are hard to find. Come take a crack at it! Link below.