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 improving at formal domains, they also are Improving at lots of other less-verifiable domains as well, though jaggedness remains.
