AGI BAT is built for AGI and AI safety research and education.
Wir müssen wissen, wir werden wissen.
AGI BAT is built for AGI and AI safety research and education.
Looking askance at reality
"Wir müssen wissen — wir werden wissen" -- David Hilbert
Wir müssen wissen, wir werden wissen
Some things in mathematical logic that I find interesting
Wir müssen wissen, wir werden wissen.
