{"id":"W4364381024","doi":"10.1007/s00004-023-00714-3","title":"Visual Proofs in Mathematics and Architecture","year":2023,"lang":"en","type":"article","venue":"Nexus Network Journal","topic":"Architecture and Computational Design","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Fonds de recherche du Québec – Nature et technologies","keywords":"Mathematical proof; Representation (politics); Computer science; Mathematics; Algebra over a field; Calculus (dental); Pure mathematics; Geometry","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":[],"consensus_categories":[],"category_scores_codex":[0.0001992701,0.00009447324,0.0001151696,0.0001141063,0.00006919012,0.00004445391,0.00006599473,0.00004401561,0.00001379799],"category_scores_gemma":[0.000009848311,0.00008092621,0.00002649382,0.0003221949,0.00001434861,0.00003444944,0.00002116008,0.0003650194,0.00002161333],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001595769,"about_ca_system_score_gemma":0.00001406071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.215564e-7,"about_ca_topic_score_gemma":0.000004167094,"domain_scores_codex":[0.9993639,0.00001849533,0.0001707625,0.00006524051,0.000133843,0.0002477863],"domain_scores_gemma":[0.9997495,0.0001069463,0.00002050977,0.0000404044,0.00001072903,0.00007185891],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003615742,0.000005172025,0.0002092947,0.00002176173,0.00001535981,0.00006914586,0.0009318187,0.9257907,0.00004838567,0.0003577127,0.003004146,0.06954287],"study_design_scores_gemma":[0.0003332704,0.00006033868,0.006007708,0.0001193538,0.000008571084,0.0005156411,0.00009700886,0.7962878,0.00001353916,0.1933041,0.003073834,0.0001788605],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4219428,0.002490403,0.5607937,0.0005623193,0.001037056,0.0003290455,0.000002112452,0.0005941715,0.01224844],"genre_scores_gemma":[0.987785,0.00009914327,0.01089159,0.00008054817,0.0009884537,0.00000752435,0.000003389287,0.0000384092,0.0001059108],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5658423,"threshold_uncertainty_score":0.3300075,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007833330072756927,"score_gpt":0.2202191894983437,"score_spread":0.2123858594255867,"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."}}