Reprise du message précédent :

 
Voila, on a pas de pétrole mais on a l'IA et plein d'idées

https://x.com/intheworldofai/status/2080263857411334584

Pas spé de preuve quoi

Alors, le problème tu ne peux pas le formuler comme ça.

là, je suis entrain, avec Fable et Sol, de transpercer une des conjectures d'Euler (a propos des cuboïdes). Il y a 3 conjectures - la 1ere a été apparemment prouvée début 2026 (mais il faut que je regarde le papier, c'est under review). La 2e est un type de conjecture particulier, dont les outils de vérification et de calcul par descente n'existent (n'existaient) pas encore. Fable et Sol m'ont codé l'outil de calcul, ce qui aurait pris un temps considérable, mais les mathématiciens ne sont pas allés plus loin, car ça suppose de savoir coder. Comme ce n'est pas un problème majeur, personne n'est allé plus loin. Le ratio passé temps/découverte n'est pas forcément très utile. Il existe une 3e conjecture qui elle, est encore ouverte.

La résolution de ce set de 3 conjectures permettrait de prouver ou de réfuter la conjecture du cuboïde parfait d'Euler, qui est un système de cinq équations diophhantiennes, donc assez vicieux.

De manière plus générale, la résolution par le contre-exemple de la conjecture jacobienne montre qu'on ne peut pas se passer de l'IA. Terence Tao, Will Savin, Jared Lichtman (pour n'en citer que 3) se sont tous jetés sur cette résolution et ont passé à la moulinette quasiment tous les aspects de cette conjecture

https://terrytao.wordpress.com/2026 [...] erexample/
https://chatgpt.com/share/6a5fdc7a- [...] eb42cfed56 (c'est le chatlog de Terence Tao sur la conjecture, pour laquelle il y a passé un temps substantiel).

Will Savin aussi a passé un temps non négligeable à disséquer les relations entre structure algébrique et structure géométrique de ce contre-exemple (c'est en commentaires sur un autre blog)

On peut remarquer, par exemple, que GPT Sol 5.6 ne produit aucune erreur de calcul dans ses réponses à Tao.

De manière générale, le vrai progrès grâce à l'IA, c'est de pouvoir établir des ponts dans plusieurs disciplines. Les spécialistes en combinatoire peuvent poser des questions algébriques ou de théorie des nombres et voir les rapprochements. Un théorème en combinatoire peut aider en géométrie. Un théorème en physique peut être transposé à un théorème en théorie des nombres. L'hyperspécialisation des mathématiciens empêche justement ce genre de choses, et l'IA constitue un vrai progrès.

Allen et Olivie sur un même topic c'est le quasi assurance d'un trou noir

 
Soyons sérieux.

Autre chose pour ceux qui utilisent l'IA. Il est possible d'utiliser l'IA comme une mini VM, pour peu que votre session de chat ait un accès root. par exemple, vous pouvez faire installer des package debian dans la machine et laisser l'IA l'exécuter localement. C'est le cas par exemple pour Singular. C'est très avantageux car ça consomme du temps de calcul machine, mais pas de tokens Sur Singular, il peut me compute des trucs que ma machine ne peut pas faire, pas assez puissante.

Pour Sol, il suffit de lui upload le package et il l'installe, pour Claude il peut aller le récupérer et l'installer lui même

Il y a des sessions de chat qui n'ont pas d'accès root a la machine/VM, et d'autre oui

et tu sais comment?

Pour le coup si tu lui demande il ne te le dira pas. Je l'ai découvert par hasard car il m'a output un log systeme de sa machine me disant qu'il avait un accès root (à ma grande surprise!), sur une requête particulière. J'ai essayé sur d'autres sessions de chat, certaines ont un accès root et d'autres non. J'en ai immédiatement déduit qu'on pouvait lui faire installer des choses sur la machine et que du coup ce n'est pas juste un simple chatbot mais une VM entière en fait, je l'ai testé en lui faisant installer Singular (un outil de calcul de courbes elliptiques) qu'il lance par lui même et dont il peut me sortir les résultats.

ça dit toujours pas comment on peut savoir

https://x.com/claudeai/status/2080376099268169943

Au même moment  

https://learn.chatgpt.com/docs/chan [...] -07-23-app
https://x.com/OpenAI/status/2080378182469857576

AAF

Disons que si c'est un bug de configuration ou une erreur de config ou qqch comme ça, je préfère garder ça pour moi car c'est très utile pour l'instant.

Il me compute des résultats qu'il sort, mais sur ma machine le même genre de calcul me prendrait beaucoup plus de temps qu'1h30 + il récupère les résultats, les interprete et les analyse

Ca ne bouffe pas de tokens, juste du temps de compute machine, ce sont des calculs effectués sous Singular, pas des calculs que le LLM peut effectuer par lui même.

Ok

Si vous êtes intéressé par les sciences ce repo est fait pour vous
https://github.com/K-Dense-AI/scientific-agent-skills

A poster sur le topic assistant vocal

Gemini a enfin intégré la mémoire dans le mode live !

Je suis repassé sur Codex pour un gros projet et je viens seulement de percuter que le quota est hebdo désormais et je comprends mieux pourquoi vous râlez car j'ai cramé mon quota hebdo en 2h seulement ! Heureusement que j'avais 3 reset en stock (et encore, j'en avais 4 mais un a dû expirer) par contre une fois les reset tous consommés je pense que Codex ne sera plus utilisable donc obligé de rester sur Claude Max 5x (et de prendre plusieurs ChatGPT Plus comme XaT' !)...

hello topic
 
Au boulot j'utilise MS Copilot pour analyser des pdf assez longs (genre une centaine de page), et je suis souvent limité par la taille de contexte.
 
Vous avez une idée de la taille de contexte de MS Copilot ?
 
Il y aurait des modèles payants pas trop chers (jusqu'à 20 euros/mois) avec des contextes beaucoup plus grands ? (accessibles en ligne, sans aucune installation nécessaire)

c'est fait pour:
 
https://notebooklm.google/
 
 

j'ai essayé, mais je n'arrive pas à lui faire traduire un pdf de 60 pages. il me fait toujours des traductions de résumé.
 
Dans copilot il arrive à traduire quelques pages, mais pas plus.

t'as essayé de lui demander de traduire page 1, puis page 2, etc ? ou de page 1 à 10.
le contexte c'est la quantité de travail en meme temps, si tu lui demande page par page, le contexte est la page au lieu du pdf complet.

 
Tu sur que c'est pas une meilleure version de ça:
https://www.engraved.blog/building- [...] ine-inside

 
 
Très intéressant ton post
 
Tu es dans le domaine de la recherche mathématique?

On parle du danger de l’utilisation de l’ia, copilot c’est vraiment le pire à ce sujet alors que c’est probablement l’outil d’ia le plus déployé chez les employés « lambda » a l’heure actuelle:
 
Chez moi sur un PDF de 50 pages et 3 runs successifs du même prompt il va me faire:
1) ton doc est trop gros je peux pas le traiter
2) un résumé des 15 premières pages, le reste est pas fait
3) un run de 30 pages, les reste est pas fait.
 
