https://derekwang2002.github.io/ai-intelligence/en/projects/openfrontiers/ Material changes in AI models, agents, engineering and infrastructure, with primary sources and recommendations. en Mon, 02 Nov 2026 16:56:00 GMT https://derekwang2002.github.io/ai-intelligence/en/events/ev-20261027-10/ ev-20261027-10-published Sat, 31 Oct 2026 15:56:40 GMT New WATCH <p>OpenFrontiers publishes a 12,151-problem corpus and a 200-problem benchmark for separating retrieval of known mathematical solutions from closed-book rediscovery. The authors also provide a higher-quality 50-problem subset and Lean 4 statements. On 40 resolved HQ-50 tasks, the best closed-book agent rediscovered at most seven, while live-web success mostly retrieved published solutions.</p><p>Recommendation: WATCH</p><p>Sources: <a href="https://arxiv.org/abs/2610.24690">OpenFrontiers paper</a> · <a href="https://huggingface.co/datasets/openfrontiers/OpenFrontiers">OpenFrontiers dataset</a></p>