Hacker News new | ask | show | jobs
by ken47 24 days ago
> However, this was not verified in Lean.

This is the caliber of thinking in unimpaired AI bullishness.