Running Featured 72 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems π 72 Who needs 1T parameters? Olympiad proofs with a 4B model
Running Featured 115 Voxtral Realtime WebGPU π¬ 115 Real-time speech transcription, entirely in your browser.
Running on Zero Agents Featured 144 Fish Audio S2 Pro π 144 Zero GPU Text-to-Speech using Fish Audio S2 Pro