New 71-problem math benchmark adds Lean statements across a wide difficulty range
ChrSzegedy · x · 2026-07-21
Timeroot says HarmonicMath, together with AIMathematics, released a benchmark of 71 math problems, many with Lean statements.
The benchmark is meant to span a wide difficulty range: some problems are famous and hard, while others are less known. The post points to both the full list and an accompanying article, suggesting the benchmark is intended as a broader test of mathematical reasoning rather than a narrow contest set.
Related event: Harmonic Math Releases Open Benchmark for Math Research(2 posts)→
More from Research
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- ostris Pretrains 'Primal VAE': Aggressive 2x-Downsample, 1-Channel Latent Design — ostrisai · 2026-10-26
- ostris pre-training "Primal VAE": 1-channel latents match modern 8x VAEs via patching — ostrisai · 2026-10-26
- Shanghai AI Lab-led team releases 100-hour egocentric wearable dataset for humanoid training — ChuckDBrooks · 2026-10-26
- ConvFill: A 0.6B Talker Buys Time While a Large Reasoner Whispers the Real Answer — andimarafioti · 2026-10-26
- Flow Reasoning Models turn flow matching into iterative reasoners, hitting 99.5% on Sudoku-Extreme — alec_helbling · 2026-10-26