Mapping Mathematical Hardness: Machine-Assisted Conjecture Discovery and the Quantification of Non-Triviality
यह शोध पत्र ट्विन प्राइम (जुड़वां अभाज्य) वितरणों का पता लगाने के लिए हाइपोथीसीएक्स (HypothesiX) एजेंट का उपयोग करते हुए स्वचालित अनुमान खोज (कन्जेक्चर डिस्कवरी) के लिए एक मशीन-सहायता प्राप्त दृष्टिकोण प्रस्तुत करता है, साथ ही उत्पन्न अनुमानों की गैर-तुच्छता (नॉन-ट्रिवियलिटी) को मापने और ऑटोफॉर्मलाइज़र में सत्यापन त्रुटियों को स्थानीयकृत करने के लिए एक महलानोबिस दूरी-आधारित बेंचमार्क पेश करता है।