Hacker News new | past | comments | ask | show | jobs | submit
ken47 | on: An OpenAI model has disproved a central conjecture in discrete geometry
> However, this was not verified in Lean.

This is the caliber of thinking in unimpaired AI bullishness.