Much is made of the search for a proof of the Riemann hypothesis via the field with one element. Are there any lesser classic arithmetic results that have been proved with F_1 geometry, such as the prime number theorem? Do any such proofs seem within reach of current models of F_1 geometry?
Thanks in advance!