Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @0xabad1dea@infosec.exchange
 aetios is @ BornHack@aetios@sns.minovsky.space (2026-07-29 19:40:50)
@0xabad1dea Hold on so the recent rumble about ai being used to prove math problems was just the ai exploiting bullshit bugs in the software
---Reply---
Blurry Moon@sun@shitposter.world (2026-07-29 19:48:19)
@aetios @0xabad1dea at least one of them was verifiable using basic math, I don't know about all the ones that require a theorum prover