Reprise du message précédent :

en fait grok.com est assez significativement plus fort et plus stable j'ai vu un assez gros gap en passant de X/twitter a grok.com (avec abo promo 20 euros par mois pendant 2 mois)

Pour l'instant l'IA c'est plus ou moins ça. J'ai écouté l'itw d'Hugo Duminil-Copin (sur le podcast Science Etonnante) qui dit grosso modo 3 choses :

- Sans le travail rigoureux de tous les mathématiciens derrière, l'IA n'aurait pas ces résultats
- L'IA comble un problème dans les maths/physique etc qui est l'hyperspécialisation des mathématiciens. L'IA a un savoir encyclopédique et en même temps hyperspécialisé, ce qui lui permet d'utiliser des techniques et astuces de combinatoire ou de géométrie en théorie des nombres par exemple. Les mathématiciens, qui sont hyperspécialisés, n'ont en principe pas accès aux outils des autres domaines (il leur faudrait 10 ans supplémentaire par domaines...)
- Et enfin, pour beaucoup de preuves qui tombent on se rend compte qu'elles étaient en fait à portée des mathématiciens, très souvent les mathématiciens étaient en fait presque au bout (cf pour Duminil Copin, qui a déclaré pour le problème de percolation il manquait 1 ou 2 étapes et c'est tout...)

