{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001408449,0.0009053766,0.0008231747,0.001028231,0.001013626,0.00153476,0.000940519,0.0006589479,0.0113103],"category_scores_gemma":[0.006936286,0.0003394019,0.001105429,0.0004813947,0.00366559,0.003247602,0.002406846,0.002845708,0.001384693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008889748,"about_ca_system_score_gemma":0.0005669711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005558186,"about_ca_topic_score_gemma":0.000410819,"domain_scores_codex":[0.9990061,0.000189961,0.00004871497,0.0002387913,0.0003408027,0.0001756573],"domain_scores_gemma":[0.9974805,0.001325999,0.0002640521,0.0004390423,0.0003305163,0.0001598321],"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.00006576475,0.00002178741,0.0006714031,0.0001024363,0.00001292383,0.0003653474,0.0004130597,0.002356225,0.005269827,0.9785008,0.001820062,0.01040031],"study_design_scores_gemma":[0.00002670504,0.00009355733,0.0006140349,0.00003886994,0.00002054655,0.0006491392,0.0001522701,0.0147247,0.006360033,0.9649653,0.01231558,0.00003914945],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2618051,0.001481748,0.6349242,0.002117085,0.001218521,0.00007881182,0.0001988264,0.0007945014,0.09738128],"genre_scores_gemma":[0.9046027,0.0006206161,0.07998098,0.0006739186,0.0003958545,0.00006329264,0.0001087534,0.0003452282,0.01320858],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0113103,"threshold_uncertainty_score":0.03783673,"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."}}