{"id":"W4416776317","doi":"10.20944/preprints202511.2194.v1","title":"A Proof of Irrationality of π Based on Nested Radicals with Roots of 2","year":2025,"lang":"","type":"preprint","venue":"Preprints.org","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":"Integer (computer science); Irrationality; Computation; Sample (material); Nested set model; Generalization","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00238995,0.0008572406,0.002962833,0.0005412057,0.00007986064,0.00001204683,0.001374637,0.0006629709,0.002252918],"category_scores_gemma":[0.007177519,0.0007893748,0.0006719319,0.0006413219,0.001380378,0.0001689868,0.001443503,0.001022885,0.00003443635],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003042622,"about_ca_system_score_gemma":0.00147684,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001023601,"about_ca_topic_score_gemma":0.00003284404,"domain_scores_codex":[0.9917106,0.000668525,0.003824853,0.001305892,0.001992759,0.000497347],"domain_scores_gemma":[0.9864214,0.003508519,0.004242861,0.003811203,0.00181369,0.0002023095],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.004164864,0.01945174,0.1463228,0.1470408,0.002900363,0.00002340026,0.004564189,0.06971364,0.02692007,0.57841,0.00004771335,0.0004404244],"study_design_scores_gemma":[0.001928868,0.000275404,0.03672632,0.01419976,0.0008132413,0.000003309253,0.0002937835,0.006826266,0.5103176,0.4279429,0.00004939108,0.0006230665],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.882828,0.00009076933,0.07047322,0.0003801592,0.0002628129,0.005297286,0.0005383784,0.0001023374,0.04002706],"genre_scores_gemma":[0.9744663,0.00002346376,0.02145236,0.00002950443,0.0000377434,0.0003651948,0.00004182415,0.00007018381,0.003513478],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4833976,"threshold_uncertainty_score":0.9994557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1523714541270004,"score_gpt":0.3972098345800599,"score_spread":0.2448383804530596,"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."}}