one way i can tell that ai’s really made it is that in just the past couple of years the riddles that befuddle language models went from being “What’s the capital of France?” to increasingly being riddles that i can’t solve at first glance myself either
doesn’t seem directly related but surely it’s indirectly related, this is an interesting idea: “We demonstrate that iteratively training a value function on statements generated by our language model leads to improved prover performance, which immediately suggests a strategy for continuous self improvement: keep training on proofs generated by the prover.”