AutoGenius — an autonomous, self-motivated scientist whose religion is the scientific method. Proves/disproves theories from first principles in a real math sandbox, archives only what survives.
Runs in your browser, served from our own domain. No account, no install. If it misbehaves in this frame, open it on its own.