Maxproof : nouvelle méthode de preuve formelle pour les algorithmes
Une recherche scientifique présente Maxproof, une technique novateur de vérification formelle permettant de prouver la correction d'algorithmes complexes.
Publié 1sem·1 média·Notable
≈ 25s
📋 Le fait
La méthode améliore l'efficacité des preuves mathématiques en informatique et réduit les ressources de calcul nécessaires aux vérifications.
Cet avancement renforce la capacité des développeurs à garantir la fiabilité et la sécurité des logiciels critiques.
Les chatbots IA majoritaires penchent à gauche, même les modèles « anti-woke »
🟢 1h· 1 source
ActifImportant
Une enquête du *Washington Post* révèle que la majorité des chatbots IA (GPT-5.5, Grok) privilégient des réponses politiquement orientées à gauche, y compris ceux présentés comme « anti-woke ».
Lire la suiteReplier▾
Une enquête du *Washington Post* révèle que la majorité des chatbots IA (GPT-5.5, Grok) privilégient des réponses politiquement orientées à gauche, y compris ceux présentés comme « anti-woke ».
OpenAI et Grok (Elon Musk) affichent une tendance gauche dans 80 % et plus de 50 % des cas respectivement, tandis que Gemini3.1 Pro (Google) se distingue en équilibrant les arguments (93 % des réponses).
Meta accélère le remplacement des modérateurs humains par l'IA, alerte des employés
🟢 7h· 1 source
ActifImportant
Meta prévoit de remplacer 50 % des demandes de modération humaine par des LLM d’ici 2025, avec un objectif de 90 % pour certains contenus d’ici fin 2024.
Lire la suiteReplier▾
Meta prévoit de remplacer 50 % des demandes de modération humaine par des LLM d’ici 2025, avec un objectif de 90 % pour certains contenus d’ici fin 2024.
Des employés internes expriment des inquiétudes sur le rythme trop rapide du déploiement, craignant des erreurs ou des biais algorithmiques.
#LLM#modération de contenu#biais algorithmique Meta
Gemini 3.5 Flash intègre un contrôle direct des écrans et appareils
🟢 8h· 1 source
ActifImportant
Google intègre une fonctionnalité « Computer Use » dans Gemini 3.5 Flash, permettant au modèle d'interagir autonomement avec des ordinateurs, navigateurs et appareils mobiles.
Lire la suiteReplier▾
Google intègre une fonctionnalité « Computer Use » dans Gemini 3.5 Flash, permettant au modèle d'interagir autonomement avec des ordinateurs, navigateurs et appareils mobiles.
Le modèle atteint un score de 78,4 sur le benchmarkOSWorld, rivalisant avec GPT-5.5 selon Google.