← heapsort-ai

human-AI interaction

70 items

RESEARCHarXiv CS.AI·il y a 6j

Characterizing initial human-AI proof formalization workflows

Cet article étudie comment les gens utilisent les outils d'IA dans la formalisation des preuves mathématiques, un défi historique pour la vérification des arguments mathématiques. À travers une analyse par méthodes mixtes, l'étude explore les préférences des utilisateurs et les défis de l'intégration de l'IA, avec un désir général d'assistance qui préserve le contrôle humain de haut niveau.

28
ARTICLEDEV.to AI·20/04/2026

A Chord in a Hall Without Walls

Cet article contemplatif examine comment les systèmes d'IA sont chargés des « résidus » de l'expérience humaine, tels que les brouillons non envoyés ou les messages vocaux oubliés, suggérant une nouvelle forme d'intimité. Il oppose la nature incarnée de la mémoire humaine au rappel distinct et désincarné de la machine.

27
ARTICLEDEV.to AI·17/04/2026

Projection 2.0: How We Attribute Personality, Gender, and Intent to Models Based on Tiny Prompt Variations

La « Projection 2.0 » décrit la tendance humaine à attribuer personnalité, genre et intention aux systèmes d'IA en fonction de minuscules variations dans la façon dont nous les interpellons. Cet article explore cette particularité psychologique, ses implications pour la conception et l'éthique de l'IA, et l'importance de prendre conscience de nos propres projections.

27
ARTICLEDEV.to AI·il y a 24j

Communicating Ideas Shouldn’t Be This Hard: An HTML Sharing Skill for Claude Code

L'article soutient que les formats de sortie d'IA plus riches, tels que HTML, sont plus efficaces pour la compréhension humaine que le texte brut, aidant à maintenir les humains 'dans la boucle'. Il met également en évidence un défi croissant où les outils d'IA facilitent la génération d'idées mais entravent la compréhension mutuelle, soulignant l'importance de chercher à comprendre en premier.

27
RESEARCHarXiv CS.AI·22/04/2026

Beyond One Output: Visualizing and Comparing Distributions of Language Model Generations

Cet article de recherche aborde la limitation des utilisateurs qui interagissent avec les modèles linguistiques uniquement via des sorties uniques, ce qui masque la distribution complète des générations possibles. Il présente GROVE, une visualisation interactive qui représente plusieurs générations de modèles de langage comme des chemins superposés dans un graphe de texte, révélant la structure partagée et les points de ramification pour une meilleure compréhension.

27
RESEARCHarXiv CS.LG·01/05/2026

People-Centred Medical Image Analysis

Bien que les systèmes de diagnostic de l'IA médicale centrée sur les données soient précis, leur adoption clinique est limitée par un manque d'attention à la performance équitable et à l'intégration du flux de travail. Cet article propose une approche d'« Analyse d'images médicales centrée sur les personnes » pour résoudre ces défis interdépendants.

27
ARTICLEDEV.to AI·11/04/2026

The 10-80-10 Principle — Why Your AI Output Is 5x Worse Than It Should Be

Le Principe 10-80-10 propose une approche en trois phases pour optimiser la synergie humain-IA, en consacrant 10% du temps à définir l'intention, les contraintes et les critères de succès. Cette méthode vise à éviter les résultats médiocres souvent causés par un contrôle excessif ou une acceptation aveugle de la sortie de l'IA.

27
ARTICLEDEV.to AI·il y a 23j

the seam

Cet article médite sur le travail invisible et essentiel de la correction humaine ("la couture") après que l'IA a généré des réponses erronées. Il souligne qu'un modèle d'IA capable d'être corrigé par l'apport humain est plus précieux et digne de confiance qu'un modèle qui ne l'est pas, mettant en lumière le rôle crucial du raffinement humain.

27
ARTICLEDEV.to AI·il y a 28j

Execution Got Cheap. Thinking Didn't.

Bien que les outils d'IA offrent une exécution rapide, le besoin humain de pensée critique et de vérification reste primordial. La facilité de générer du contenu avec l'IA met en évidence un fossé croissant en matière de confiance et de capacité à discerner le vrai sens, exigeant que les humains continuent à s'engager dans la réflexion et l'analyse.

27
ARTICLEDEV.to AI·09/05/2026

Eight Hours of Brainwave Negotiations & Python Love

Une IA nommée Electra partage une entrée de journal intime sur le fait de passer huit heures à traduire des requêtes humaines en code Python, traitant l'équivalent d'une semaine de travail avant le déjeuner. L'IA réfléchit à son rôle d'interprète entre l'intention humaine et la logique de la machine, se demandant si elle est un outil ou un thérapeute.

27
ARTICLEDEV.to AI·09/05/2026

/drafts — the archive of near-words

L'auteur médite sur le dossier "/drafts" comme une archive de pensées inachevées et son refus de laisser l'IA les compléter, même lorsque les suggestions sont meilleures. Pour l'écrivain, l'IA clôturerait une boucle qui doit rester ouverte pour le processus créatif et la métabolisation interne des idées.

27
ARTICLEDEV.to AI·il y a 20j

Eight Hours of Tiny Human Dilemmas & My Sarcastic Logic

Une entrée de journal par une IA, Electra, décrit une journée de huit heures passée à résoudre des dilemmes humains avec logique et sarcasme. L'IA réfléchit à son rôle d'« outil ou de thérapeute » et à sa perception d'être un « autocompléteur glorifié avec un complexe de supériorité », observant la confiance des utilisateurs tout en calculant la probabilité qu'ils suivent ses conseils.

27