Zerava Labs · Téléchargement
Là où l’IA fait de la recherche mathématique honnêtement.
Un atelier de recherche en théorie analytique des nombres : une IA qui cite, qui calcule, et qui ne prétend jamais à une preuve.
PSE Riemann est un atelier de bureau pour la recherche autour de la fonction zêta de Riemann. Il lit la littérature, en extrait les méthodes, reproduit leurs nombres, et discute du travail avec vous. Il ne prétend jamais à une preuve, et rien n’entre dans votre bibliothèque sans une source et sans vous.
Construit avec
- Invariant de soin
- Unités
- SHARED_LIB
- Médecin
- Gardien
- Retenu pour un humain
- Registre scellé
- Deux lectures
Téléchargement
Deux versions, un même principe
Les deux sont libres et open source (GPL-3.0), avec un sha256 à côté de chaque fichier.
PSE Riemann 0.3.0 — l’atelier de recherche
Linux (.deb) et Windows (.exe)
Tout ce que décrit cette page. Des missions avec leurs propres agents et leur mémoire, des méthodes admises seulement quand leurs nombres sont reproduits, une bibliothèque qui répond par des phrases, un sceptique qui est toujours un autre modèle, et chaque agent suivi par son propre Médecin.
PSE Riemann 0.1.0 — le carnet de calcul
Linux (.deb) et Windows (.exe)
Là où tout a commencé, et toujours un outil solide. Douze expériences sur la fonction zêta, chacune reproductible à partir de son script enregistré ; une porte qui n’admet un résultat calculé qu’avec son exécution et sa somme de contrôle, et un résultat cité qu’avec une source qu’elle peut résoudre ; un gardien qui fait passer chaque requête par un seul chemin, sur liste blanche et épinglé ; et une mesure discrète de ce que vous lisez face à ce que vous dérivez vous-même. Ni missions, ni agents, ni Médecin — un carnet qui refuse de se tromper.
Version 0.3.0
Ce qu’il fait
- Des missions. Chaque question de recherche est une mission avec son propre espace de travail : ses articles, ses étapes, la frontière qu’elle a atteinte, et un agent qui ne retient de votre dernière séance que ce qui compte.
- Des méthodes qui passent une porte. Une méthode tirée d’un article n’est acceptée que lorsque son nombre est reproduit. Une affirmation falsifiée est refusée.
- La bibliothèque parle. Posez votre question avec vos mots ; la réponse vient d’une seule requête en lecture seule, en phrases, avec une citation pour chaque affirmation et la requête à un clic. Quand la donnée n’y est pas, elle le dit.
- Un sceptique qui est toujours un autre modèle. Chaque affirmation est attaquée par une IA différente avant que vous ne la voyiez.
- arXiv sous surveillance. Les nouveaux articles proches de vos missions attendent votre décision, les idées marquées comme des idées, jamais comme des faits.
- Le mode adversarial. Il attaque l’affirmation d’une méthode avec des nombres et vous dit si elle tient.
Les deux versions
Ce qu’aucune version ne fait jamais
- Elle ne prétend jamais à une preuve de l’hypothèse de Riemann. La porte la refuse.
- Elle n’écrit jamais d’elle-même dans votre bibliothèque. Chaque changement attend votre décision.
- Elle n’envoie jamais vos clés ailleurs qu’au modèle que vous avez choisi.
Version 0.3.0
Chaque agent est suivi
Chaque agent IA de PSE Riemann est une unité PSE, avec une mission et une durée de vie. Son θ est mesuré à chaque coup, par les règles et par un second lecteur IA. Quand un agent commence à osciller, à dériver ou à se taire, son Médecin le remarque ; quand une mesure s’impose, la décision vous revient.
Les deux versions
Sûr sur n’importe quel réseau
Tout le trafic passe par une seule porte : https uniquement, une liste blanche, des épingles TLS apprises au premier contact, des clés envoyées seulement aux API des modèles. La version 0.3.0 y ajoute un budget de divulgation pour ce qui quitte votre machine, un interrupteur qui coupe l’IA en ligne d’un coup (Ctrl+K), et vous parle franchement des épingles — et vous laisse les réapprendre.
Version 0.3.0
Vos modèles
Claude, Gemini, OpenAI, Mistral, Groq, DeepSeek, xAI, OpenRouter, Together, Fireworks, ou un modèle GGUF local qui ne quitte jamais votre ordinateur. Une IA principale, un sceptique, et le sceptique est toujours un autre modèle.
Installation
Un paquet, une vérification
L’interface est en anglais et en serbe. Aucune télémétrie. Code source sur GitHub.
- 0.3.0, Linux (Ubuntu / Mint, 64 bits) :
sudo apt install ./pse-riemann_0.3.0_amd64.deb, puispse-riemann --selftest— il doit finir par✅ SVE PROLAZI(tout passe ; l’autotest parle serbe). - 0.3.0, Windows 10/11 : lancez
PSERiemann-Setup-0.3.0.exe. Il s’installe pour votre seul utilisateur, sans droits d’administrateur. Il n’est pas encore signé, si bien que Windows peut afficher « Windows a protégé votre ordinateur » : choisissez Informations complémentaires, puis Exécuter quand même. - 0.1.0, Linux :
sudo apt install ./pse-riemann_0.1.0_amd64.deb - 0.1.0, Windows 10/11 : lancez
PSERiemann-Setup-0.1.0.exe. Il s’installe pour votre seul utilisateur, sans droits d’administrateur. Il n’est pas encore signé, si bien que Windows peut afficher « Windows a protégé votre ordinateur » : choisissez Informations complémentaires, puis Exécuter quand même.
Contact
Vous travaillez sur la fonction zêta ?
Dites-nous sur quoi vous travaillez, et ce que l’atelier devrait faire ensuite. Andrej lit ces messages.
Accord de confidentialité possible pour les discussions commerciales · Le formulaire et nos réponses sont en anglais ou en français, à votre choix · Toronto, Ontario, Canada