{"id":"W1482736558","doi":"10.1090/s0002-9939-05-07752-x","title":"The Lax conjecture is true","year":2005,"lang":"en","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Matrix Theory and Algorithms","field":"Computer Science","cited_by":105,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; University of Minnesota","keywords":"Conjecture; Lax pair; Counterexample; Class (philosophy); Generalization","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006380195,0.0001459081,0.0002446781,0.000007667318,0.0003486329,0.000147703,0.001859859,0.00003429739,0.00002311701],"category_scores_gemma":[0.0001296335,0.00007129782,0.0003468572,0.0004973458,0.0006731587,0.0001956724,0.00047548,0.0002289877,0.00003427402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003270758,"about_ca_system_score_gemma":0.00002529665,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002189133,"about_ca_topic_score_gemma":8.955602e-8,"domain_scores_codex":[0.9988053,0.00001132012,0.000269381,0.0002240802,0.0003872495,0.000302666],"domain_scores_gemma":[0.998913,0.0002842133,0.0003390542,0.0002927581,0.00009919734,0.00007173855],"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.000005409944,0.00008197367,0.00008396534,0.00006539072,0.00006887685,5.805909e-8,0.004519777,0.000002734452,0.001448592,0.9452274,0.02123994,0.02725586],"study_design_scores_gemma":[0.0003324127,0.0001318122,0.0004027044,0.00007711564,0.0000457688,0.00004667457,0.00186584,0.06249961,0.03709857,0.8571616,0.03996323,0.0003746272],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6544621,0.0005057441,0.09848411,0.1905413,0.0003298682,0.001383222,0.00001608968,0.0006824366,0.05359515],"genre_scores_gemma":[0.8530264,0.00007415503,0.1401374,0.004322408,0.0002592716,0.00003089439,7.122794e-8,0.00002086135,0.002128433],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1985644,"threshold_uncertainty_score":0.3456112,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006701122251497698,"score_gpt":0.2346975051072242,"score_spread":0.2279963828557265,"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."}}