{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001591983,0.0004954587,0.0004743286,0.0009563627,0.001100524,0.0009918124,0.0009148507,0.000473855,0.006100742],"category_scores_gemma":[0.00432509,0.0003188572,0.0008544002,0.0005667526,0.001288116,0.002465682,0.002111591,0.001516412,0.001055877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005838558,"about_ca_system_score_gemma":0.0004472299,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001829045,"about_ca_topic_score_gemma":0.0002030114,"domain_scores_codex":[0.9992717,0.0001216152,0.0000484128,0.0001845111,0.0002844321,0.00008933797],"domain_scores_gemma":[0.9981667,0.0009739948,0.0001197735,0.0003692059,0.0002307287,0.0001395807],"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.0003168923,0.0001091788,0.001469118,0.0002073545,0.00002609739,0.0005975179,0.0006575179,0.007386622,0.0269262,0.791257,0.003470298,0.1675762],"study_design_scores_gemma":[0.0001365098,0.0003954194,0.00121596,0.0001517883,0.00008257399,0.002663782,0.0002183188,0.08628184,0.05461077,0.7698337,0.08432459,0.00008482524],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06534918,0.0003464133,0.9163187,0.0003002201,0.0002859649,0.0001070703,0.00009087229,0.0005569269,0.01664475],"genre_scores_gemma":[0.485419,0.000690894,0.49323,0.000396403,0.0002935411,0.000390246,0.0003743069,0.0003503568,0.01885519],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006100742,"threshold_uncertainty_score":0.02040905,"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."}}