bluesky — Kiran — 14 Sep 2026
I love how the state of AI for Maths discourse has devolved such that if a solution can be framed as a counterexample (c…
#ai-mathematics #mathematical-logic #proof-theory
I love how the state of AI for Maths discourse has devolved such that if a solution can be framed as a counterexample (c.f. navier stokes), then it's "trivial" lmaoo
wait till they realise that the proof of any property is a "counter-example" to its converse by finding a witness of its type