//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts








Loading...
Surpris de ma requête en erreur à fable-5 sur claude-code, je vois que le modèle a été interdit par le gouvernement américain. Probablement en réponse au jailbreak publié hier. Ça paraît disproportionné par rapport aux compétences du modèle, mais révélateur du risque réel de shutdown économique.
La question de la souveraineté n'est pas la bataille des modèles d'IA, celle-ci est perdue d'avance et inutile. La vraie question est celle de l'infrastructure et des applications pour la bureautique collaborative et les systèmes d'information. (Avis personnel qui n'engage que moi)
Est-ce que dire qu'un LLM ne peut pas raisonner parce qu'il ne manipule que des tokens, c'est comme dire qu'un humain ne raisonner pas car il ne fait que faire circuler des ions dans ses neurones ? La reductio ad tokenum n'est pas le bon angle.
En étant cynique, on peut se dire qu'il y a une opportunité actuellement, alors que l'inférence IA est encore vendue à perte, de s'en servir comme levier pour développer des applications performantes. Ça signifie sûrement d'avoir des dev. experts pour encadrer et limiter la dette technique.
L'agrégation d'informatique 2026 commence les épreuves d'admission vendredi !
Neuf problèmes d'Erdos d'un coup... Toujours avec la méthode de Deepmind de faire générer des formalisations en lean. Je n'ai pas lu toutes les preuves mais je m'étonne de la simplicité de certaines : est-ce le signe que ces problèmes ont été peu regardés ou un biais ? arxiv.org/pdf/2605.22763
Ça répond à une question essentielle : est-ce que l'activité de preuve par l'IA peut-être féconde pour la recherche humaine ?
(Je m'aperçois que j'ai fait la même chose que les LLM, j'ai reproduit une expression "reduction ad tokenum" en croyant qu'elle m'était propre alors que j'ai lu sur un message de @occam212.bsky.social)
8d
7d
28d
7d
4d
25d
23d
28d
Là, c'est une conjecture d'Erdos qui a été invalidée par des humain arxiv.org/abs/2605.28781 mais les auteurs indiquent, dans une partie "the role of AI", que le contre exemple produit par OpenAI sur le problème des distances les a inspirés à faire ce travail avec une technique similaire.
23d
Marc de Falco
Marc de Falco
Marc de Falco
Marc de Falco
Marc de Falco
Marc de Falco
Marc de Falco
Marc de Falco
Marc de Falco