{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002679679,0.0002091638,0.0002401489,0.0001297101,0.0004982827,0.0003595971,0.0004665758,0.0001201219,0.0002523504],"category_scores_gemma":[0.0003402029,0.0002333865,0.0001085166,0.0006252754,0.000598926,0.000395672,0.00043696,0.0003021402,0.0000893375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008211565,"about_ca_system_score_gemma":0.0005726899,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00440566,"about_ca_topic_score_gemma":0.0008195377,"domain_scores_codex":[0.9965959,0.002031722,0.0003092469,0.0005216966,0.0001697785,0.0003716841],"domain_scores_gemma":[0.9972038,0.000992319,0.0002025567,0.0007127742,0.000690803,0.0001977598],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001549679,0.0002527837,0.01080859,0.00004343919,0.00009066409,0.000002510692,0.007946141,0.00002526457,0.002912102,0.779982,0.003333137,0.1945879],"study_design_scores_gemma":[0.004083289,0.000002815281,0.01613896,0.006278634,0.0003396925,0.000008283148,0.01121697,0.05748011,0.1262937,0.06870991,0.7081984,0.001249186],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.347702,0.004694785,0.1866325,0.1085055,0.001261681,0.0005613343,0.0001469715,0.0001137774,0.3503815],"genre_scores_gemma":[0.8651347,0.0006295153,0.006627485,0.0001633065,0.00006715664,0.00001529748,0.00007712607,0.00001569441,0.1272698],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7112721,"threshold_uncertainty_score":0.9517223,"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."}}