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