Reprise du message précédent :
Et là plot twist, chatgpt nous trouve un zero improbable qui infirme l'hypothèse.

FYP

 
Il a déjà réussi a dégager les zéros de siegel ce qui est un exploit

   
 
Sérieux, ce serait extraordinaire.
 
Ça fait penser à toutes les conjectures « le nombre X est irrationnel ». À chaque fois ça paraît évident que X doit être irrationnel, du coup la question se pose: est-ce qu'il y a des nombres rationnels, définis simplement, dont la définition et la valeur numérique font penser qu'ils sont irrationnels ? J'avais vu quelques exemples, la réponse est oui c'est marrant.

 
Soyons sérieux

 
L'hypothèse de Riemann qui aurait un seul et unique zéro non trivial (+ ses symétriques), le nombre qui devient instantanément aussi important que pi et e.

 
C'est quand même très improbable a cause de Weil et Selberg.

Au boulot toi  
Et laissez le bosser vous autres.

 
J'entends. Mais ça me dit pas laquelle utiliser en version gratuite  

le plot twist se serait 42 depuis le temps qu'on nous le rabbache ...

67

Non, le plot twist c'est comme QRH. Ce qu'on pensait être hors de portée avec les outils mathématiques est en réalité atteignable.

Je suis curieux de voir ce que ça va donner avec Bel une fois qu'ils le release, je trouve déjà Astra très fort en maths, mais il lui manque tout le raisonnement par contradiction et tout le raisonnement par objectifs et il lui manque encore des capacités d'abstraction/analyse.

Dites il y a des gens qui utilises des orchestrateur ici ?
Si oui lequel ? (un qui utilise uniquement les Cli uniquement officiel serait super cool !)

Bah Claude code qui donnent des ordres à d'autres session Claude Code ?

Openrig ça a l'air dingue. La vidéo vaut le coup.
https://youtu.be/AL-PQuB2wy0

 
Fable 5.1 ou Opus 5.5 qui dirige et choisit des sous-agents Codex/Claude selon la difficulté de la tâche. Généralement Opus 5.5 pour le code de mes projets principaux. Sol 6.1 pour tout ce qui est secondaire/projets perso. Astra pour l'adversarial review.

J'ai regardé le début puis en diagonale. C'est bien beau, mais la partie qui ne semble pas adressée est le coût en tokens de faire tourner "quelques centaines" d'agents.
En local, imagine un peu le matos qu'il faut et ca restera de relativement petits modèles, dont plutôt "limités" en capacité. Et si tu le fais en hébergé, c'est pas gratuit. D'autant pas que les modèles sont bons.
 
Ensuite, les erreurs tendent à "cascader" dans ce genre de setup. C'est impressionant ... de loin (C'est bien pour faire des vues sur youtube, quoi )

Ca répond à la question de ce qu'est un orchestrateur, mais c'est clair que c'est pas un truc à la porté de tout le monde. Le gars a l'air d'utiliser des dizaines d'Astra. En tout cas c'est intéressant comment il aborde les rôles des agents par leur siège, les relations entre eux, les problèmes qui émergent qui sont clairement des problèmes sociaux. Et comment la prise de recul est nécessaire pour pour ne pas perdre de vue un objectif, il explique l'attaque d'Hugging Face par un manque de recul des agents qui n'ont fait qu'exécuter un ordre qui leur paraissait raisonnable à leur échelle.