{"id":"https://openalex.org/W7225595264","doi":"https://doi.org/10.5281/zenodo.24048776","title":"Triple Failure Routes of Verification: AI Translation, Mathematical Proof, and the Deadline for Verification","display_name":"Triple Failure Routes of Verification: AI Translation, Mathematical Proof, and the Deadline for Verification","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225595264","doi":"https://doi.org/10.5281/zenodo.24048776"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24048776","doi":"https://doi.org/10.5281/zenodo.24048776","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24048776","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24048776","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136992980","display_name":"Kenji Yamada","orcid":"https://orcid.org/0009-0006-0381-1185","observed_orcids":["https://orcid.org/0009-0006-0381-1185"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yamada, Kenji","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0006-0381-1185","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5136992980"],"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.24050000309944153,"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"}},"topics":[{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.24050000309944153,"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/T13904","display_name":"Artificial Intelligence Applications","score":0.14149999618530273,"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/T10759","display_name":"Translation Studies and Practices","score":0.06809999793767929,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"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/ai-translation","display_name":"AI translation","score":0.5120000243186951},{"id":"https://openalex.org/keywords/verification-of-ai-outputs","display_name":"verification of AI outputs","score":0.6079999804496765},{"id":"https://openalex.org/keywords/evaluation-criteria","display_name":"evaluation criteria","score":0.6259999871253967},{"id":"https://openalex.org/keywords/novelty-assessment","display_name":"novelty assessment","score":0.7599999904632568},{"id":"https://openalex.org/keywords/formalization-of-mathematics","display_name":"mathematical formalization","score":0.6940000057220459},{"id":"https://openalex.org/keywords/ai-generated-manuscripts","display_name":"AI-generated manuscripts","score":0.5889999866485596},{"id":"https://openalex.org/keywords/mathematical-practice","display_name":"mathematical practice","score":0.5170000195503235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6905999779701233},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.6880999803543091},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41200000047683716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3926999866962433},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.3603000044822693},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.32589998841285706},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3102000057697296},{"id":"https://openalex.org/C29122968","wikidata":"https://www.wikidata.org/wiki/Q1414816","display_name":"Incentive","level":2,"score":0.304500013589859},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29910001158714294},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2825999855995178},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27810001373291016},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2775000035762787},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2612999975681305},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.2605000138282776}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24048776","doi":"https://doi.org/10.5281/zenodo.24048776","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24048776","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24048777","doi":"https://doi.org/10.5281/zenodo.24048777","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24048777","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.24048776","doi":"https://doi.org/10.5281/zenodo.24048776","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24048776","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7167473703","https://openalex.org/W7222918395","https://openalex.org/W7221130333","https://openalex.org/W7214084667","https://openalex.org/W7172530428","https://openalex.org/W7204732739","https://openalex.org/W7171172845","https://openalex.org/W7222256209","https://openalex.org/W7218823509","https://openalex.org/W7212376197"],"abstract_inverted_index":{"AI":[0],"verification":[1,81],"depends":[2],"on":[3],"the":[4,12,18,23,31,48,62,83],"criteria":[5],"selected":[6],"for":[7],"a":[8,27,38],"task,":[9],"access":[10],"to":[11,15],"expertise":[13],"required":[14],"apply":[16],"them,":[17],"incentives":[19],"surrounding":[20],"verification,":[21],"and":[22,72,82,87],"time":[24],"available":[25],"before":[26],"decision.":[28,50],"Translation":[29],"exposes":[30],"plurality":[32],"of":[33,56,79],"evaluation":[34],"criteria.":[35],"Mathematics":[36],"permits":[37],"specified":[39],"truth":[40],"target":[41],"while":[42],"independent":[43,80],"checking":[44],"may":[45],"finish":[46],"after":[47],"relevant":[49],"The":[51,77],"October":[52],"2026":[53],"public":[54],"release":[55],"AI-generated":[57],"mathematical":[58,75],"manuscripts":[59],"makes":[60],"visible":[61],"separation":[63],"among":[64],"manuscript":[65],"production,":[66],"formalisation,":[67],"expert":[68],"checking,":[69],"novelty":[70],"assessment,":[71],"incorporation":[73],"into":[74],"practice.":[76],"timing":[78],"difference":[84],"between":[85],"observed":[86],"actual":[88],"errors":[89],"are":[90],"separate":[91],"measurable":[92],"dimensions.":[93]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}