{"id":"W4385849192","doi":"10.48550/arxiv.2308.07062","title":"On Darmon's program for the Generalized Fermat equation, II","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"European Commission; Natural Sciences and Engineering Research Council of Canada; Fundación BBVA; Ministerio de Ciencia e Innovación; Agencia Estatal de Investigación; Agence Nationale de la Recherche","keywords":"Fermat's Last Theorem; Diophantine equation; Elliptic curve; Mathematics; Abelian group; Conjecture; Series (stratigraphy); Resolution (logic); Pure mathematics; Arithmetic; Algebra over a field; Computer science","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001347398,0.0005219023,0.0005609965,0.001195423,0.001310976,0.001980754,0.0008625877,0.0008415727,0.008469608],"category_scores_gemma":[0.003576335,0.000273603,0.0009292969,0.0009434938,0.003015809,0.003689704,0.002938664,0.003526096,0.001418487],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001568847,"about_ca_system_score_gemma":0.001248997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001355575,"about_ca_topic_score_gemma":0.001624195,"domain_scores_codex":[0.9992726,0.0002025248,0.00003544872,0.000136237,0.0002497596,0.0001032624],"domain_scores_gemma":[0.9994678,0.0002834587,0.00003352069,0.000097378,0.00007815534,0.00003980133],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001611833,0.00001185987,0.0001399913,0.00002577037,0.000004020248,0.00004693412,0.0001952536,0.0006001103,0.0003884665,0.9864135,0.002066733,0.01009122],"study_design_scores_gemma":[0.00002127394,0.00002654441,0.0003034251,0.00003751933,0.000009402105,0.0001117956,0.00009528501,0.004912338,0.001148672,0.9659339,0.02738065,0.00001914966],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1001618,0.002517624,0.5668752,0.009086897,0.002267777,0.0001972356,0.0004298018,0.0005217378,0.3179419],"genre_scores_gemma":[0.6877769,0.002516107,0.204335,0.002775179,0.001245441,0.0003307922,0.0006299912,0.0005772964,0.09981325],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008469608,"threshold_uncertainty_score":0.02833366,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2170134524926856,"score_gpt":0.2644332505066673,"score_spread":0.04741979801398163,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}