HeadlinesBriefing favicon HeadlinesBriefing.com

AI गोलीय Hadwiger प्रमेय सिद्ध किया: गणित का भविष्य

Hacker News •
×

हुनान विश्वविद्यालय के Wang & Wu का नया प्रीप्रिंट OpenAI Codex की सहायता से 1974 से खुली गोलीय Hadwiger猜想 को सिद्ध करता है। लेखकों ने खुलासा किया कि AI ने प्रमेय के विवरण विकसित करने, अंतराल पहचानने, हस्तलिखित को व्यवस्थित करने और अंग्रेजी संपादित करने में मदद की, जबकि पूर्ण जिम्मेदारी ली। यह उसी सप्ताह Claude द्वारा लीन में फर्माट के अंतिम प्रमेय के औपचारिकन का अनुसरण करता है।

वह लेखक, जिसने स्नातकोत्तर में इस प्रमेय का प्रयास किया था, बताते हैं कि OpenAI की GPT-4 रिपोर्ट ने अनुमान लगाया कि गणितज्ञों के काम का 100% LLMs के संपर्क में है — लेखकों या कलाकारों से अधिक। AI के प्रभाव में देरी की वजह गणित का कम आर्थिक मूल्य और प्रशिक्षण डेटा हो सकती है।

इससे प्रश्न उठता है कि क्या शुद्ध गणित शास्त्रीय संगीत की तरह "संरक्षтория" मॉडल में बदल जाएगी — विश्वविद्यालयों के बाहर सीमित पेशेवर भूमिकाओं के साथ शैक्षणिक संस्थानों में संस्थागत। एक गणितीय संरक्षтория क्षेत्र को संरक्षित रख सकती है जब परिणाम बनाना आसान हो लेकिन उनके महत्व को समझना कठिन रहे। शुद्ध गणित पहले से ही इस संरक्षтория (एकेडमी) में मौजूद है, जहां परिणामों को कुछ ही लोग समझते हैं।

मुख्य संस्थाएं: कंपनियां: Open AI, हुनान विश्वविद्यालय | लोग: Wang, Wu, Claude Fable | स्थान: हुनान विश्वविद्यालय