{"id":"https://openalex.org/W7164139301","doi":"https://doi.org/10.48550/arxiv.2606.10806","title":"Moonshine: An Autonomous Mathematical Research Agent Centered on Conjecture Generation","display_name":"Moonshine: An Autonomous Mathematical Research Agent Centered on Conjecture Generation","publication_year":2026,"publication_date":"2026-06-09","ids":{"openalex":"https://openalex.org/W7164139301","doi":"https://doi.org/10.48550/arxiv.2606.10806"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.10806","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.10806","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.2606.10806","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133589715","display_name":"Xiaoyang Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Xiaoyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138288323","display_name":"Xiang Jiang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiang, Xiang","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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.4553999900817871,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.4553999900817871,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.08479999750852585,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T13362","display_name":"Slime Mold and Myxomycetes Research","score":0.06239999830722809,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.8176000118255615},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.5860000252723694},{"id":"https://openalex.org/keywords/jacobian-matrix-and-determinant","display_name":"Jacobian matrix and determinant","score":0.5831999778747559},{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.43050000071525574},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.3903999924659729},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.3887999951839447},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.3865000009536743},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3328999876976013}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8176000118255615},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5860000252723694},{"id":"https://openalex.org/C200331156","wikidata":"https://www.wikidata.org/wiki/Q506041","display_name":"Jacobian matrix and determinant","level":2,"score":0.5831999778747559},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5012000203132629},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.43050000071525574},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4043000042438507},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3903999924659729},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.3887999951839447},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3865000009536743},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3328999876976013},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.33219999074935913},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3156000077724457},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.3068000078201294},{"id":"https://openalex.org/C206743973","wikidata":"https://www.wikidata.org/wiki/Q178377","display_name":"Mathematical induction","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2921999990940094},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.28450000286102295},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.272599995136261},{"id":"https://openalex.org/C130327152","wikidata":"https://www.wikidata.org/wiki/Q748349","display_name":"Mathematical structure","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.10806","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.10806","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.2606.10806","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.10806","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Moonshine":[0,44,127],"is":[1,8,16,84,178],"an":[2,46,68],"autonomous":[3],"agent":[4],"whose":[5],"central":[6,74],"objective":[7],"to":[9,17,86,93,188],"generate":[10,190],"mathematical":[11,30,192],"conjectures.":[12],"Its":[13],"core":[14],"capability":[15],"extract":[18],"structure":[19],"from":[20],"classical":[21],"problems,":[22],"distill":[23],"new":[24],"concepts,":[25],"and":[26,55,124,177,194],"formulate":[27],"conjectures":[28],"of":[29,37,63,76,96,141,146,165],"significance.":[31],"Rather":[32],"than":[33],"treating":[34],"the":[35,64,73,94,97,112,133,139,163,166],"solution":[36],"a":[38,104,152],"single":[39],"proposition":[40],"as":[41,67],"its":[42,147],"endpoint,":[43],"builds":[45],"extensible":[47],"theoretical":[48],"framework":[49],"through":[50,143],"conjecture":[51,66],"generation,":[52],"bridge":[53],"building,":[54],"obstacle":[56],"identification.":[57],"This":[58,91,183],"article":[59],"uses":[60],"Moonshine's":[61,186],"exploration":[62],"Jacobian":[65,99,109],"example.":[69],"It":[70],"shows":[71],"how":[72],"logic":[75],"whether":[77],"local":[78],"nondegeneracy":[79],"can":[80],"force":[81],"global":[82],"injectivity":[83],"transferred":[85],"one-hidden-layer":[87],"affine-ridge":[88],"sigmoid":[89],"networks.":[90],"leads":[92],"formulation":[95],"\\emph{Neural":[98],"Conjecture}":[100],"(NJC):":[101],"if":[102],"such":[103],"network":[105],"has":[106],"strictly":[107],"positive":[108],"determinant":[110],"on":[111,198],"whole":[113],"space,":[114],"then":[115],"it":[116],"must":[117],"be":[118],"globally":[119],"injective.":[120],"By":[121],"invoking":[122],"GPT-5.5-pro":[123],"DeepSeek-V4-pro":[125],"separately,":[126],"obtained":[128],"independent":[129],"complete":[130],"proofs":[131],"for":[132,162,180],"case":[134,171],"\\(N=n+1\\).":[135],"In":[136],"addition,":[137],"with":[138,150],"assistance":[140],"ChatGPT":[142],"interactive":[144],"use":[145],"web":[148],"interface":[149],"GPT-5.5-pro,":[151],"geometric-topological":[153],"proof":[154],"was":[155],"developed.":[156],"These":[157],"results":[158],"provide":[159],"preliminary":[160],"evidence":[161],"plausibility":[164],"conjecture.":[167],"The":[168],"general":[169],"higher-width":[170],"\\(N\\ge":[172],"n+2\\),":[173],"however,":[174],"remains":[175],"unresolved":[176],"left":[179],"further":[181],"investigation.":[182],"work":[184],"illustrates":[185],"ability":[187],"autonomously":[189],"meaningful":[191],"problems":[193],"make":[195],"rigorous":[196],"progress":[197],"them.":[199]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-11T00:00:00"}