4 ms·
> However, this was not verified in Lean. This is the caliber of thinking in unimpaired AI bullishness.
by ken47 4mo ago
> However, this was not verified in Lean.
This is the caliber of thinking in unimpaired AI bullishness.
loading thread…
4 ms·