Hacker News Reader

Because they have hundreds of potential proofs they were sitting on, and lack the internal expertise to judge them. It seems like they're working to formalize all of the in Lean, but that takes time.

This sounds suspiciously like non-developers dumping their vibe-coded projects on online communities

I suspect they are not okay with this way of working.

I’m sure the outsized pay packages help quite a bit

They’re okay enough to do the work and collect a paycheck and stock options. I don’t think their arms are being twisted that hard.

How come mathematicians are ok with human mathematicians are ok with that kind of sketchy submissions? That's pretty bad too.

... they're not? Why would you think mathematicians are happy about sketchy or bad submissions.

Submissions from OpenAI to normal journals without proof programs were accepted, and are accepted normally in these journals from what I understand.

Lies travel around the world before the truth has time to put it’s sneaker’s on…

The headlines keep the hype train arunnin