Because they have hundreds of potential proofs they were sitting on, and lack th... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

empath75 15 days ago | parent | context | favorite | on: OpenAI withdraws three mathematical results

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.

n_e 15 days ago [–]

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

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact