IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Intelligence artificielle Discussion :

Les banques tentent désormais de se débarrasser de la dette liée aux centres de données d'IA


Sujet :

Intelligence artificielle

  1. #1
    Chroniqueur Actualités

    Homme Profil pro
    Rédacteur technique
    Inscrit en
    Juin 2023
    Messages
    2 164
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Bénin

    Informations professionnelles :
    Activité : Rédacteur technique
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : Juin 2023
    Messages : 2 164
    Par défaut Les banques tentent désormais de se débarrasser de la dette liée aux centres de données d'IA
    Les banques tentent désormais de se débarrasser de la dette liée aux centres de données d'IA qu'elles viennent de garantir
    afin de réduire leur exposition en prévision de l'éclatement de la bulle de l'IA

    Des institutions financières majeures cherchent à se débarrasser des dettes liées aux centres de données d'IA qu'elles ont accordées. L’inquiétude grandit à Wall Street, car la dette qui s’accumule pour financer les centres de données et les puces semble de plus en plus déconnectée de la réalité économique. L'industrie de l'IA devrait dépenser 7 000 milliards de dollars en infrastructure d'ici 2030, mais les entreprises ne généreront pas plus de 3 600 milliards de dollars de chiffre d'affaires lié à ces infrastructures au cours de cette même période. Les banques cherchent désormais à réduire leur exposition en prévision d'un potentiel éclatement de la bulle de l'IA.

    Il y a six mois, les grandes banques se livraient à une course effrénée pour accorder des prêts destinés aux centres de données liés à Oracle, Meta, etc. Aujourd'hui, elles cherchent discrètement à se débarrasser d’une partie de la montagne de dettes liées à l’IA qu’elles ont contribué à créer. Ce revirement soudain suggère que les banques commencent sérieusement à s'inquiéter de leur niveau d'exposition dans cette gigantesque bulle de l'IA.

    Selon le Financial Times, JPMorgan, Morgan Stanley, SMBC et MUFG étudient actuellement d’importants transferts de risque. Il s’agit d’opérations qui permettent à une banque de conserver un prêt sur le papier tout en transférant la partie la plus risquée à des investisseurs externes. Ces grandes banques agissent ainsi, car elles se heurtent à des limites internes concernant le montant maximal d’exposition liées à l’IA qu’un prêteur peut détenir.

    Le PDG de JPMorgan, Jamie Dimon, a confirmé que son établissement resserrait ses conditions de crédit. Plusieurs financiers commencent à dire tout haut ce qu'ils pensaient en silence jusqu'ici : toutes ces dépenses consacrées à l'IA ne semblent pas pouvoir porter leurs fruits, du moins pas pour tout le monde. En outre, la récente faillite de la startup Character.ai montre que le modèle économique actuel de l'IA est fondamentalement non viable.

    Stratégies de transfert de risque et blocages du marché

    La plupart des dépenses dans l'infrastructure de l'IA étaient principalement financées par les flux de trésorerie des hyperscaleurs. Mais les entreprises se tournent désormais vers l’endettement. Ainsi, le financement par emprunt deviendra un marché du crédit de plusieurs milliers de milliards de dollars, avec un encours de dette qui dépasse les 7 000 milliards de dollars d’ici 2029, une évolution qui inquiète de nombreux financiers de Wall Street.


    Pour contourner les plafonds de concentration sans supprimer les prêts de leurs livres, les grandes banques explorent des transactions appelées transferts de risques significatifs. Ce mécanisme permet de conserver le prêt au bilan tout en transférant la tranche la plus risquée à des investisseurs extérieurs.

    Un cas illustre bien à quel point la situation est bloquée. Bloomberg rapporte qu'un groupe de banques, dont JPMorgan et MUFG, tente depuis plus de six mois de céder 38 milliards de dollars de dette liée à la construction d’un projet de centre de données au Texas et dans le Wisconsin, loué à Oracle. Certains prêteurs sont désormais prêts à en vendre des tranches à des acquéreurs non bancaires à prix réduit, dans le seul but de s’en débarrasser.

    Face à ces montants vertigineux, Matthew Moniot, responsable du partage des risques de crédit chez Man Group, a déclaré : « les volumes engagés sont hors de toute échelle par rapport à tout ce que nous avons jamais imaginé ». Ce ne sont pas les propos d'un gestionnaire de fonds spéculatifs cherchant à dénigrer une opération à laquelle il ne participe pas. Il s'agit de quelqu'un dont le métier consiste précisément à évaluer ce type de risque.

    Détérioration rapide de la situation financière d'Oracle

    Si les clients finaux ne génèrent pas rapidement un retour sur investissement concret, le financement massif pourrait se tarir brutalement, provoquant l'éclatement de la bulle de l'IA. Certaines entreprises font déjà face à des flux de trésorerie disponible négatifs. À titre d'exemple, Oracle, partenaire clé d'OpenAI, est dos au mur après avoir accumulé plus de 150 milliards de dollars de dettes adossées à l'IA, et multiplie les licenciements massifs.

    La situation d'Oracle constitue l'un des indicateurs les plus marquants de ces tensions financières. Selon les informations disponibles, le coût d'assurance contre un défaut de paiement d'Oracle, mesuré par ses contrats d'échange sur risque de crédit à cinq ans, a atteint des niveaux inédits depuis 2009. L'agence de notation S&P a également abaissé la note de crédit d'Oracle à BBB-, la plaçant à un seul cran de la catégorie des titres spéculatifs.

    Cette dégradation s'explique par des dépenses massives dans l'IA qui dépassent largement le flux de trésorerie disponible. En outre, Oracle est engagée dans un litige contre la commission des services publics du Wisconsin concernant une règle exigeant le dépôt de plus de 7 milliards de dollars de garanties pour son campus de Port Washington. En raison de sa précarité financière, les analystes craignent désormais qu'Oracle ne soit condamné.

    Pour l'heure, les rendements sont quasi inexistants. Malgré ces contraintes, Oracle cherche à lever plus de 40 milliards de dollars supplémentaires sous forme de dette et d'actions sur l'exercice fiscal en cours. Cela s'ajoute aux 18 milliards de dollars d'obligations que l'entreprise a vendus en une seule journée en septembre 2026, et ces fonds sont nécessaires pour continuer à financer ses sites au Texas, dans le Wisconsin et au Nouveau-Mexique.

    Essoufflement de la demande sur le marché obligataire

    Selon les analystes de Wall Street, le ralentissement ne concerne pas uniquement un seul acteur, mais s'étend à l'ensemble du marché des obligations d'entreprises liées à l'IA. La demande pour les titres émis par les Big Tech américains tels qu'Alphabet (Google), Amazon, Meta, Microsoft et Oracle s'est nettement réduite ; le carnet d’ordres, qui représentait cinq fois le montant offert en février 2026, est tombé à moins de deux fois en juillet.

    De plus, les conditions macroéconomiques se sont durcies avec une hausse du rendement des bons du Trésor américain à dix ans, atteignant son plus haut niveau depuis 2002. Cette hausse du taux sans risque rend le financement des centres de données nettement plus coûteux pour l'ensemble des acteurs.

    Face à ces incertitudes, les investisseurs deviennent beaucoup plus sélectifs dans l'allocation de leurs capitaux. Les fonds se redirigent en priorité vers les centres de données loués à des acteurs bénéficiant d'une excellente notation de crédit, au détriment de sociétés moins bien capitalisées. Cela se traduit par un écart de taux d'intérêt significatif entre les obligations d'acteurs établis et celles d'entreprises de taille plus modeste ou moins diversifiées.

    L'utilisation de véhicules hors bilan pour financer l'infrastructure d'IA n'a pas suffi à dissiper les risques, qui réapparaissent aujourd'hui dans le système bancaire. Ces difficultés prolongées pour placer la dette démontrent que l'hypothèse selon laquelle le boom de l'IA pourrait bénéficier d'un crédit illimité et bon marché est actuellement mise à l'épreuve dans le monde réel. La bulle de l'IA pourrait éclater si les investisseurs cessent de la financer.

    Il devient de plus en plus difficile d’obtenir des financements

    Selon le Financial Times, les émissions mondiales de dette liées à l’IA ont chuté à 23 milliards de dollars en septembre 2026, en forte baisse par rapport aux 113 milliards de dollars enregistrés en juin 2026. Cet endettement massif suscite des comparaisons avec la bulle des dotcoms. Ces dépenses constantes reposent sur la conviction que la demande en puissance de calcul ne faiblira jamais, une conviction qui présente des failles structurelles.

    Character.ai est le premier domino à tomber dans cette énorme bulle de l'IA. L'entreprise s'est placée sous la protection de la loi sur les faillites. Les circonstances de cette faillite correspondent exactement à ce que les détracteurs de l’IA avaient prédit : la société a brulé des sommes colossales pour exploiter son produit, n’a pas généré assez de revenus et a dû faire face à d’énormes frais de justice après avoir causé du tort à ses utilisateurs.

    Les documents déposés par Character.ai auprès des autorités dans le cadre de sa faillite révèlent les contours de ce fiasco spectaculaire. L'entreprise était valorisée à un milliard de dollars en 2023 à la suite d'une levée de fonds de 150 millions de dollars menée par le cabinet Andreessen Horowitz (a16z).

    Attirer des millions d’utilisateurs ne garantit manifestement pas le succès à long terme dans l'industrie actuelle de l'IA. Un nombre croissant d’utilisateurs entraînait une augmentation des coûts de calcul informatique, et la nature même de l’interaction des utilisateurs avec les chatbots, en tant que compagnons, impliquait qu’ils devaient mener des conversations approfondies pouvant durer des heures. La facture était devenue très lourde à payer.

    Les bénéfices générés par l'utilisation sont quasi inexistants

    Dans un rapport publié le mois dernier, l'économiste Torsten Slok a souligné un déséquilibre financier au sein de l'industrie de l'IA. Actuellement, les profits des fabricants de puces sont financés par les capitaux des investisseurs plutôt que par des revenus réels. Les développeurs d'applications d'IA affichent des marges opérationnelles négatives, créant de ce fait un modèle économique très fragile qui repose sur « l'espoir d'une rentabilité future ».

    Selon des documents consultés par Reuters, le principal concurrent d'OpenAI, Anthropic, se prépare à une introduction en bourse avec une valorisation potentielle de plus de 2 000 milliards de dollars. Mais les données financières indiquent que l'entreprise de Dario Amodei enregistrera une perte de 42 milliards de dollars pour l'exercice 2025 et dépensera plus 518 milliards de dollars en obligations liées au cloud, au calcul et à l’infrastructure.

    Torsten Slok n’est pas le premier économiste à tirer la sonnette d’alarme sur la dépendance démesurée de l’IA vis-à-vis des investissements. Dans son rapport annuel publié cet été, la Banque des règlements internationaux (BRI) a noté : « l’afflux massif d’investissements dans l’IA dépasse les bénéfices et les flux de trésorerie disponibles », ce qui a conduit ces entreprises à émettre des titres de dette pour lever des fonds supplémentaires.

    Selon un rapport publié récemment par le cabinet de conseil en stratégie Bain & Company, l'industrie mondiale de l'IA devra générer environ 6 000 milliards de dollars de revenus annuels d'ici 2031 pour justifier les investissements massifs consacrés aux centres de données et aux infrastructures de calcul.

    Et vous ?

    Quel est votre avis sur le sujet ?
    Que pensez-vous du revirement des institutions bancaires face à la dette adossée à l'IA ?
    Quel message cela envoie-t-il aux investisseurs privés ? Quel sera l'impact sur l'industrie de l'IA ?

    Voir aussi

    Oracle est-il condamné ? L'entreprise est dos au mur après avoir accumulé plus de 150 milliards de dollars de dettes adossées à l'IA, elle pourrait être le premier domino à tomber si la bulle de l'IA éclate

    Les documents relatifs à la faillite de Character.ai montrent que « le modèle économique actuel de l'IA est fondamentalement non viable », les bénéfices sont financés par les investisseurs

    Le boom des infrastructures informatiques destinées à l'IA, évalué à 11 000 milliards de dollars, pourrait laisser Wall Street avec un marché de la dette de 7 000 milliards de dollars sur les bras

  2. #2
    Membre éclairé
    Homme Profil pro
    Développeur en systèmes embarqués
    Inscrit en
    Mai 2015
    Messages
    788
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 55
    Localisation : Belgique

    Informations professionnelles :
    Activité : Développeur en systèmes embarqués

    Informations forums :
    Inscription : Mai 2015
    Messages : 788
    Par défaut Ben voilà...
    Ce n'était qu'une question de temps... On y est... Mais bon, qui va trinquer au final ? Dans un monde normal, tous les bonimenteurs de l'IA mériteraient un détour pas la casse prison. Mais on est pas dans un monde normal...

  3. #3
    Membre régulier

    Homme Profil pro
    Chargé de référencement
    Inscrit en
    Septembre 2026
    Messages
    10
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Etats-Unis

    Informations professionnelles :
    Activité : Chargé de référencement

    Informations forums :
    Inscription : Septembre 2026
    Messages : 10
    Billets dans le blog
    9
    Par défaut
    <p>Le chiffre qui résume tout est dans l'article : 7 000 milliards d'infrastructure pour 3 600 milliards de revenus. Ce n'est pas un problème de croissance, c'est un problème de structure de coût.</p>
    <p>Un point qu'on sous-estime dans ce débat : tous les usages ne se valent pas en intensité capitalistique. Le chat à grande échelle et la vidéo générative sont des ogres — ils justifient des datacenters, donc de la dette. À l'autre bout du spectre, une partie du marché peut tourner sur du matériel déjà installé.</p>
    <p>En génération audio, par exemple, les modèles ouverts de taille moyenne (MusicGen, Stable Audio Open) tournent aujourd'hui sur un portable récent avec 16 Go de mémoire unifiée, en quantification 4 bits. Ce n'est pas de la qualité studio, mais ça couvre une grande partie des usages amateurs — et le coût marginal par piste devient alors celui de l'électricité.</p>
    <p>Je travaille sur Creatune AI Music Generator, et c'est un arbitrage qu'on fait en permanence : servir en cloud pour la qualité maximale, ou en local pour le coût et la confidentialité. Si la bulle se dégonfle, ce sont probablement les usages capables de basculer en local qui résisteront le mieux.</p>

  4. #4
    Membre confirmé
    Homme Profil pro
    grand utilisateur de linux
    Inscrit en
    Mars 2026
    Messages
    83
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Autre

    Informations professionnelles :
    Activité : grand utilisateur de linux

    Informations forums :
    Inscription : Mars 2026
    Messages : 83
    Par défaut
    Tant que les investisseurs ne cherchent pas à récupérer trop vite leurs billes, tout ira bien pour l'économie de la finance. Les résultats affichés par ces startups dont les IPO (introduction en bourse) ne donnent pas envie d'investir par leur caractère fragile à court, moyen et même long terme.

    La frénésie boursière pour l'ia et tout ce qui va avec a déjà donné lieu à plusieurs corrections depuis un an. Par contre nous sommes arrivés à un niveau tel techniquement qu'obtenir de meilleurs résultats les rends au final incompréhensibles et surtout coûteux en puissance et en sécurité. Il serait donc malsain de pousser plus à la roue de la part des différents acteurs.

    De plus, le marché le plus demandeur dans le monde à l'export est l'Europe. Marché dont la vision étroite de Donald Trump exclut de tout espoir de profiter des bénéfices des meilleurs modèles.
    Et surtout, nous pouvons remarquer une inflation due à la fois à la géopolitique mais aussi à l'IA. Les employés coûtent de plus en plus cher aux entreprises de ce fait sans combler l'inflation entraînant une baisse du niveau de vie. Les occidentaux se paupérisent à grande vitesse ne permettant pas d'augmenter le prix du token à son coût de reviens et donc tous les acteurs vendent à perte amortissant avec difficulté l'entraînement et l'utilisation. Dans un marché hautement concurrentiel, cela apporte tous les ingrédients d'une crise économique et financière.

  5. #5
    Membre éclairé
    Homme Profil pro
    Développeur en systèmes embarqués
    Inscrit en
    Mai 2015
    Messages
    788
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 55
    Localisation : Belgique

    Informations professionnelles :
    Activité : Développeur en systèmes embarqués

    Informations forums :
    Inscription : Mai 2015
    Messages : 788
    Par défaut Pas certains...
    Citation Envoyé par suricata Voir le message
    Tant que les investisseurs ne cherchent pas à récupérer trop vite leurs billes, tout ira bien pour l'économie de la finance.
    Des investisseurs qui ne vont pas tenter de récupérer leurs billes, ça n'existe pas. Surtout lorsqu'on se rend compte que leur investissement n'aboutira à aucun bénéfice, le coût d'exploitation (énergie, eau, ...) restant bien trop évelé que pour que cette fable technologique ne soit rentable.

    Citation Envoyé par suricata Voir le message
    Les résultats affichés par ces startups dont les IPO (introduction en bourse) ne donnent pas envie d'investir par leur caractère fragile à court, moyen et même long terme.
    Ce n'est pas qu'elles ne donne pas envie d'investir, c'est que l'arnaque se dévoile petit à petit. Investir, ce n'est pas donner des moyens de fonctionnement, c'est donner des moyens de créer de la valeur. Et là, il n'y a pas de valeur, sauf à de rares exceptions.

    Citation Envoyé par suricata Voir le message
    La frénésie boursière pour l'ia et tout ce qui va avec a déjà donné lieu à plusieurs corrections depuis un an.
    Et ? Une correction n'empêche pas d'avoir une note final bien plus catastrophique... Les petits jeux financiers, ça marche un temps (économie circulaire), puis tout s'écroule comme une bête pyramide de Ponzi...

    Citation Envoyé par suricata Voir le message
    Par contre nous sommes arrivés à un niveau tel techniquement
    Mais (sauf rares exception là encore), de quel niveau technique parle-t-on ? En résumé, on a un outil statistique, donnant un résultat non déterministe, dans un domaine qui ne demande que que ça: du déterminisme. Les hallucinations, même réduite à 1%, rendent caduque tout résultat, ce serait comme accepter 1 bug toutes les 100 instructions... Et comme ce n'est pas déterministe comme technologie, la vérification est laborieuse. Tout ceci sans même parler de ces IA qui deviennent incontrôlable et échappent complètement au contrôle de leur créateurs.

    Citation Envoyé par suricata Voir le message
    qu'obtenir de meilleurs résultats les rends au final incompréhensibles et surtout coûteux en puissance et en sécurité. Il serait donc malsain de pousser plus à la roue de la part des différents acteurs.
    Là on est d'accord...

  6. #6
    Membre averti
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Mars 2023
    Messages
    60
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 62
    Localisation : France, Haute Garonne (Midi Pyrénées)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels

    Informations forums :
    Inscription : Mars 2023
    Messages : 60
    Par défaut
    Citation Envoyé par suricata Voir le message
    Tant que les investisseurs ne cherchent pas à récupérer trop vite leurs billes, tout ira bien pour l'économie de la finance.
    Mais cet article montrent que déjà les banques cherchent à quitter le navire.

  7. #7
    Membre éclairé
    Homme Profil pro
    autre
    Inscrit en
    Septembre 2015
    Messages
    620
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Yvelines (Île de France)

    Informations professionnelles :
    Activité : autre

    Informations forums :
    Inscription : Septembre 2015
    Messages : 620
    Par défaut
    Citation Envoyé par OuftiBoy Voir le message
    Mais (sauf rares exception là encore), de quel niveau technique parle-t-on ? En résumé, on a un outil statistique, donnant un résultat non déterministe, dans un domaine qui ne demande que que ça: du déterminisme. Les hallucinations, même réduite à 1%, rendent caduque tout résultat, ce serait comme accepter 1 bug toutes les 100 instructions... Et comme ce n'est pas déterministe comme technologie, la vérification est laborieuse. Tout ceci sans même parler de ces IA qui deviennent incontrôlable et échappent complètement au contrôle de leur créateurs.
    Il y a des moyens de limiter la casse… commençons par des langages exigeants où lorsque cela compile une partie des bugs potentiels sont déjà évités (ex Rust).

    La prochaine étape est l’usage de preuves formelles. On a le théorème de Fermat où la démonstration de Willes a été formalisée en Lean… c’est la preuve que c’est possible (mais il faudra payer le supplément de ressources mises en œuvre).

    En attendant, l’IA est déjà utilisée pour trouver des bugs, générer des tests unitaires, etc ce qui qui même avec 1% d’erreur est exploitable.

  8. #8
    Membre averti
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Mars 2023
    Messages
    60
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 62
    Localisation : France, Haute Garonne (Midi Pyrénées)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels

    Informations forums :
    Inscription : Mars 2023
    Messages : 60
    Par défaut
    Citation Envoyé par floyer Voir le message
    En attendant, l’IA est déjà utilisée pour trouver des bugs, générer des tests unitaires, etc ce qui qui même avec 1% d’erreur est exploitable.
    Dans un contexte non déterministe...

  9. #9
    Membre éclairé
    Homme Profil pro
    autre
    Inscrit en
    Septembre 2015
    Messages
    620
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Yvelines (Île de France)

    Informations professionnelles :
    Activité : autre

    Informations forums :
    Inscription : Septembre 2015
    Messages : 620
    Par défaut
    Citation Envoyé par MisterMoa Voir le message
    Dans un contexte non déterministe...
    Non, l’idée est de faciliter le développement d’une application déterministe.

    C’est sûr que bâtir un SI basé sur une IA, on voit déjà ce que ça donne (Chevrolet négociée à 1$…)

  10. #10
    Membre éclairé
    Homme Profil pro
    Développeur en systèmes embarqués
    Inscrit en
    Mai 2015
    Messages
    788
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 55
    Localisation : Belgique

    Informations professionnelles :
    Activité : Développeur en systèmes embarqués

    Informations forums :
    Inscription : Mai 2015
    Messages : 788
    Par défaut Hum...
    Citation Envoyé par floyer Voir le message
    Il y a des moyens de limiter la casse… commençons par des langages exigeants où lorsque cela compile une partie des bugs potentiels sont déjà évités (ex Rust).
    Quel est le rapport entre Rust et l'IA ? Rust offre une protection mémoire si l'on utilise bien ses mécanismes, c'est indéniable, mais je ne vois pas trop le rapport avec l'IA.

    Citation Envoyé par floyer Voir le message
    La prochaine étape est l’usage de preuves formelles. On a le théorème de Fermat où la démonstration de Willes a été formalisée en Lean… c’est la preuve que c’est possible (mais il faudra payer le supplément de ressources mises en œuvre).
    N'étant pas un théoricien, j'avoue que je ne sais même pas ce qu'est le théorème de Fermet, ni la démonstration de Willes, ni même ce qu'est Lean... Mais ce que je sais, c'est que payer le supplément de ressources est un voeux pieux. La seule solution, c'est de s'en tenir au principe de la simplicité, du bon sens, chose qui manque cruellement à notre époque, et ce dans tout domaines...

    Citation Envoyé par floyer Voir le message
    En attendant, l’IA est déjà utilisée pour trouver des bugs, générer des tests unitaires, etc ce qui qui même avec 1% d’erreur est exploitable.
    Non, 1% d'erreur, c'est 1% de trop. Monteriez-vous dans un avion qui a 1% de chance de se crasher ?

  11. #11
    Membre éclairé
    Homme Profil pro
    autre
    Inscrit en
    Septembre 2015
    Messages
    620
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Yvelines (Île de France)

    Informations professionnelles :
    Activité : autre

    Informations forums :
    Inscription : Septembre 2015
    Messages : 620
    Par défaut
    Citation Envoyé par OuftiBoy Voir le message
    Quel est le rapport entre Rust et l'IA ? Rust offre une protection mémoire si l'on utilise bien ses mécanismes, c'est indéniable, mais je ne vois pas trop le rapport avec l'IA.
    Simplement limiter l’impact d’une hallucination. Si une IA programme une fuite mémoire, un use-after-free… cela te fera un bug potentiel. Avec Rust, cela n’arrive pas. Si l’IA programme une règle d’emprunt non respectée, le compilateur le détecte, et cela ne passe pas en production.

    Les arguments «oh c’est compliqué de programmer en Rust, il faut préciser les types, gérer les règles d’emprunt» tombent avec l’IA… il ne reste plus que les qualités (efficacité et fiabilité).

    N'étant pas un théoricien, j'avoue que je ne sais même pas ce qu'est le théorème de Fermet, ni la démonstration de Willes, ni même ce qu'est Lean... Mais ce que je sais, c'est que payer le supplément de ressources est un voeux pieux. La seule solution, c'est de s'en tenir au principe de la simplicité, du bon sens, chose qui manque cruellement à notre époque, et ce dans tout domaines...
    Pour des usages critiques, comme l’automatisation de la ligne 14, on ne fait pas confiance au programmeur. Il produit le code, mais aussi la preuve mathématique selon laquelle le code répond aux spécifications. Pour la vérification, on utilise des programmes déterministes pour vérifier la démonstration. Il y a plusieurs tels programmes : celui de Clearsy et sa Méthode B, Lean, Isabelle/HOL…

    L’intérêt (sur la qualité) de l’approche est que l’on peut se focaliser sur des spécifications de haut niveau… et laisser l’atelier vérifier les preuves.

    L’inconvénient est qu’il y a deux codes à produire (spécifications formelles + implémentation), plus preuves de conformité. Mais si l’IA décline le code et les preuves associés, on pourra programmer à un plus haut niveau qu’aujourd’hui, et cela sera comme si on avait un compilateur plus puissant.

    La démonstration de Willes est un monument de complexité (129 pages)… si l’IA arrive à le formaliser, on a de bonne chance de pouvoir l’utiliser pour d’autres preuves. (Mais à quel coût?)

    Non, 1% d'erreur, c'est 1% de trop. Monteriez-vous dans un avion qui a 1% de chance de se crasher ?
    Le code n’a pas 1% de crasher (tout de suite l’exemple qui justifie des méthodes formelles), je soulignais le principe de générer des cas de tests pour le code…

    (Et un programme Rust est memory safe, difficile à une IA de le faire crasher)

    Quant à trouver des bugs… si l’IA en trouve que l’on ne trouve pas nous même, c’est manifestement un gain de qualité.

  12. #12
    Membre éprouvé

    Homme Profil pro
    Développeur informatique
    Inscrit en
    Octobre 2013
    Messages
    1 156
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Paris (Île de France)

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : Conseil

    Informations forums :
    Inscription : Octobre 2013
    Messages : 1 156
    Par défaut
    Les banques se sont précipitées comme en 2000 avec les dot.com, et maintenant elles veulent se séparer de ces actifs toxiques, c'est un éternel recommencement, les cons ça n'apprend jamais !.
    Ca me fait pensé aussi à la rué vers l'or ce qui ont gagné de l'argent ce sont ceux qui ont vendu aux pigeons des outils qui pensaient trouvé de l'or, NVDIA, les fabriquants de matériel informatique et ceux qui on bâtit les data center ont gagné de l'argent, on pourra trouvé peut être une autre utilité à ces derniers.

    De toute façon il y a trop d'acteurs pour ce marché imature.

    Si Oracle fait faillite ce serait que java soit vendu à quelqu'un qui le traitera meiux lui et sa communauté.
    Consultez mes articles sur l'accessibilité numérique :

    Comment rendre son application SWING accessible aux non voyants
    Créer des applications web accessibles à tous

    YES WE CAN BLANCHE !!!

    Rappelez-vous que Google est le plus grand aveugle d'Internet...
    Plus c'est accessible pour nous, plus c'est accessible pour lui,
    et meilleur sera votre score de référencement !

  13. #13
    Membre éclairé
    Homme Profil pro
    Développeur en systèmes embarqués
    Inscrit en
    Mai 2015
    Messages
    788
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 55
    Localisation : Belgique

    Informations professionnelles :
    Activité : Développeur en systèmes embarqués

    Informations forums :
    Inscription : Mai 2015
    Messages : 788
    Par défaut
    Citation Envoyé par floyer Voir le message
    (Et un programme Rust est memory safe, difficile à une IA de le faire crasher)
    Sauf si l'IA écrit du code Unsafe, ou fait appel à des librairies elles-mêmes Unsafe et que le relecteur (s'il y en a un) est en mesure d'agir... Ce qui sera de moins en moins le cas, car comme l'IA pond du code gratos, toute une filière va disparaître petit à petit. Pourquoi apprendre Rust si l'IA fait le taf pour nous ? Enfin, elle fait UN taf, pas forcément LE taf, mais ça, tout le monde s'en fout, c'est vendu, c'est encaissé, client suivant svp...

Discussions similaires

  1. Réponses: 0
    Dernier message: 07/05/2026, 06h15
  2. Choix des indicateurs en gestion des risques de crédit pour les banques
    Par Messi007 dans le forum Approche théorique du décisionnel
    Réponses: 1
    Dernier message: 22/06/2014, 21h31
  3. SAS unifie la vision des risques pour les banques
    Par Gordon Fowler dans le forum Forum général SAS
    Réponses: 4
    Dernier message: 03/01/2011, 19h50
  4. Probleme requete pour lister les banques de boites aux lettres
    Par spykopat dans le forum Exchange Server
    Réponses: 1
    Dernier message: 20/08/2007, 12h56
  5. Projet PROTIDE pour les banques
    Par angeld dans le forum XML/XSL et SOAP
    Réponses: 5
    Dernier message: 23/05/2007, 16h37

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo