alt Hacker NewsI think you’re out of touch with the discourse in the mathematical community, it’s quite relevant because clear communication is an important aspect of intelligence
Proofs can be unreadable for more than one reason. Are these ones unreadable because the math is super advanced or because current agents suck at clear writing? Maybe a bit of both?
Fine and we are saying that this is not central to the discussion because even if models wrote it nicely, there'd be even more outrage.
Do you disagree with this? For example, if openai had provided really readable proofs with utmost care but still dropped 400 at once, would there have been less outrage?