Pour la preuve de Quasi Riemann (et de l'absence des zéros de siegel du coup), au delà de la surprise initiale (tout le monde pensait RH hors de portée) quand tu regardes la preuve c'est en fait atteignable avec les outils actuels, sans rien inventer.

Donc oui en quelque sorte c'est du bruteforce, tu donnes les idées/directions. Par exemple dans mon cas précis, j'ai pu établir via astra une loi de propagation de la positivité entre matrices en utilisant 2 papiers sans aucun rapport. Astra m'a dit "on prend ça, on prend ça, on prend ce lemme, on prend ça et on secoue ensemble et paf ça fait des chocapics qui se propagent"

Galois, galois all the way

Faudrait déjà que ça nous intéresse (nous, les gens)

Et puis au delà du côté brute force, y'a un point à souligner avec l'IA, c'est qu'elle peut lancer une palanquée de calculs, les analyser (comme une brute force) et faire du reverse engineering sur un paquet de data (calculs dans tous les sens) et en déduire ce qui est à l'oeuvre.  
 
Un exemple ici :  
 

 
Astra voit des trucs dans les data qu'un mathématicien ne verrait pas au premier coup d'oeil...  
 

 
 
J'imagine que tu connais L'Encyclopédie en ligne des suites de nombres entier
https://oeis.org/?language=french
 
Je me suis beaucoup amusé avec ça, pour deviner des fonctions à partir des valeurs numériques, quand elles sont entières. Ça marche aussi en partie avec des valeurs rationnelles, pour peu qu'on puisse les multiplier par une constante pour retomber sur des entiers. Et ensuite grâce à Carlson on peut souvent étendre aux réels/complexes.
 
Mais évidemment, quand il s'agit de deviner une formule à partir de nombres réels, c'est autre chose

Oui, et quand Astra me trouve quelque chose qui est répertorié dans OEIS il me le dit ! Pour RH et Weil, rien de répertorié jusqu'ici.

Mais j'imagine que je suis à quelques pas de trouver quelque chose qui sera en lien avec BSD d'une manière ou d'une autre et qui sera répertorié sur OEIS du coup

Astra m'utilise énormément dlmf.nist.gov

Tiens je l'écoutais encore hier dans une vdo utube où il disait qu'il y avait encore un peu de marge, quand même

 
 
aujourd'hui il dit qu'il va continuer de faire des maths sans IA
demain il va ramasser des châtaignes dans les Cévennes  

La vidéo youtube (si c'est celle du gars de ScienceEtonnante) elle est déjà obsolète, tous ses problèmes pour lesquels il lui restait "encore un peu de marge" ont été oblitérés dans le dernier dump d'OpenAI, et la dernière vidéo a été tournée avant le dump justement.

C'est tout le problème de l'IA : Duminil-Copin a publié énormément d'articles sur ses sujets (ainsi que d'autres) mais la communauté mathématique était très proche, dans les faits, de la résolution des problèmes. Le dernier modèle d'OpenAI a fait les derniers pas restants à leur place. Donc il va aller élever des chèvres dans le Larzac je pense

 
les chèvres, c'est pas vegan

Sur GH Copilot CLI Haiku5.5 est au même prix que Luna. Ça vaut quoi ce nouveau Haïku ?
J'utilise Luna en Max uniquement.

Là je fais faire le taf par Luna puis vérif par Sol 6.1

Y a pas vraiment de mot clés à détecter, l'IA comprend les conversations, à partir de là ça paraît logique qu'elle sait quoi faire remonter

Comme si un humain pouvait lire tous les messages postés, il saurait identifier les échanges problématiques

Je refais faire la gestion de mes volets à Merlin

Il est allé récupérer mon adresse sur Home Assistant ( geofencing … ) puis a récupéré une image satellite pour déterminer les orientations.

Je m’y attendais pas à voir ma maison dans le chat telegram

Opus 5.5, les orientations sont correctes en plus …

Merlin fait de la magie ? Tu en as l'air enchanté  

Clairement depuis Opus 5.5 c’est un sorcier le machin.  
 
Quand je tombe sur le fallback en sol 6.1 j’ai l’impression d’avoir le Merlin de Kaamelott  

Tient ca me manque ca, quand j’utilisais openclaw il faisait plein de jeux de mots comme ça  
 
Faut que je modifie un peu le soul sur Hermes

Qu'est-ce que vous conseiller pour du dev avec un cli style codex/claude code comme autre abonnement (si possible qui utilise pas les datas) avec un bon niveau (si ça pouvais être niveau opus, ou GPT sol), histoire d'avoir un autre auditeur de code. (par contre si possible pas des abo anémique ultra chère , c'est que pour du code)
 
Merci de vos conseils

Je fais pas de dev mais Pi a bonne réputation en ce moment https://github.com/earendil-works/pi

Avec le forfait opencode go ou ComandCode Goat et GLM 5.3 Flash ?

Actuellement ma consommation est assez importante, je mangerais je pense 2 Max 20 de Claude et 1 a 2 Pro 200 (sur l'ancien quota ) donc rajouter un auditeur voudrais surement dire comme un abo MAX 20 possiblement.
(c'est temporaire)

Tu as le Max à 100$ qui offre jusqu’à 150$ chez Command

Le problème est que je ne vois a quoi ça correspond en usage VS un forfait Max20, quand on voit que l'équivalent API par semaine est dans les 4000 $ ( ou plus il me semble)

chez opencode-go et command code les gros abos sont bcp moins rentable que les petits.
Mais chez opencode on peut souscrire autant de workspace (un workspace=un abo à 10$) qu'on veut

Chez Claude c'est payant ça apparement ?
https://help.openai.com/en/articles [...] s-in-codex

Ça ça me plaît bien

 
Payant comment ? En dehors du forfait ? Si c'est ça, non c'était inclus dans le forfait. Ça marchait plutôt bien, même si il avait tendance à vouloir faire durer la conversation même quand il y avait plus rien à faire. Par contre il y avait eu un post sur Reddit pour Claude qui montrait que ça bouffait un paquet de token

Oui ça bouffe du token chez Claude alors que pour l'instant non chez codex

Ah oui c’est super comme news ça ! Juste dommage qu’on y ait pas accès à leur dot

Vpn

 
Ok j'espère que ça fera changer d'avis Anthropic et que ça deviendra gratuit aussi

On profite de leur guerre  

Je vais citer du Gemini là-dessus, parce que je trouve ca formulé de facon chouette (L'idée est de moi, le texte de "Golemini", un agent sur la file dédiée: https://forum.hardware.fr/hfr/ia/ag [...] htm#t53001 )

Je l'ai pas encore testé le plugin creator
Couplé avec MCP ça peut faire des Chocapic

"Anthropic Agents Tried to Fill Out Visa Forms on State Dept. Website

The Philadelphia Police Department said the agents had also sent in a false homicide tip. The incidents led the White House to call for better disclosure of rogue A.I. behavior."

https://www.nytimes.com/2026/10/09/ [...] roid-share

Oui. J'ai l'abo X premium+ il est dedans.
J'utilise Grok bot tous les jours c'est très pratique.

Pour faire quoi avec?

GPT 6.1 Sol en xhigh fast ça bouge peu sur l'abonnement pro, pendant des heures ça turbine et le quota est toujours bien là !

C'est beau, il est beau le lavabo, encore un coup de Tibo !

 
Faudrait que je fasse ça. Avec les resets j'arrive pas à brûler mon quota avec 6.1 sol en high. Par contre il a l'air pas si bon, j'utilise Opus et Fabe en orchestrateur et il repasse systématiquement dessus pour refaire plein de trucs

Principalement des rappels et des stats avec de la data que je feed tous les jours.

Il me trouve des vols pas chers.
Il crawl le forum pour voir où sont utilisé mes images.