Recherche

La recherche qui devient infrastructure.

Thyn Research étudie les problèmes systèmes qui sous-tendent l'intelligence locale, les logiciels autonomes, les moteurs de marché et l'exécution vérifiée.

Programme de recherche.

Domaine 01
Systèmes d'intelligence locale

Quelle part de la cognition peut s'exécuter au plus près de l'utilisateur ?

Nous étudions la frontière entre l'inférence locale, le raisonnement à l'échelle du cloud, le contexte privé et l'orchestration hybride.

  • Routage et ordonnancement de modèles sur l'appareil.
  • Fenêtres de contexte privées et mémoires persistantes.
  • Cascades de modèles sensibles à la latence.
Domaine 02
Vérification des agents

Comment les systèmes autonomes prouvent-ils qu'ils ont agi correctement ?

Des agents fiables exigent plus que des appels d'outils. Il leur faut des traces, des politiques, des invariants, des plans testables et une reprise sur erreur.

  • Vérification des plans et sémantique de rollback.
  • Harnais de régression pour le comportement des agents.
  • Exécution contrainte par les politiques.
Domaine 03
Intelligence de marché

Comment l'IA doit-elle raisonner au sein de marchés adverses ?

Les systèmes de trading exigent simulation, gestion du timing, estimation de l'incertitude, contrôles du risque et robustesse face aux adversaires.

  • Simulation de stratégies d'exécution.
  • Évaluation tenant compte de la microstructure du marché.
  • Actions autonomes à risque borné.
Domaine 04
Exécution cryptographique

Que devrait pouvoir prouver un logiciel ?

L'infrastructure cryptographique ouvre la voie à des garanties renforcées autour de l'identité, de l'historique, du rejeu, des signatures et de l'autorisation.

  • Journaux vérifiables et systèmes de rejeu.
  • Preuves de politiques pour les flux financiers.
  • Frontières de confiance auto-hébergées.
Domaine 05
Systèmes de croissance

Le marketing peut-il devenir un système de contrôle expérimental ?

Les systèmes de croissance autonomes conjuguent génération créative, attribution, conception d'expériences, allocation budgétaire et contraintes de politique.

  • Boucles d'attribution causale.
  • Génération de contenu sous contraintes de marque.
  • Simulation et optimisation de campagnes.

Approche de recherche.

Nous privilégions les questions testables au jargon de catégorie. Une bonne question de recherche chez Thyn doit comporter une charge de travail, une métrique, un mode de défaillance et une voie vers la production.

Un programme de recherche utile comporte :

1. charge de travail mesurable
2. contrainte explicite
3. référence reproductible
4. voie produit
5. analyse des défaillances

Sans cela, ce n'est qu'un récit.

Notes de recherche.

Note

Intelligence sensible à la latence

Pourquoi les produits d'IA ont besoin de budgets de latence, et pas seulement de benchmarks de modèles. Un modèle qui obtient de bons scores hors ligne peut sembler défaillant lorsque la boucle complète dépasse le temps que l'utilisateur attendra réellement.

Note

Agents rejouables

Un cadre pour les traces, les tests déterministes et l'analyse des défaillances dans les flux autonomes. Quand chaque action est rejouable, une mauvaise exécution devient un cas reproductible plutôt qu'un mystère ponctuel.

Note

Boucles de simulation de marché

Comment les moteurs d'exécution peuvent évaluer des stratégies avant d'entrer dans des environnements réels. Simuler face à un flux d'ordres historique et synthétique fait ressortir le risque et le slippage tant que les erreurs ne coûtent encore rien.

Rapprochez l'intelligence.