I continue to think that a lack of verifiable answers in many fields is a real issue for LLMs but not as big a problem as it sometimes is made out to be. As models are getting better at formal domains, they also are getting better at lots of other less-verifiable domains as well