[Paper] HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification

Summary

HorizonMath is a new benchmark introduced to measure AI's progress toward mathematical discovery, specifically its ability to tackle important, unsolved problems. It features over 100 predominantly unsolved problems spanning eight domains in computational and applied mathematics. Coupled with an open-source automated verification framework, this benchmark aims to explore whether large language models can perform novel mathematical research.

Continue Reading

Explore related coverage about research paper and adjacent AI developments: [Paper] Ruka-v2: Tendon Driven Open-Source Dexterous Hand with Wrist and Abduction for Robot Learning, [Paper] MedObvious: Exposing the Medical Moravec's Paradox in VLMs via Clinical Triage, [Paper] In-Place Test-Time Training, [Paper] HaloProbe: Bayesian Detection and Mitigation of Object Hallucinations in Vision-Language Models.

Related Articles

• [Paper] Ruka-v2: Tendon Driven Open-Source Dexterous Hand with Wrist and Abduction for Robot Learning

  March 30, 2026

• [Paper] MedObvious: Exposing the Medical Moravec's Paradox in VLMs via Clinical Triage

  March 25, 2026

• [Paper] In-Place Test-Time Training

  April 8, 2026

• [Paper] HaloProbe: Bayesian Detection and Mitigation of Object Hallucinations in Vision-Language Models

  April 8, 2026