{"id":"W4376646809","doi":"10.1007/s00229-023-01485-4","title":"On the BDP Iwasawa main conjecture for modular forms","year":2023,"lang":"en","type":"article","venue":"manuscripta mathematica","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Number theory; Iwasawa theory; Conjecture; Modular form; Algebraic geometry; Pure mathematics; Modular design; Algebra over a field; Computer science; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.002056184,0.0003541502,0.0004606452,0.0001708962,0.0004097814,0.0001025854,0.0006680289,0.0001728331,0.0008677701],"category_scores_gemma":[0.002263358,0.0002121482,0.0003104266,0.0005186736,0.0001303609,0.0001037797,0.0001523384,0.0002753853,0.001175505],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004910148,"about_ca_system_score_gemma":0.00002607193,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001229932,"about_ca_topic_score_gemma":0.000002135094,"domain_scores_codex":[0.9979072,0.0001033073,0.0004863982,0.0003912027,0.0004522437,0.0006596791],"domain_scores_gemma":[0.9956886,0.002864279,0.0001754747,0.001115853,0.00004879207,0.0001070319],"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.00003201056,0.00009520885,0.000001670485,0.0003798649,0.00008876921,0.0000115524,0.0009474705,0.000003740852,0.0002291725,0.8465757,0.1513881,0.0002467766],"study_design_scores_gemma":[0.0004677531,0.0001282817,0.00002750304,0.0001246395,0.00007138116,0.00002626804,0.001362651,0.001779962,0.002254144,0.9853244,0.008149776,0.0002831808],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8747434,0.00005418289,0.05299231,0.01498049,0.001032545,0.003831192,0.0001777562,0.001305506,0.05088261],"genre_scores_gemma":[0.9462541,0.000008560719,0.005199514,0.001661258,0.0002422307,0.0008552006,0.0000360822,0.000169056,0.04557404],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1432383,"threshold_uncertainty_score":0.9996022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06683079223853015,"score_gpt":0.2927827446287912,"score_spread":0.225951952390261,"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."}}