意图建构与意义建构:人类与AI引导的数学发现交互
Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
Alex Bäuerle, Adam Connors, Alexander Novikov, Adam Zsolt Wagner, Ngân Vũ, Fernanda Viegas, Martin Wattenberg, Lucas Dixon
AI 速读 基于摘要
通过对11位数学家使用进化编码智能体AlphaEvolve三个月、逾2300次实验的研究,提出并刻画“意图建构”(intentmaking)作为“意义建构”(sensemaking)的对应过程。
cs.AI · cs.HC
查看原文摘要
Artificial intelligence offers powerful paradigms for scientific discovery, orchestrating autonomous inner search loops over long horizons. However, discovery remains bottlenecked by the friction of the outer human-AI loop: the cycle where domain experts formulate research objectives, diagnose reward hacks, and extract meaning. We present findings from a study with 11 expert mathematicians using AlphaEvolve, an evolutionary coding agent, across more than 2,300 experiments over three months. We identify and characterize intentmaking, the iterative process of discovering, defining, and refining experimental goals through system interaction, as a reciprocal counterpart to sensemaking. We observe that domain experts effectively alternate between steering the search space (intentmaking) and extracting mathematical insights (sensemaking). Our findings suggest an approach to designing AI tools for scientific discovery that moves beyond the existing question--answer model, treating them as collaborative instruments rather than opaque black-box oracles.