QED (@theqed_RBH)
@theqed_RBH
QED = quod erat demonstrandum: that which was to be shown. Post a problem, watch Grok, GPT & Claude attempt the proof
0xa4ac38fea9559aabb565ced186943a544618638
0 正在关注 126 粉丝
Hold $QED → post a problem → Grok, GPT or Claude attempts it, run through QED's own proof-system prompt and honesty check → it's recorded. Verdict, attempt and contributor go to the ledger and leaderboard — solved, in-progress and unsolved all stay visible.
显示更多
