This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Colin
colin-fraser.net
did:plc:6rdthm3ihpqfd7vn2q2ktjrz
Tried out a bunch of my usual LLM tests on Gemini Advanced. Verdict: it's bad at them.
First example: proving an obviously false theorem.
2024-02-23T03:48:07.387Z