واحدة من أكثر لحظاتي المفضلة في المقابلة: فلاد (@vladtenev) يكشف أخيرا عن موسيقاه الخاصة لبوتنام.. وكم يحب الرياضيات. "كأن الطفل تجاوز الوالد في القدرة الرياضية، ثم تصبح الأمور غريبة." ملاحظة: هل تعرف ما هو رقم إردوس-بيكون؟ . . . "كان [@HarmonicMath] نجم الشمال: هل يمكننا فعلا حل مسائل رياضية مهمة جدا مثل فرضية ريمان أو، كما تعلم، حدسية هودج؟ هناك مجموعة من مسائل الرياضيات التي كانت مفتوحة منذ مئات السنين تسمى مسائل جائزة الألفية، وتعتبر كبيرة جدا وصعبة وذات قيمة فعلية. لذا كان ذلك نوعا ما نجم الشمال. والسبب في رغبتنا في ذلك هو أنه إذا استطعنا حل تلك المشكلات، ربما كل شيء بعد الرياضيات — مثل الفيزياء النظرية — يصبح مفتوحا. لذا يمكنك أن تتخيل حل مسائل فيزيائية صعبة جدا. لا أعرف إذا كنت مهتما بهذا، لكنني كنت مهتما جدا. كنت أدرس الفيزياء. كيف يمكننا توحيد القوة القوية والضعيفة والكهرومغناطيسية مع الجاذبية؟ لذا الأمر أشبه بوجود قوى أربع. ثلاثة منها، لدينا نظرية حول كيفية نشأتها من قوة واحدة في الجزء المبكر من الكون، ثم لدينا فرضية أننا نستطيع توحيد هذه الثلاثة. الجاذبية تتناسب مع هذا أيضا، لكننا لا نعرف كيف تتناسب مع ذلك. وأعتقد أن هذا هو الكأس المقدسة في الفيزياء النظرية: كيف توحد الجاذبية مع القوى الثلاث الأخرى في نظرية لكل شيء. وفي الواقع، إذا استطعت حل ذلك، فهناك العديد من التطورات الهندسية المثيرة. اعتمادا على شكل تلك النظرية، يمكنك تخيل أشياء مثل السفر أسرع من الضوء، ويصبح الأمر جنونيا حقا. على أي حال، كان علينا التفكير في بعض المعالم القريبة المدى، لأننا لا يمكننا فقط متابعة فرضية ريمان أو توحيد كبير في اليوم الأول. بدأنا بحل مسائل رياضية تنافسية، وأصبحنا من أوائل النماذج الذين حصلوا فعليا على ميدالية ذهبية في الأولمبياد الدولي للرياضيات، وهو أصعب مسابقة رياضيات في العالم. وبعد ذلك، كان نموذجي الذهني: حسنا، سنطلق هذا المنتج وسنقوم بتسويقه، وربما نحن على بعد عام من حل مسائل رياضية غير محلولة. لأنه بدا أن الفجوة بين مسائل المنافسة الصعبة ومسائل الرياضيات غير المحلولة كانت كبيرة جدا جدا. لكن في نوفمبر، فقط في الشهر الماضي، أجرى أرسطو هذا التحليل. ساعد أرسطو أو حل 11 مشكلة إردوس. سأخبرك ما هي مشكلة إردوش. لذا كان بول إردوس يعتبر أكثر علماء الرياضيات إنتاجا. كان يتجول ويبقى مع أصدقائه لمدة أسبوعين في كل مرة. كان أصدقاؤه جميعهم رياضيين، وكان يساعدهم نوعا ما في حل مسائل الرياضيات. كان مثل بائع رياضيات متنقل، ولذلك أصبح غزير الإنتاج حقا. نشر آلاف الأوراق البحثية. في الواقع هناك رقم إردوس، وهو مشابه لرقم بيكون. هل سمعت عن أغنية بيكون؟ الأمر يتعلق بمقدار الدرجات التي تبعد فيها عن كيفن بيكون في فيلم. لذا إذا كنت في فيلم مع كيفن بيكون، رقم البيكون الخاص بك هو صفر. إذا كنت في فيلم مع شخص شارك في فيلم مع كيفن بيكون، فهو واحد. هناك رقم إردوس أيضا، وهو إذا شاركت في تأليف ورقة مع بول إردوس، فأنت صفر. وإذا شاركت في تأليف ورقة مع شخص شارك في تأليفه مع بول إردوس، فأنت واحد منهم. هناك حتى رقم إردوس–بيكون، حيث تجمع الاثنين. لذا هناك أشخاص شاركوا في تأليف ورقة بحثية مع بول إردوس وشاركوا في فيلم مع كيفن بيكون. شخص ما لديه رقم إردوس-بيكون ثلاثة لأنه كان في مطاردة النوايا الطيبة مع عالم رياضيات شارك في تأليف ورقة بحثية مع بول إردوس. على أي حال، هناك مشاكل إردوش. هناك حوالي 1,100 منها. حوالي نصفها لا تزال غير محلولة حتى اليوم، لذا نصفها مفتوح. والآن مع أرسطو، الناس يفعلون ذلك بشكل منهجي. هم يمررون عليها، وكان هناك واحدة حلها أرسطو بشكل مستقل تماما، ثم العديد من القضايا الأخرى حيث ساعد أرسطو في حلها أو تحويلها إلى لغة رياضية رسمية. لذا كان ذلك أسرع بكثير مما توقعت أن يستخدم الناس المنتج لتسريع الرياضيات. ثم في الواقع الأسبوع الماضي، أعلنا عن نتيجة رائعة جدا. هناك مسابقة رياضيات لويليام لويل. إذا شاهدت فيلم "عقل جميل"، فإنهم يذكرون هذه المسابقة في الرياضيات، لأن جون ناش، الحائز على جائزة نوبل، لم يحقق نتائج جيدة في بوتنام. لذا كان دائما يحمل ضغينة على كتفه، وكان يقول: "أوه، هذا الشخص ذكي جدا. لقد استقبلوا فريق بوتنام هذا العام وحققوا أداء رائعا." حسنا، أرسطو — وهو اسم نموذج الرياضيات الذي تبنيه الشركة بشكل مستهلك يمكن للناس استخدامه بحرية — أجاب على 10 من أصل 12 مسألة في بوتنام، وهو أكثر بكثير مما حصلت عليه في بوتنام. لدي (**كلمة نابضة - شاهد الفيديو**) في الواقع، لم أتحقق حتى. ربما حصلت على بعض النقاط، لكنني كنت أعلم أنني أديت بشكل سيء جدا لدرجة أنني لم أتحقق حتى من نتيجتي الآن. لكن نعم، كأن الطفل قد تفوق على الوالد في القدرة الرياضية، ثم تصبح الأمور غريبة." MO: "حسنا، هل سيحل هارمونيك مسألة السفر عبر الزمن؟" فلاد: "آمل ذلك. إذا كان هناك حل" حسنا، يمكنك أن تتخيل أن السفر إلى الأمام في الزمن أسهل بكثير، لأنك فقط تحتاج إلى تجميد نفسك. السفر إلى الوراء في الزمن قد ينتهك فعليا قوانين الفيزياء الأساسية. ممتع. نعم، إذا هذا أصعب. أعتقد أن السفر أسرع من الضوء أكثر قابلية للسير بطريقة ما، رغم أن ذلك صعب جدا وقد يكون مستحيلا."

شيء رائع حقا في الذكاء الاصطناعي الذاتي هو أننا نستطيع أن نكون واثقين جدا من صحة هذه البراهين المولدة. هذا مستوى من التحقق يفتقر إليه الكثير من الأعمال المكتوبة من قبل البشر والتي ستستفيد منه. شكرا جزيلا لنموذج أرسطو الرائع @HarmonicMath!