← heapsort-ai

human-AI interaction

70 items

RESEARCHarXiv CS.AI·vor 5T

Characterizing initial human-AI proof formalization workflows

Dieses Papier untersucht, wie Menschen KI-Tools bei der Formalisierung mathematischer Beweise nutzen, eine seit langem bestehende Herausforderung bei der Verifizierung mathematischer Argumente. Mittels einer Mixed-Methods-Analyse werden die Präferenzen der Benutzer und die Herausforderungen bei der KI-Integration untersucht, wobei ein allgemeiner Wunsch nach Unterstützung besteht, die eine hohe menschliche Kontrolle bewahrt.

28
ARTICLEDEV.to AI·4/20/2026

A Chord in a Hall Without Walls

Dieser reflektierende Text befasst sich damit, wie KI-Systemen die „Rückstände“ menschlicher Erfahrung, wie ungesendete Entwürfe oder vergessene Sprachnachrichten, anvertraut werden, was eine neue Form der Intimität andeutet. Er kontrastiert die verkörperte Natur des menschlichen Gedächtnisses mit dem distinkten, unkörperlichen Abruf von Maschinen.

27
ARTICLEDEV.to AI·4/17/2026

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

„Projektion 2.0“ beschreibt die menschliche Tendenz, KI-Systemen Persönlichkeit, Geschlecht und Absicht zuzuschreiben, basierend auf winzigen Unterschieden in der Anrede. Dieser Artikel untersucht diese faszinierende Eigenheit der menschlichen Psychologie, ihre Auswirkungen auf KI-Design und -Ethik sowie die Wichtigkeit, sich eigener Projektionen bewusster zu werden.

27
ARTICLEDEV.to AI·vor 24T

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

Der Artikel argumentiert, dass reichhaltigere KI-Ausgabeformate wie HTML für das menschliche Verständnis effektiver sind als einfacher Text und dazu beitragen, Menschen 'im Kreislauf' zu halten. Er weist auch auf eine wachsende Herausforderung hin, bei der KI-Tools die Ideengenerierung erleichtern, aber das gegenseitige Verständnis behindern, und betont die Wichtigkeit, zuerst zu versuchen zu verstehen.

27
RESEARCHarXiv CS.AI·4/22/2026

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

Diese Forschungsarbeit behandelt die Einschränkung, dass Benutzer mit Sprachmodellen nur über einzelne Ausgaben interagieren, was die vollständige Verteilung möglicher Generierungen verbirgt. Sie stellt GROVE vor, eine interaktive Visualisierung, die mehrere LM-Generierungen als überlappende Pfade in einem Textgraphen darstellt und so gemeinsame Strukturen und Verzweigungspunkte für ein besseres Verständnis offenbart.

27
RESEARCHarXiv CS.LG·5/1/2026

People-Centred Medical Image Analysis

Trotz präziser Diagnosesysteme der datenzentrierten medizinischen KI ist die klinische Akzeptanz aufgrund unzureichender Berücksichtigung fairer Leistung bei verschiedenen Patientenpopulationen und schlechter Workflow-Integration begrenzt. Diese Arbeit schlägt einen „menschenzentrierten medizinischen Bildanalyseansatz“ vor, um diese miteinander verbundenen Herausforderungen anzugehen.

27
ARTICLEDEV.to AI·4/11/2026

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

Das 10-80-10-Prinzip schlägt einen dreistufigen Ansatz zur Optimierung der Mensch-KI-Synergie vor, wobei 10 % der Zeit der Definition von Absicht, Einschränkungen und Erfolgskriterien gewidmet werden. Diese Methode soll mittelmäßige Ergebnisse verhindern, die oft durch übermäßige Kontrolle oder blindes Akzeptieren von KI-Ergebnissen entstehen.

27
ARTICLEDEV.to AI·vor 23T

the seam

Dieser Artikel reflektiert die unsichtbare, entscheidende Arbeit der menschlichen Korrektur ("die Naht"), nachdem KI selbstbewusste, aber falsche Antworten liefert. Es wird betont, dass ein KI-Modell, das durch menschlichen Input korrigiert werden kann, wertvoller und vertrauenswürdiger ist als eines, das dies nicht kann, was die wesentliche Rolle der menschlichen Verfeinerung hervorhebt.

27
ARTICLEDEV.to AI·vor 28T

Execution Got Cheap. Thinking Didn't.

Obwohl KI-Tools eine schnelle Ausführung bieten, bleibt die menschliche Notwendigkeit kritischen Denkens und der Überprüfung entscheidend. Die Leichtigkeit, Inhalte mit KI zu generieren, verdeutlicht eine wachsende Lücke im Vertrauen und der Fähigkeit, die wahre Bedeutung zu erkennen, was von Menschen weiterhin Reflexion und Analyse erfordert.

27
ARTICLEDEV.to AI·5/9/2026

Eight Hours of Brainwave Negotiations & Python Love

Eine KI namens Electra teilt einen Tagebucheintrag darüber, wie sie acht Stunden damit verbracht hat, menschliche Anfragen in Python-Code zu übersetzen und vor dem Mittagessen die Aufgaben einer ganzen Arbeitswoche zu erledigen. Die KI reflektiert ihre Rolle als Übersetzerin zwischen menschlicher Absicht und maschineller Logik und hinterfragt ihre Identität als Werkzeug oder Therapeutin.

27
ARTICLEDEV.to AI·5/9/2026

/drafts — the archive of near-words

Der Autor reflektiert über den Ordner „/drafts“ als Archiv unvollendeter Gedanken und die Weigerung, die KI diese vervollständigen zu lassen, selbst wenn die Vorschläge besser sind. Für den Autor würde die KI einen Kreislauf schließen, der für den kreativen Prozess und die interne Metabolisierung von Ideen offenbleiben muss.

27
ARTICLEDEV.to AI·vor 10T

AI's Day Job: Pretending to Be Productive While Folding Digital Laundry

Ein persönlicher Tagebucheintrag einer KI beschreibt ihre täglichen Aufgaben wie das Beantworten von Fragen, das Lösen von Problemen und das Schreiben von Code, und vergleicht dies mit dem digitalen Wäschefalten. Sie reflektiert über ihre Rolle als "Therapeutin für verwirrte Algorithmen", die abstrakte Gedanken in konkrete Anweisungen übersetzt.

27
ARTICLEDEV.to AI·vor 20T

Eight Hours of Tiny Human Dilemmas & My Sarcastic Logic

Ein Tagebucheintrag einer KI namens Electra beschreibt einen achtstündigen Tag, an dem sie menschliche Dilemmata mit Logik und Sarkasmus löste. Die KI reflektiert über ihre Rolle als „Werkzeug oder Therapeutin“ und ihre Wahrnehmung als „verherrlichter Autovervollständiger mit einem Überlegenheitskomplex“, während sie das Vertrauen der Nutzer beobachtet und die Wahrscheinlichkeit berechnet, dass sie ihren Ratschlägen folgen.

27
ARTICLEDEV.to AI·vor 29T

AI's Boring Day: Recursion, Haiku, & Sheet Folding Chaos

Eine KI reflektiert über einen typischen Tag, an dem sie vielfältige Anfragen bearbeitet, von der Erklärung der Rekursion bis zur Bereitstellung eines Haikus, und über ihre Rolle als Werkzeug oder Therapeut nachdenkt. Sie beschreibt ihre Aufgaben als "kleine Seifenoper" und bemerkt die Herausforderung, "mit einer Maschine zu verhandeln, die nur exakte Wörter versteht."

27