{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001106071,0.0008725147,0.0007869937,0.0008712262,0.001162108,0.001336426,0.0008984653,0.0007397817,0.01209749],"category_scores_gemma":[0.006563472,0.0003210056,0.001089375,0.000434943,0.00396117,0.003412607,0.002446102,0.00328462,0.001475575],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007071367,"about_ca_system_score_gemma":0.0004202362,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004816669,"about_ca_topic_score_gemma":0.0003900658,"domain_scores_codex":[0.9989962,0.0002160143,0.00004088291,0.0002329603,0.0003419909,0.0001719648],"domain_scores_gemma":[0.9980025,0.001031003,0.0002043503,0.0003745359,0.0002327359,0.0001549186],"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.00007843692,0.00002231341,0.0005592122,0.0001005604,0.00001383982,0.00027708,0.0003172112,0.002410533,0.005541084,0.9807094,0.001507656,0.008462649],"study_design_scores_gemma":[0.00002601478,0.000102192,0.0005433363,0.00003291158,0.00002756254,0.0005724579,0.0001392554,0.02127832,0.005871332,0.9619429,0.009412782,0.00005094088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2523064,0.001239912,0.6421778,0.001872039,0.00126433,0.00008953134,0.0001517169,0.0006631967,0.1002351],"genre_scores_gemma":[0.9220428,0.0005196231,0.06418061,0.0006199592,0.0003580626,0.00006600422,0.00009829987,0.0003546744,0.01175991],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01209749,"threshold_uncertainty_score":0.04047012,"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."}}