Bolton Bailey

Happy to introduce Kimina-Prover-72B ! Reaching 92.2% on miniF2F using Test time RL. It can solve IMO problems using more than 500 lines of Lean 4 code ! Check our blog post here: huggingface.co/blog/AI-MO/kim… And play with our demo ! demo.projectnumina.ai

Here's another post, this time on quantum computing for bitcoin mining open.substack.com/pub/thequantum…

Here is a post I wrote as an introduction to quantum pseudo-telepathy. Speculation on future applications included! open.substack.com/pub/thequantum…

New fascinating work by @or_sattath and Bolton Bailey exhibits a new quantum attack on Bitcoin (and PoW in general), that only requires a single "relatively small" quantum computer. The gist of that attack is that the attacker cultivates a side chain where they *increase* the…