{"id":"https://openalex.org/W7160599101","doi":"https://doi.org/10.48550/arxiv.2605.05921","title":"Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery","display_name":"Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery","publication_year":2026,"publication_date":"2026-05-07","ids":{"openalex":"https://openalex.org/W7160599101","doi":"https://doi.org/10.48550/arxiv.2605.05921"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.05921","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.05921","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.05921","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021099906","display_name":"Alex B\u00e4uerle","orcid":"https://orcid.org/0000-0003-3886-8799"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"B\u00e4uerle, Alex","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135662372","display_name":"Adam Connors","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Connors, Adam","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135724104","display_name":"Alexander Novikov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Novikov, Alexander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072057027","display_name":"Ascher Wagner","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wagner, Adam Zsolt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135725468","display_name":"Ng\u00e2n V\u0169","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"V\u0169, Ng\u00e2n","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056973633","display_name":"Fernanda Viegas","orcid":"https://orcid.org/0000-0002-9051-3103"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Viegas, Fernanda","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135666620","display_name":"Martin Wattenberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wattenberg, Martin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135653391","display_name":"Lucas Dixon","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dixon, Lucas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13197","display_name":"Spreadsheets and End-User Computing","score":0.19979999959468842,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13197","display_name":"Spreadsheets and End-User Computing","score":0.19979999959468842,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11704","display_name":"Mobile Crowdsensing and Crowdsourcing","score":0.1256999969482422,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.07829999923706055,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.664900004863739},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5328999757766724},{"id":"https://openalex.org/keywords/sensemaking","display_name":"Sensemaking","score":0.5199000239372253},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.4560999870300293},{"id":"https://openalex.org/keywords/scientific-discovery","display_name":"Scientific discovery","score":0.4311999976634979},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.4066999852657318},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.39489999413490295},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.3815000057220459}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.664900004863739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6614999771118164},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5328999757766724},{"id":"https://openalex.org/C2780554381","wikidata":"https://www.wikidata.org/wiki/Q2063340","display_name":"Sensemaking","level":2,"score":0.5199000239372253},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.47269999980926514},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.4560999870300293},{"id":"https://openalex.org/C2984917352","wikidata":"https://www.wikidata.org/wiki/Q12772819","display_name":"Scientific discovery","level":2,"score":0.4311999976634979},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.4066999852657318},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4016999900341034},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.39489999413490295},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.3815000057220459},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.373199999332428},{"id":"https://openalex.org/C42525527","wikidata":"https://www.wikidata.org/wiki/Q1209955","display_name":"Formative assessment","level":2,"score":0.3490000069141388},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.33160001039505005},{"id":"https://openalex.org/C66782513","wikidata":"https://www.wikidata.org/wiki/Q864601","display_name":"Biomedicine","level":2,"score":0.31630000472068787},{"id":"https://openalex.org/C5065155","wikidata":"https://www.wikidata.org/wiki/Q1185775","display_name":"Frame problem","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.27959999442100525},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C4438859","wikidata":"https://www.wikidata.org/wiki/Q186117","display_name":"Timeline","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.2689000070095062},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.2515999972820282},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.05921","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.05921","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.05921","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.05921","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Artificial":[0],"intelligence":[1],"offers":[2],"powerful":[3],"new":[4],"tools":[5,138],"for":[6,139],"scientific":[7,140],"discovery,":[8],"but":[9],"the":[10,62,86,115,122,145],"interaction":[11],"paradigms":[12],"required":[13],"to":[14,43,84,135],"effectively":[15],"harness":[16],"these":[17,130],"systems":[18],"remain":[19],"underexplored.":[20],"In":[21],"this":[22,79],"paper,":[23],"we":[24,59],"present":[25],"findings":[26],"from":[27],"a":[28,56,81,103],"formative":[29],"user":[30],"study":[31],"with":[32],"11":[33],"expert":[34],"mathematicians":[35],"who":[36],"used":[37],"AlphaEvolve,":[38],"an":[39,91,125,133],"evolutionary":[40],"coding":[41],"agent,":[42],"tackle":[44],"advanced":[45],"problems":[46],"in":[47],"their":[48,110],"fields":[49],"of":[50,65,89,93,105,124,129,149],"expertise.":[51],"We":[52,77,98],"identify":[53],"and":[54,68,108,112],"characterize":[55],"distinct":[57],"workflow":[58],"term":[60],"intentmaking,":[61],"iterative":[63],"process":[64,88],"discovering,":[66],"defining,":[67],"refining":[69],"one's":[70],"experimental":[71],"goals":[72],"through":[73],"active":[74],"system":[75],"interaction.":[76],"frame":[78],"as":[80,155],"natural":[82],"extension":[83],"sensemaking,":[85],"cognitive":[87],"building":[90],"understanding":[92],"complex":[94],"or":[95],"novel":[96],"data.":[97],"suggest":[99],"that":[100,142],"users":[101],"enter":[102],"cycle":[104],"intentmaking":[106],"(defining":[107],"updating":[109],"experiment)":[111],"sensemaking":[113],"(interpreting":[114],"results)":[116],"which":[117],"repeats":[118],"many":[119,150],"times":[120],"during":[121],"course":[123],"investigation.":[126],"Our":[127],"documentation":[128],"themes":[131],"suggests":[132],"approach":[134],"designing":[136],"AI":[137],"discovery":[141],"goes":[143],"beyond":[144],"existing":[146],"question/answer":[147],"model":[148],"current":[151],"systems,":[152],"treating":[153],"them":[154],"collaborative":[156],"instruments":[157],"rather":[158],"than":[159],"opaque":[160],"black-box":[161],"assistants.":[162]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-09T00:00:00"}