Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery

quantumformalism.substack.com