UnsolvedMath 更新：新增 3359 个开放数学问题
UnsolvedMath - a curated list of open math problems for AI to solve - just got a…
UnsolvedMath - a curated list of open math problems for AI to solve - just got a new update with 3,359 open problems coming from AIM workshops.
UnsolvedMath——一个为AI整理的未解数学问题精选列表——刚刚迎来新更新，新增了来自AIM工作坊的3,359个未解问题。
Total Problems: 8,785
问题总数：8,785
This time, as an experiment, before integrating new problems we've run a GPT-5.6 Sol xhigh instance over each problem.
这次，作为实验，在整合新问题之前，我们对每个问题运行了一个GPT-5.6 Sol xhigh实例。
That has produced roughly 177 counterexamples, 174 full solutions and many new results, that are now available as a part of the dataset (properly annotated as AI-generated).
这产生了大约177个反例、174个完整解以及许多新结果，这些现在作为数据集的一部分可用（并适当标注为AI生成）。
HuggingFace: https://huggingface.co/datasets/ulamai/UnsolvedMath
HuggingFace：https://huggingface.co/datasets/ulamai/UnsolvedMath
Web interface + Forum: https://www.unsolvedmath.com/
网页界面+论坛：https://www.unsolvedmath.com/
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力