[Topic unique] IA générative de texte, ChatGPT, Copilot, Gemini & co

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.

 
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

Pour faire quoi avec?

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

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

[:montana tony]

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 )

On profite de leur guerre  :D

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

Vpn :O

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

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

 
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

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

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

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

Merlin fait de la magie ? Tu en as l'air enchanté  [:chapi]

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 [:ddr555]

Opus 5.5, les orientations sont correctes en plus …

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

 
 
https://pbs.twimg.com/media/HULkWv1 [...] me=900x900

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

 
les chèvres, c'est pas vegan :o

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.

https://i.imgur.com/xgMRV94.png

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 :o

 
 
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  :o

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 :D

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

 
 
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 :D

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

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"

https://i.imgur.com/V0scvOJ.png

Galois, galois all the way

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)