{"id":"https://openalex.org/W7203447931","doi":"https://doi.org/10.48550/arxiv.2608.12816","title":"Fundamental Mathematics in the Age of AI -- The Residue, the Journey, and the Ecology","display_name":"Fundamental Mathematics in the Age of AI -- The Residue, the Journey, and the Ecology","publication_year":2026,"publication_date":"2026-08-13","ids":{"openalex":"https://openalex.org/W7203447931","doi":"https://doi.org/10.48550/arxiv.2608.12816"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.12816","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12816","pdf_url":"https://arxiv.org/pdf/2608.12816","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.12816","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051546289","display_name":"Benjamin Collas","orcid":"https://orcid.org/0000-0002-7830-6566","observed_orcids":["https://orcid.org/0000-0002-7830-6566"]},"institutions":[{"id":"https://openalex.org/I4405264993","display_name":"Research Institute for Mathematical Sciences, Kyoto University","ror":"https://ror.org/03j30yc45","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242","https://openalex.org/I4405264993"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Collas, Benjamin","raw_affiliation_strings":["Research Institute for Mathematical Sciences , Kyoto University , Kyoto 606-8502 , Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Institute for Mathematical Sciences , Kyoto University , Kyoto 606-8502 , Japan","institution_ids":["https://openalex.org/I4405264993"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5051546289"],"corresponding_institution_ids":["https://openalex.org/I4405264993"],"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/T12170","display_name":"History and Theory of Mathematics","score":0.48750001192092896,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.48750001192092896,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13904","display_name":"Artificial Intelligence Applications","score":0.21889999508857727,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13308","display_name":"Cybernetics and Technology in Society","score":0.06400000303983688,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.8090000152587891},{"id":"https://openalex.org/keywords/mathematical-discovery","display_name":"mathematical discovery","score":0.625},{"id":"https://openalex.org/keywords/proof-verification","display_name":"proof verification","score":0.4259999990463257},{"id":"https://openalex.org/keywords/research-funding","display_name":"research funding","score":0.6660000085830688},{"id":"https://openalex.org/keywords/future-of-mathematics","display_name":"future of mathematics","score":0.6129999756813049}],"concepts":[{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.7728000283241272},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4864000082015991},{"id":"https://openalex.org/C129671850","wikidata":"https://www.wikidata.org/wiki/Q210501","display_name":"Introspection","level":2,"score":0.44279998540878296},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.4205999970436096},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41449999809265137},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4106999933719635},{"id":"https://openalex.org/C2781226546","wikidata":"https://www.wikidata.org/wiki/Q886106","display_name":"Bluff","level":2,"score":0.4065999984741211},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.38350000977516174},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36059999465942383},{"id":"https://openalex.org/C61783943","wikidata":"https://www.wikidata.org/wiki/Q1970348","display_name":"Luck","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C204036174","wikidata":"https://www.wikidata.org/wiki/Q909380","display_name":"Stock (firearms)","level":2,"score":0.3285999894142151},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.3163999915122986},{"id":"https://openalex.org/C2780573756","wikidata":"https://www.wikidata.org/wiki/Q977433","display_name":"Wonder","level":2,"score":0.3050000071525574},{"id":"https://openalex.org/C2780102774","wikidata":"https://www.wikidata.org/wiki/Q4669873","display_name":"Absoluteness","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C109747225","wikidata":"https://www.wikidata.org/wiki/Q815758","display_name":"Scarcity","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2705000042915344},{"id":"https://openalex.org/C138888516","wikidata":"https://www.wikidata.org/wiki/Q2266843","display_name":"Infinite product","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2526000142097473},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.25099998712539673},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.250900000333786},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.12816","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12816","pdf_url":"https://arxiv.org/pdf/2608.12816","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.12816","doi":"https://doi.org/10.48550/arxiv.2608.12816","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.12816","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.12816","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12816","pdf_url":"https://arxiv.org/pdf/2608.12816","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7203447931.pdf","grobid_xml":"https://content.openalex.org/works/W7203447931.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W2981188613","https://openalex.org/W4412451908","https://openalex.org/W7163193747","https://openalex.org/W7167044221"],"related_works":["https://openalex.org/W7214084667","https://openalex.org/W7203820194","https://openalex.org/W6922499082","https://openalex.org/W7172283015","https://openalex.org/W4416596099","https://openalex.org/W4393212083","https://openalex.org/W7223251192","https://openalex.org/W6922171635","https://openalex.org/W7221667322","https://openalex.org/W4414596160"],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2],"have":[3],"begun":[4],"refuting":[5],"long-standing":[6],"conjectures":[7],"and":[8,27,72,110,132,175,194,234,243,286,299,305],"solving":[9],"long-open":[10],"problems.":[11],"The":[12,68,91,114,159,217,319],"introspection":[13],"this":[14],"has":[15,178,308],"prompted":[16],"about":[17],"the":[18,28,41,49,62,86,108,130,149,154,164,171,184,187,190,196,238,245,253,272,275,290,306],"future":[19],"of":[20,52,99,106,118,189,209,241],"mathematical":[21],"discovery":[22],"is":[23,48,70,93,161,268,321],"well":[24],"under":[25],"way,":[26],"anxiety":[29],"accompanying":[30],"it":[31,134,177,212],"legitimate":[32],"--":[33,54,58,252,260,277,285],"but":[34,101],"both,":[35],"we":[36,266],"claim,":[37],"are":[38,116,146,220],"attached":[39],"to":[40,126,162,262,281,317],"wrong":[42],"loss.":[43],"What":[44],"machines":[45],"now":[46],"produce":[47],"countable":[50,150],"part":[51],"mathematics":[53],"theorems,":[55],"proofs,":[56],"refutations":[57],"which":[59],"was":[60],"always":[61],"work's":[63],"residue,":[64],"not":[65,73,96,169],"its":[66,81],"product.":[67],"distinction":[69],"old,":[71],"economic:":[74],"a":[75,97,102,119,140,180,206,214,257,278,311],"result":[76],"can":[77,224],"be":[78,250,263],"taken":[79],"in":[80,85],"finished":[82],"essence,":[83],"or":[84],"operations":[87],"that":[88,156,248,255],"engendered":[89],"it.":[90,113,158],"product":[92],"human":[94],"understanding:":[95],"stock":[98],"results":[100],"collective,":[103],"hard-won":[104],"way":[105,208],"deciphering":[107],"world":[109],"acting":[111],"upon":[112],"two":[115],"arcs":[117],"single":[120],"loop:":[121],"understanding":[122,259],"tells":[123],"us":[124],"where":[125],"look;":[127],"looking":[128],"produces":[129],"residue;":[131],"taking":[133],"up":[135],"again,":[136],"one":[137,155,246],"journey":[138,254,307],"at":[139,200],"time,":[141],"rebuilds":[142],"shared":[143,258],"understanding.":[144],"Machines":[145],"strong":[147],"on":[148,183,274,289,296],"arc,":[151],"absent":[152],"from":[153],"feeds":[157],"peril":[160],"leave":[163],"loop":[165],"open.":[166],"AI":[167],"did":[168],"create":[170],"confusion":[172],"between":[173],"residue":[174,191],"product;":[176],"called":[179],"bluff":[181],"long":[182],"books,":[185],"driving":[186],"cost":[188],"towards":[192],"zero":[193],"making":[195],"scarce":[197],"thing":[198,247],"visible":[199],"last.":[201],"A":[202],"new":[203,207,215],"instrument":[204],"makes":[205,213],"working":[210],"before":[211],"result.":[216],"pressing":[218],"questions":[219],"therefore":[221],"institutional:":[222],"who":[223],"check":[225],"an":[226],"announced":[227],"result,":[228],"whoever":[229],"announces":[230],"it;":[231],"what":[232],"work":[233],"training":[235],"become":[236],"for":[237],"next":[239],"generation":[240],"researchers;":[242],"whether":[244],"cannot":[249,294],"mass-produced":[251],"nourishes":[256],"continues":[261],"funded.":[264],"Mathematics,":[265],"argue,":[267],"uniquely":[269,287],"placed":[270],"among":[271],"sciences":[273],"first":[276],"proof":[279],"answers":[280],"no":[282,300],"one's":[283],"permission":[284],"exposed":[288],"other":[291],"two:":[292],"teaching":[293],"go":[295],"as":[297],"before,":[298],"collective":[301],"position":[302],"yet":[303],"exists;":[304],"never":[309],"had":[310],"price":[312],"our":[313],"institutions":[314],"knew":[315],"how":[316],"pay.":[318],"decision":[320],"ours.":[322]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-15T00:00:00"}