{"id":"W7108247988","doi":"","title":"A proof of irrationality of $π$ based on the nested radicals with roots of $2$","year":2025,"lang":"","type":"article","venue":"arXiv (Cornell University)","topic":"Advanced Mathematical Identities","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Research Council Canada; York University","keywords":"Lemma (botany); Integer (computer science); Irrationality; Computation; Sample (material); Zero (linguistics)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006315602,0.0002714104,0.0007603525,0.0002484015,0.0001021279,0.00001076897,0.0006082405,0.0001492561,0.0003538489],"category_scores_gemma":[0.001145236,0.0002091649,0.0002311908,0.001290835,0.001246536,0.0001787442,0.0001453773,0.0002286483,0.000003125592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009738165,"about_ca_system_score_gemma":0.0004386416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002918775,"about_ca_topic_score_gemma":0.00004640725,"domain_scores_codex":[0.9980733,0.0003250478,0.0007058395,0.0003871932,0.0002713053,0.0002372885],"domain_scores_gemma":[0.9939327,0.003386279,0.0009383025,0.001056939,0.0006172999,0.00006847847],"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.0005754167,0.001418854,0.001568835,0.00261971,0.0002772491,0.00001183647,0.0001853952,0.03049677,0.000590893,0.9621029,0.000127607,0.00002447609],"study_design_scores_gemma":[0.001950565,0.0005025175,0.00187914,0.002754853,0.0007828731,8.10783e-7,0.001375198,0.1359094,0.04004521,0.8145112,0.00002942612,0.000258831],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6762554,0.00004539276,0.3060296,0.0003641716,0.00005976742,0.00126224,0.00007549089,0.00002437828,0.01588352],"genre_scores_gemma":[0.9945563,0.000009209941,0.001330512,0.00003894797,0.000007030647,0.000001964118,0.000002727699,0.00001745205,0.004035864],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3183009,"threshold_uncertainty_score":0.8529498,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07987660945495378,"score_gpt":0.2230080909227468,"score_spread":0.1431314814677931,"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."}}