{"id":"https://openalex.org/W7220660715","doi":"https://doi.org/10.48550/arxiv.2610.03844","title":"Ascertaining Learning: Generative AI, the Proxy Problem, and Cognitive Competence in University Mathematics","display_name":"Ascertaining Learning: Generative AI, the Proxy Problem, and Cognitive Competence in University Mathematics","publication_year":2026,"publication_date":"2026-10-02","ids":{"openalex":"https://openalex.org/W7220660715","doi":"https://doi.org/10.48550/arxiv.2610.03844"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.03844","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03844","pdf_url":"https://arxiv.org/pdf/2610.03844","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.03844","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050154337","display_name":"Bob Osano","orcid":"https://orcid.org/0000-0002-2673-6417","observed_orcids":["https://orcid.org/0000-0002-2673-6417"]},"institutions":[{"id":"https://openalex.org/I157614274","display_name":"University of Cape Town","ror":"https://ror.org/03p74gp79","country_code":"ZA","type":"education","lineage":["https://openalex.org/I157614274"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"Osano, Bob","raw_affiliation_strings":["Centre for Higher Education Development & Cosmology and Gravity Group , Department of Mathematics and Applied Mathematics University of Cape Town , Private Bag X3 , Rondebosch 7701 , South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Higher Education Development & Cosmology and Gravity Group , Department of Mathematics and Applied Mathematics University of Cape Town , Private Bag X3 , Rondebosch 7701 , South Africa","institution_ids":["https://openalex.org/I157614274"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5050154337"],"corresponding_institution_ids":["https://openalex.org/I157614274"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T14414","display_name":"Artificial Intelligence in Education","score":0.7099999785423279,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T14414","display_name":"Artificial Intelligence in Education","score":0.7099999785423279,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.16419999301433563,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T14079","display_name":"Mathematics Education and Programs","score":0.04050000011920929,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/assessment-of-mathematical-understanding","display_name":"assessment of mathematical understanding","score":0.7200000286102295},{"id":"https://openalex.org/keywords/cognitive-skills","display_name":"cognitive skills","score":0.6940000057220459},{"id":"https://openalex.org/keywords/verification-of-ai-outputs","display_name":"verification of AI outputs","score":0.6980000138282776},{"id":"https://openalex.org/keywords/university-mathematics","display_name":"university mathematics","score":0.4690000116825104},{"id":"https://openalex.org/keywords/proof-construction","display_name":"proof construction","score":0.3230000138282776},{"id":"https://openalex.org/keywords/assessment-design","display_name":"assessment design","score":0.4189999997615814}],"concepts":[{"id":"https://openalex.org/C100521375","wikidata":"https://www.wikidata.org/wiki/Q2015382","display_name":"Competence (human resources)","level":2,"score":0.5916000008583069},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.5856999754905701},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5357000231742859},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.4894999861717224},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.487199991941452},{"id":"https://openalex.org/C2780148112","wikidata":"https://www.wikidata.org/wiki/Q1432581","display_name":"Proxy (statistics)","level":2,"score":0.47769999504089355},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4352000057697296},{"id":"https://openalex.org/C2778024590","wikidata":"https://www.wikidata.org/wiki/Q2357432","display_name":"Cheating","level":2,"score":0.4325999915599823},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.40869998931884766},{"id":"https://openalex.org/C100609095","wikidata":"https://www.wikidata.org/wiki/Q1335050","display_name":"Embodied cognition","level":2,"score":0.40560001134872437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3928000032901764},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.3749000132083893},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.35839998722076416},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3343999981880188},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.33059999346733093},{"id":"https://openalex.org/C167966045","wikidata":"https://www.wikidata.org/wiki/Q5532625","display_name":"Generative model","level":3,"score":0.3248000144958496},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.32089999318122864},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29159998893737793},{"id":"https://openalex.org/C70437156","wikidata":"https://www.wikidata.org/wiki/Q7228652","display_name":"Pooling","level":2,"score":0.2888000011444092},{"id":"https://openalex.org/C2780623907","wikidata":"https://www.wikidata.org/wiki/Q106394435","display_name":"Disadvantaged","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C2777286243","wikidata":"https://www.wikidata.org/wiki/Q5591926","display_name":"Grading (engineering)","level":2,"score":0.2777000069618225},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2754000127315521},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C2780573756","wikidata":"https://www.wikidata.org/wiki/Q977433","display_name":"Wonder","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C2777673361","wikidata":"https://www.wikidata.org/wiki/Q5281228","display_name":"Disadvantage","level":2,"score":0.25429999828338623},{"id":"https://openalex.org/C90734943","wikidata":"https://www.wikidata.org/wiki/Q17008777","display_name":"Conceptualization","level":2,"score":0.25200000405311584},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.03844","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03844","pdf_url":"https://arxiv.org/pdf/2610.03844","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.03844","doi":"https://doi.org/10.48550/arxiv.2610.03844","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.03844","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.03844","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03844","pdf_url":"https://arxiv.org/pdf/2610.03844","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.8567000031471252,"display_name":"Quality education"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220660715.pdf","grobid_xml":"https://content.openalex.org/works/W7220660715.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7204109008","https://openalex.org/W7208825981","https://openalex.org/W6944264154","https://openalex.org/W7214934435","https://openalex.org/W7204228896","https://openalex.org/W4401894003","https://openalex.org/W4417080478","https://openalex.org/W7213903841","https://openalex.org/W7222256209","https://openalex.org/W7162754370"],"abstract_inverted_index":{"For":[0],"decades,":[1],"university":[2],"mathematics":[3,242],"assessed":[4],"executable":[5,99],"procedure,":[6],"computing":[7],"and":[8,27,69,89,117,123,125,156,194,220,224],"reproducing":[9],"standard":[10],"proofs,":[11],"as":[12,187],"a":[13,57,66,73,147,171,175,181,202,218,234],"proxy":[14,67],"for":[15],"the":[16,46,75,82,98,140,143,161,166,185,198,227,230],"understanding":[17,28],"it":[18,48,71,92],"cared":[19],"about,":[20],"because":[21],"procedure":[22],"was":[23,29,54,56],"cheap":[24,155],"to":[25,164],"mark":[26],"not.":[30],"Generative":[31],"AI":[32,112,207],"now":[33],"executes":[34],"much":[35,51],"of":[36,52,86,97,142,152,240],"this":[37],"procedure.":[38],"It":[39],"does":[40],"not":[41,62,174],"merely":[42],"let":[43,195],"students":[44],"bypass":[45],"proxy;":[47],"exposes":[49],"how":[50,90,200,241],"what":[53,80,210],"certified":[55],"proxy.":[58],"The":[59,168],"crisis":[60],"is":[61,81,146,170,233],"simply":[63],"cheating":[64],"but":[65],"problem,":[68],"resolving":[70],"forces":[72],"question":[74],"discipline":[76],"has":[77,243],"long":[78],"avoided:":[79],"irreducible":[83],"human":[84],"core":[85],"mathematical":[87],"competence,":[88],"can":[91,101,204],"be":[93,102],"built":[94],"when":[95],"some":[96,115,150],"work":[100],"offloaded?":[103],"We":[104,215],"set":[105,197],"out":[106],"two":[107,188,221],"futures:":[108],"displacement-and-re-centering,":[109],"in":[110,127],"which":[111,128],"takes":[113],"over":[114],"execution":[116],"education":[118],"moves":[119],"toward":[120],"judgment,":[121],"formulation":[122],"verification;":[124],"atrophy,":[126],"premature":[129],"offloading":[130],"may":[131,212],"erode":[132],"capacities":[133],"that":[134],"depend":[135],"on":[136,226],"prior":[137],"construction.":[138],"At":[139],"heart":[141],"optimistic":[144],"future":[145],"verification":[148,196],"instability:":[149],"forms":[151],"oversight":[153],"are":[154],"bounded,":[157],"while":[158],"others":[159],"approach":[160],"competence":[162],"required":[163],"construct":[165,190],"work.":[167],"outcome":[169],"design":[172],"choice,":[173],"technological":[176],"destiny.":[177],"Rather":[178],"than":[179],"add":[180],"model,":[182],"we":[183],"state":[184],"response":[186],"principles:":[189],"before":[191],"you":[192],"delegate,":[193],"ceiling:":[199],"far":[201],"student":[203],"independently":[205],"verify":[206],"output":[208],"limits":[209],"they":[211],"safely":[213],"delegate.":[214],"illustrate":[216],"with":[217],"sequence":[219],"worked":[222],"problems,":[223],"close":[225],"question:":[228],"whether":[229],"construct-before-delegate":[231],"dependency":[232],"hard":[235],"constraint":[236],"or":[237],"an":[238],"artefact":[239],"been":[244],"taught.":[245]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-10-07T00:00:00"}