# 线下研讨会征集可编程验证的数学难题

- 来源：Epoch AI (@EpochAIResearch)
- 发布时间：2026-05-05 23:17
- AIHOT 分数：44
- AIHOT 链接：https://aihot.virxact.com/items/cmoss8uqm012uslpl44dyucit
- 原文链接：https://x.com/EpochAIResearch/status/2051682607918886971

## 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.
