A model that writes a program and runs it inside

Ask a question about a long list of events. The model writes a small table for it, proves every row of the table correct, then runs it one tick per event, and the five panels show the inside of that run as it happens.

Model not loaded

Downloaded once; this browser keeps it for next time. Made for desktop GPUs; it writes a program for your question, certifies it, then runs it one tick per event, all on your GPU.

This preview runs questions like these seven, additions of any length among them. Other new kinds of question are not in it yet.

Enter sends · Shift+Enter for a new line

Loading the recorded runs…