{"id":"W4406206379","doi":"","title":"Reconciling Impredicative Axiom and Universe","year":2025,"lang":"fr","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Space Science and Extraterrestrial Life","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; Computer Research Institute of Montréal; Montfort Hospital","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Axiom; Computer science; Universe; Mathematics; Physics; Astronomy; Geometry","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.00431843,0.0005964974,0.001432041,0.002297872,0.004503199,0.004089084,0.003321291,0.002914914,0.01420215],"category_scores_gemma":[0.01497453,0.0007868939,0.001742459,0.002283671,0.007468999,0.0167854,0.006276522,0.005911557,0.001673669],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002725312,"about_ca_system_score_gemma":0.001365202,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003092491,"about_ca_topic_score_gemma":0.003187086,"domain_scores_codex":[0.9959496,0.001904368,0.0002318887,0.0007918391,0.0007818821,0.0003403284],"domain_scores_gemma":[0.9904412,0.004746885,0.0004095527,0.002591985,0.001486605,0.0003237734],"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.00001090753,0.000005251698,0.00005304219,0.00002335162,0.000005759969,0.00003336653,0.0001055065,0.0001910928,0.00003353644,0.9964021,0.00135422,0.001781729],"study_design_scores_gemma":[0.000007404096,0.000003446894,0.00005145395,0.00000967231,0.000006823516,0.00006503968,0.00004617244,0.0007776899,0.00008142591,0.9930078,0.005937159,0.000005947747],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05999717,0.00474406,0.4437262,0.0296765,0.001672858,0.00006733857,0.0009499228,0.001037891,0.458128],"genre_scores_gemma":[0.9039621,0.001801248,0.05897379,0.004837097,0.001750191,0.00009727301,0.001098503,0.0005289582,0.02695093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01420215,"threshold_uncertainty_score":0.04751092,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0101013723725861,"score_gpt":0.2296078484552556,"score_spread":0.2195064760826695,"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."}}