C’est vraiment n’importe quoi, et la taille du contexte bien sûr on arrive pas à la connaître, c’est comme si elle variait en fonction de l’heure de la journée, au gré des timezone et de l’arrivée des US sur le réseau…

 
demande a un agent de créer des sous taches pages par pages et de les confier a un autre agent pour les traduires.
[edit] merde grillé [/edit]

 
Tiens ben hier j'ai retesté Hy3 sur opencode go (mais pas en free) pour planifier du bordel sur un projet perso.. pas mal pour vraiment pas grand chose (3M tokens pour 0.18$ d'API).. mais il m'a quand même fait une hallucination en réponse à un point précis:
"ha au fait il faudra prévoir un choix de framework bidule, surement entre A et B" => "pas la peine, on utilise déjà A ici, ici et là"
 
Review de Kimi k3: on n'utilise ni A ni B, c'est que du code maison   (par contre 0.86$ d'API la review+correction de la roadmap   )
 

 
Oui ça ne change rien au fond de ton message, j'avais juste tiqué sur l'ordre de grandeur  

Prendre des abonnements persos pour y balancer des documents pris c'est pas une super idée  

Hmm. J'ai investigué un peu plus.

- ChatGPT et Claude sont lancés dans un container, qui lui même est lancé dans une VM. Il y a un double sandbox
- Sur ChatGPT, la machine tourne sous debian (trixie), sur GPT 5.6 Sol il y a effectivement un acces root avec un filesystem
- C'est a peu près pareil pour claude

Après vérification ce n'est pas un bug donc on va développer ici. Chaque "chat" est une instance "container" dans une VM sous debian, chaque container a un accès root. Pour peu que vous donniez les bonnes autorisations dans les settings (egress), vous pouvez donner à la machine un accès limité (à des archives pour télécharger des packages) ou complet.

Par défaut, pour Claude (selon les abo) c'est désactivé, donc Claude ne peut pas récupérer des packages, donnant l'impression qu'on ne peut effectivement rien installer. Mais une fois qu'on a mis les bons paramètres, c'est en effet une VM qui peut installer tous les packages qu'il veut et on peut faire tourner plein de trucs dessus. On peut contourner cette restriction network (quand elle existe) en uploadant via le chat les packages et en demandant a l'IA de les exécuter pour faire l'installation.

Les parametres et restrictions font qu'initialement, tout le monde voit ChatGPT juste comme un "LLM" avec lequel on peut discuter mais rien de plus, puisque les parametres restreignent le téléchargement et l'installation des packages, on peut penser que c'est bloqué nativement par anthropic/openAI alors que c'est juste a régler dans les parametres du compte. Une fois que c'est fait, ChatGPT ou Claude peut aller récupérer n'importe quel truc sur internet et l'installer dans le container (ou bien exécuter dans son container qqch que vous lui uploadez).

Donc du coup ça en fait effectivement une VM avec une puissance de calcul supérieure à votre petit n'ordi. Techniquement, rien n'empeche, par exemple, de demander à Claude en prompt de créer un compte sur HFR et d'aller poster à votre place pour contourner une sanction.

Étonnant, je savais pas qu'on pouvait y accéder. Que l'agent tourne dans un container lui même sur une VM est normal, mais qu'on puisse lui faire faire des trucs me semble être un gros trou de sécurité coté ChatGPT/Claude surtout si tu peux uploader n'importe que package.
 
Il y a tellement de nouveaux "privilege escalations" en ce moment que ça devrait être trivial de sortir du container et de la VM...
 
Tu peux poster un screenshot de ce que tu arrives a faire?

C'est ce que je me suis dit mais bon. Comme c'est par défaut désactivé, personne ne le voit au premier abord, et comme c'est vendu "comme un LLM" les gens s'en servent de chatbot sans réaliser que c'est une vraie VM sous debian a laquelle ils ont acces.

Je dois admettre que j'ai été le premier surpris, a tel point que, comme je disais, je pensais que c'était un bug de config.

Un accès root au container ne veut pas dire qu'on est root sur l'hôte, je comprends pas de quoi vous parlez. On peut pas accéder à HFR depuis une VM OpenAI, sur Claude j'ai pas testé, mais tout est filtré c'est pas aussi simple que d'installer des packages python.

 
Ah bah sur claude je peux peinard faire un petit curl sur hfr, aucun 403

Gemini est sceptique  
 
 

Oui bah il est à la rue.

C'est ce parametre qu'il faut activer (on a le choix dans le dropdown soit pour un provider de package, soit tout l'internet)

Ha OK, c'est un truc officiel, je comprends mieux, .
 

Ha oui, il n'hésite pas à exécuter les commandes à la demande (Claude).
J'ai masqué mais il monte aussi des répertoires de la machine locale.
 

Vu ton volume de dev de projets
Un compte plus, ça te suffira pas

Merci pour l'explication détaillé

Pareil ouais
Avec perplexity computer, il me semble pas que ce soit possible tout ça

 
 
Alors ce que Gemini m'a dit, c'est qu'il n'a pas un accès en temps réel et en direct et à la demande d'un client via un prompte.
Mais Gemini ma dit que le forum hardware fr était particulièrement toxique.
 
Donc, il aura accès au donnée du forum, mais plus tard et indirectement et pas en temps réel, via un Robot crawaler.