Apparently the write-ups are garbage (as in very hard to read). I feel like they could've had AI fix that up at least somewhat. Maybe they'll reinvest more in writing ability now.

▲

margorczynski 6 hours ago | parent | next [-]

The write-ups are one thing and more of a cherry on top but I would say the more pressing matter is the lack of Lean formalization which means you can't really say it has been (dis)proven or not.

	▲	DonsDiscountGas 2 hours ago \| parent [-]
		I didn't check but I thought they included lean certificates. That seems like an obvious thing to do. How do we even know any of this is right?

▲

idiotsecant 7 hours ago | parent | prev [-]

I think the obscurity is a feature, not a bug. They don't want a headline where 250 of these results are invalidated overnight. They want rejections to trickle out and be buried.

	▲	baobabKoodaa 6 hours ago \| parent [-]
		Not sure why you're being downvoted, because this is exactly what I think is happening.