logoalt Hacker News

simianwords • today at 10:54 AM • 1 reply • view on HN

Whats the nuance here? Your post implied that the problem was unreadable proof and we are saying that this is not central to the discussion. Unreadable proofs are actually very very irrelevant to this whole drama


Replies

rsfern • today at 12:19 PM

I 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?

➕ show 1 reply