bluesky — Sina Khanifar — 13 Sep 2026
I have. Some AI math claims deserve criticism. But that doesn’t justify dismissing the entire evidence base. Eg First Pr…
#ai-mathematics #formal-verification #research-methodology
I have. Some AI math claims deserve criticism. But that doesn’t justify dismissing the entire evidence base. Eg First Proof used unpublished research problems with answers withheld beforehand and expert mathematical review and an ETH-led system solved 6/10. That’s empirical and falsifiable.