{"id":"W4401201099","doi":"10.48550/arxiv.2407.19026","title":"Optimizing the CGMS upper bound on Ramsey numbers","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Upper and lower bounds; Ramsey's theorem; Mathematics; Combinatorics; Computer science; Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003847475,0.0003769468,0.000369586,0.0001438573,0.0003040126,0.00005916386,0.0007612904,0.0004765122,0.0003171212],"category_scores_gemma":[0.0001314229,0.0003108335,0.0003400714,0.0002216316,0.0004337606,0.00006322769,0.001131549,0.001757561,0.0006877053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002176327,"about_ca_system_score_gemma":0.0001088531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000205815,"about_ca_topic_score_gemma":0.00003491027,"domain_scores_codex":[0.9983466,0.0002173044,0.0001976128,0.0007790574,0.00007870406,0.0003807649],"domain_scores_gemma":[0.9978257,0.0007828268,0.0001675507,0.001076503,0.00005394499,0.00009342543],"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.0001039077,0.00006288189,0.00004537705,0.0001268701,0.0002615724,0.0003404126,0.0009379089,0.02785461,0.000006314883,0.9678715,0.002286242,0.0001024111],"study_design_scores_gemma":[0.0002396873,0.0000314093,0.000009151379,0.0001967722,0.0002835152,0.00000943441,0.0008607947,0.006016712,0.00008599285,0.9893681,0.00254658,0.0003518753],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8256465,0.0003174221,0.02937046,0.0007595117,0.002616273,0.000737149,0.00005684547,0.0006178712,0.1398779],"genre_scores_gemma":[0.9695077,0.0001394837,0.0008048522,0.0002929491,0.0001776558,0.000002076411,0.00001171885,0.00006179887,0.02900174],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1438612,"threshold_uncertainty_score":0.9999344,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09960778220256139,"score_gpt":0.2437154164931668,"score_spread":0.1441076342906054,"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."}}