{"id":"W3016082228","doi":"10.1017/fmp.2020.6","title":"THE DE BRUIJN–NEWMAN CONSTANT IS NON-NEGATIVE","year":2020,"lang":"en","type":"article","venue":"Forum of Mathematics Pi","topic":"advanced mathematical theories","field":"Mathematics","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Unicode; Mathematics; Constant (computer programming); Arithmetic; Combinatorics; Discrete mathematics; Philosophy; Computer science; Linguistics","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.0005633491,0.001455968,0.0005747002,0.001225509,0.001402364,0.002168248,0.001793637,0.001216624,0.02510957],"category_scores_gemma":[0.003524704,0.0004676765,0.0005058212,0.0006626153,0.003375703,0.003412931,0.001429955,0.00277272,0.008556162],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001489342,"about_ca_system_score_gemma":0.0009670196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009774845,"about_ca_topic_score_gemma":0.001078431,"domain_scores_codex":[0.9993029,0.0001109815,0.00002034492,0.0002228289,0.0001888085,0.0001541049],"domain_scores_gemma":[0.9990551,0.0003605762,0.0001062953,0.0001603423,0.0001751769,0.0001424767],"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.00006409444,0.00004488789,0.00007727684,0.0001252063,0.0000152105,0.0001443286,0.0001895795,0.001203717,0.008622586,0.9642018,0.008367376,0.01694384],"study_design_scores_gemma":[0.00004820322,0.00008763288,0.000808617,0.0001248421,0.00002147909,0.0009452942,0.0002164069,0.0200419,0.02108293,0.8677533,0.08870207,0.0001673523],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1167537,0.002271577,0.2199125,0.004084072,0.002763271,0.0001527474,0.0005973474,0.002021956,0.6514428],"genre_scores_gemma":[0.7176592,0.001715463,0.06443831,0.001475391,0.0005637815,0.0004215886,0.0003536193,0.002162125,0.2112105],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02510957,"threshold_uncertainty_score":0.08399987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04156441576213585,"score_gpt":0.319984823553643,"score_spread":0.2784204077915071,"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."}}