{"id":"W3179541516","doi":"10.3390/math9172162","title":"Algorithmic Determination of a Large Integer in the Two-Term Machin-like Formula for π","year":2021,"lang":"en","type":"article","venue":"Mathematics","topic":"Analytic Number Theory Research","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Thoth Technology (Canada); York University","funders":"National Research Council Canada; York University","keywords":"Term (time); Integer (computer science); Integer programming; Computer science; Mathematics; Applied mathematics; Algorithm; Physics; Programming language; Astronomy","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001070276,0.0004630044,0.0007077671,0.0007339885,0.0008052107,0.001201978,0.0009878728,0.0005619287,0.003627324],"category_scores_gemma":[0.003024515,0.0002030441,0.000599587,0.000472471,0.001296156,0.001467993,0.001278252,0.001309924,0.00111596],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006484434,"about_ca_system_score_gemma":0.0005224406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003101199,"about_ca_topic_score_gemma":0.0007995322,"domain_scores_codex":[0.9995658,0.000113946,0.00002780894,0.0000754932,0.0001495416,0.0000674625],"domain_scores_gemma":[0.9991508,0.0004782016,0.00005426627,0.0001390895,0.0001312593,0.00004636305],"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.0008468562,0.0001915194,0.005246469,0.0005207053,0.00006009071,0.0006366204,0.001327405,0.03418761,0.05134979,0.6700435,0.004646095,0.2309434],"study_design_scores_gemma":[0.0001023261,0.0003239566,0.001764903,0.00009977388,0.00006387105,0.0005008135,0.0003775651,0.3882946,0.05551683,0.5364191,0.01642743,0.0001088539],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1475005,0.0001365393,0.8377442,0.0003102585,0.0001008733,0.0001042044,0.00007727381,0.0008523237,0.01317374],"genre_scores_gemma":[0.4189842,0.00005672267,0.5765337,0.00009060671,0.00004008458,0.00008746264,0.0001102361,0.0002556732,0.003841335],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003627324,"threshold_uncertainty_score":0.01213461,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05915716180455452,"score_gpt":0.3989733245910456,"score_spread":0.3398161627864911,"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."}}