{"id":"W2603536051","doi":"10.7169/facm/1641","title":"An extension theorem for generating new families of non-congruent numbers","year":2017,"lang":"en","type":"article","venue":"Functiones et Approximatio Commentarii Mathematici","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia, Okanagan Campus","funders":"","keywords":"Congruence (geometry); Modulo; Mathematics; Extension (predicate logic); Combinatorics; Arithmetic; Prime number; Discrete mathematics; Congruence relation; Computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001259487,0.0003223122,0.0005172865,0.0001237606,0.000749227,0.0006009384,0.001510896,0.00009095523,0.00004712038],"category_scores_gemma":[0.0002612882,0.000280493,0.0001811051,0.0001202465,0.0001294879,0.001417483,0.0005323899,0.0001420309,0.00001435002],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001025377,"about_ca_system_score_gemma":0.0001191656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005749679,"about_ca_topic_score_gemma":0.0001726661,"domain_scores_codex":[0.9977666,0.0001059587,0.0007297472,0.0006054038,0.0004418913,0.0003504153],"domain_scores_gemma":[0.9960862,0.0004518452,0.000766558,0.002268899,0.0002762595,0.0001502034],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001575254,0.003341394,0.002675549,0.001674716,0.0004480901,0.000006052086,0.04193747,0.01122837,0.02507167,0.619543,0.01740716,0.276509],"study_design_scores_gemma":[0.001127443,0.0003351101,0.001581263,0.00009904919,0.00004305013,0.00001716994,0.0008400152,0.8798651,0.006454977,0.1088395,0.0004395018,0.0003578702],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08080841,0.00001699935,0.9137901,0.002102733,0.0008281014,0.001110797,0.000009085316,0.0001635908,0.00117017],"genre_scores_gemma":[0.3094732,0.000003965857,0.6895246,0.000523318,0.0001486686,0.0001252631,0.00003178558,0.0000267856,0.0001424612],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8686367,"threshold_uncertainty_score":0.9999647,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04459629901520137,"score_gpt":0.3210410955115746,"score_spread":0.2764447964963732,"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."}}