Post #2525141

@highergeometer@mathstodon.xyz i think there are limited negative results because we're still at the point where positive results are remarkable and we acknowledge that. Articles like Gowers' are great for delineating what LLMs are currently capable of without hype. It's difficult to write an article about failed attempts for the same reason it's difficult to write an article about all the times you thought you had a proof of something but there turned out to be a mistake in it...