{"id":"W4416504281","doi":"10.48550/arxiv.2506.22614","title":"Computer-Assisted Proofs for Geometric Optimization: From Crystallization to Carbon Nanotubes","year":2025,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Carbon Nanotubes in Composites","field":"Materials Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Deutsche Forschungsgemeinschaft; Natural Sciences and Engineering Research Council of Canada; Westfälische Wilhelms-Universität Münster; McGill University","keywords":"Saddle point; Mathematical proof; Carbon nanotube; Computation; Lattice (music); Vacancy defect; Crystallization; Saddle; Energy minimization","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002865617,0.001091866,0.0009441287,0.001077566,0.001060886,0.001768111,0.002249568,0.00137709,0.006568872],"category_scores_gemma":[0.02128541,0.0006219439,0.001296708,0.000818972,0.004246907,0.003025352,0.003462891,0.002679326,0.001052553],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001559677,"about_ca_system_score_gemma":0.001905447,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001667735,"about_ca_topic_score_gemma":0.001583089,"domain_scores_codex":[0.9981414,0.0009281699,0.00007090177,0.0001409136,0.0006093504,0.0001092268],"domain_scores_gemma":[0.9904947,0.007167811,0.000507205,0.001011477,0.0006356657,0.000182949],"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.00004475216,0.00005294599,0.0002391877,0.0001317636,0.00002056532,0.0001266886,0.0001223529,0.2870501,0.001838573,0.6861112,0.001901752,0.02236026],"study_design_scores_gemma":[0.00003222645,0.00002613845,0.00004674869,0.00003025189,0.000005181198,0.00003926473,0.00002160233,0.5963526,0.001904928,0.3975767,0.003948008,0.00001629552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009310475,0.0001887692,0.982988,0.0005026278,0.00006664969,0.00006446277,0.00006745315,0.0004722875,0.006339213],"genre_scores_gemma":[0.2922109,0.0005237321,0.7023363,0.0002871346,0.0001401966,0.000358832,0.0002009746,0.0006769627,0.003264927],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006568872,"threshold_uncertainty_score":0.0219751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04781247934009714,"score_gpt":0.2053468263842876,"score_spread":0.1575343470441904,"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."}}