Pinned Loading

1. newsintelligence newsintelligence Public

   Sistema professionale di aggregazione e analisi notizie AI per TG

   1

2. vortex-ai-graphic-studio vortex-ai-graphic-studio Public

   VORTEX AI Graphic Studio — creazione di grafiche broadcast con l'AI, in cloud e in modo collaborativo (SPX-GC).

   1

3. vortex-intercom vortex-intercom Public

   VORTEX Intercom — la matrice intercom broadcast per iPhone, iPad e Mac

   HTML 1

4. agrawal-r5 agrawal-r5 Public

   Lean 4 formalization of the golden moment and certified structural constraints for Agrawal's conjecture at r = 5.

   Lean

5. geometry-sets-the-budget geometry-sets-the-budget Public

   Measurement harness and raw data: a cheap robust statistic, sigma_med*sqrt(d), predicts the tolerance boundary of additive interventions in language models. Kappa stays in [0.2, 1.2] across 11 chec…

   Python

6. unico-lean-proofs unico-lean-proofs Public

   Machine-verified Lean 4 proofs from the UNICO/NOUS autonomous certification pipeline — featuring the geometric formalization of Morley's trisector theorem in Lean (Wiedijk #84)

   Lean