3 ms·
VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems
- deleted 2y ago[deleted]
- Samblarholadi 2y agoQuite mindblowing to be totally honest.
- gingfreecss 2y agoTaelin is insane
- itsfu 2y agoMan, the future's gonna be crazy
- software-is-art 2y agoReminds me of miniKanren but with static typing (which I’ve always wanted to see an implementation of). Will be playing with the various releases of SupGen as you improve it
- sw1sh 2y agoThis is very cool! I'm wondering how does it compare to classical ATPs like Waldmeister or Vampire, can SupGen compete in CASC (https://tptp.org/CASC/ https://tptp.org/CASC/)? For example, can it proof this example from the recent Stephen Wolfram's post https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/ https://writings.stephenwolfram.com/2025/01/who-can-understa... ? Which is basically about proving a•b=b•a from a single axiom ((a•b)•c)•(a•((a•c)•a))=c. Is the source code available for this btw?