FlashProve : @AnthropicAI publie un prototype open source pour prouver qu’une réponse vient bien d’un modèle précis, sans révéler ses poids.

04.11.2026 · Horizon IF · Source : anthropic.com · Voir sur X

Image : notre post X @horizonif_media (visuel : Anthropic (page de recherche))

Sur Llama 4 Maverick (400 Md de paramètres), une H100 génère des preuves à ~110 tokens/s (~19 Mo pour 1 024 tokens). Code et formalisation Lean sous Apache 2.0. C’est de la recherche, pas un produit déployé.

Parmi les co-auteurs : Alessandro Chiesa (@EPFL).

Visuel : Anthropic (page de recherche)

#IA #Cryptographie

Sources

anthropic.com : https://www.anthropic.com/research/provable-inference · consulté le 04.11.2026 à 07:40 (heure de Zurich)

À lire aussi en CH

Proton, l'entreprise suisse derrière Proton Mail, a dû reculer après les révélations de 404 Media sur sa course interne à l'IA. Excuses, démentis et promesses de transparence : ce qui a été dit, ce qui reste à prouver.

@ProtonPrivacy #Suisse #IA

02.11.2026 · 21:17

Swisscom regroupe son conseil en IA dans sa filiale Swisscom Digital Technology.

570 collaborateurs passeront de Swisscom Business Customers à Digital Technology, qui réunira aussi dès le 1er avril 2027 les logiciels, les données et la transformation numérique. Business Customers garde l'exploit

02.11.2026 · 17:47

Proton s'excuse, et promet de montrer comment son code est fabriqué.

Jeudi, 404 Media a publié une enquête fondée sur huit salariés et un ancien employé. Elle affirme que Proton mesurait sur les ordinateurs de ses équipes la part de code écrite par l'IA, et que son directeur techniqu

31.10.2026 · 12:50