OpenAI Releases Findings on 377 Math Problems, Further Roiling Field

OpenAI released findings on 377 mathematical problems spanning algebra, number theory, theoretical computer science, mathematical logic, and topology, following its earlier claim of solving the Navier-Stokes equation, a Millennium Problem with a $1 million prize. The results used an unreleased advanced AI model and were reviewed using the Lean verification system, with average computation taking about three hours per solution. OpenAI said it incorporated feedback from an independent advisory board hosted by the Institute for Advanced Study in Princeton, N.

J., which includes Harvard mathematician Melanie Wood. The board urged transparency, calling for release of AI prompts and chains of thought, and criticized AI companies for testing proprietary models on unsolved problems. Despite this, OpenAI continues internal testing, with research lead Dan Roberts stating it helps build better tools.

NYU mathematician Tristan Buckmaster warned that AI may be completing proofs using mathematicians’ prior work, raising concerns about credit and originality in AI-assisted discovery.

أطلقت OpenAI نتائج حول 377 مشكلة رياضية تشمل الجبر، نظرية الأعداد، علوم الحاسوب النظرية، المنطق الرياضي والهندسة، following its earlier claim of solving the Navier-Stokes equation, a Millennium Problem with a $1 million prize. النتائج استخدمت نموذج AI غير منتشر متقدم وتم مراجعته باستخدام نظام التحقق Lean، مع وقت حساب متوسط يبلغ حوالي ثلاث ساعات لكل حل. قالت OpenAI إنها incorporated ملاحظات من مجلس استشاري مستقل مستقل من قبل معهد الدراسات المتقدمة في برينستون، N.J.، والذي يشمل mathematician Harvard Melanie Wood. دعا المجلس إلى الشفافية، طالباً إطلاق prompts AI و цепочек التفكير، وانتقد شركات AI لاختبار النماذج الخاصة بها على مشاكل غير محلولة. على الرغم من ذلك، تواصل OpenAI الاختبارات الداخلية، وقال باحث lead Dan Roberts إن ذلك يساعد في بناء أدوات أفضل. حذر mathematician NYU Tristan Buckmaster من أن AI قد تكون completing proofs باستخدام عمل mathematicians السابق، مما يثير مخاوف حول الائتمان والأصلية في الاكتشاف المعتمد على الذكاء الاصطناعي.

OpenAI জারি করেছেন 377 গাণিতিক সমস্যার সমাধান, যা বীজগণিত, সংখ্যা তত্ত্ব, তত্ত্ব কম্পিউটার বিজ্ঞান, গাণিতিক তর্ক এবং টপোলজি কভার করে, এর আগে এর দাবি ছিল Navier-Stokes সমীকরণ সমাধান করা, একটি মিলিনিয়াম সমস্যা যার পুরস্কার এক লক্ষ ডলার। ফলাফলটি একটি unreleased অডভান্সড AI মডেল ব্যবহার করে এবং Lean যাচাই সিস্টেম ব্যবহার করে পর্যালোচনা করা হয়েছে, প্রতিটি সমাধানের জন্য গড় গণনা সময় প্রায় তিন ঘণ্টা। OpenAI বলেছে যে তিনি Institute for Advanced Study, Princeton, N.J. দ্বারা হোস্ট করা একটি স্বাধীন পরামর্শ বোর্ড থেকে ফিডব্যাক গ্রহণ করেছেন, যাতে Harvard mathematician Melanie Wood অন্তর্ভুক্ত hain। বোর্ড派দর্শন দাবি করেছে, AI prompts এবং chains of thought ছেড়ে দিতে আহ্বান করা হয়েছে, এবং AI কোম্পানিগুলি unsolved problems পর proprietary models পরীক্ষা করার জন্য criticised হয়েছে। এর বাবजूद, OpenAI জারি interne testing, research lead Dan Roberts বলেছেন যে এটি বetakার টুলস বনামায়ন সাহায্য করে। NYU mathematician Tristan Buckmaster警告 rằng AI mathematician prior work ব্যবহার করে proofs সম্পন্ন হতে পারে, যা AI-sহাৰ্বাহগীয় discovery এ credit এবং originality সম্পর্কিত চিন্তা উত্থাপন করে।

OpenAI veröffentlichte Ergebnisse zu 377 mathematischen Problemen, die Algebra, Zahlentheorie, theoretische Informatik, mathematische Logik und Topologie umfassen, nachdem es zuvor behauptet hatte, die Navier-Stokes-Gleichung gelöst zu haben, ein Millennium-Problem mit einem Preis von 1 Million Dollar. Die Ergebnisse nutzten ein nicht veröffentlichtes fortschrittliches KI-Modell und wurden mit dem Lean-Überprüfungssystem geprüft, wobei durchschnittlich etwa drei Stunden Rechenzeit pro Lösung benötigt wurde. OpenAI sagte, es habe Feedback eines unabhängigen Beratungsgremiums integriert, das vom Institute for Advanced Study in Princeton, N.

J. veranstaltet wurde und den Mathematiker Harvard Melanie Wood umfasst. Der Rat forderte Transparenz, forderte die Veröffentlichung von KI-Prompts und Denkketten und kritisierte KI-Unternehmen, proprietäre Modelle in unlösbaren Problemen zu testen. Trotz dieser Punkte führt OpenAI weiterhin interne Tests durch, wobei Forschung führend Dan Roberts sagt, dass es hilft, bessere Werkzeuge zu bauen.

NYU-Mathematiker Tristan Buckmaster warnte, dass KI möglicherweise Beweise mit vorheriger Arbeit von Mathematikern vervollständigt, was Bedenken hinsichtlich Anerkennung und Originalität in der KI-assistierten Entdeckung aufwirft.

OpenAI lanzó hallazgos sobre 377 problemas matemáticos que abarcan álgebra, teoría de números, ciencias de la computación teórica, lógica matemática y topología, tras su afirmación anterior de resolver la ecuación de Navier-Stokes, un Problema de Milenio con un premio de un millón de dólares. Los resultados utilizaron un modelo de IA avanzado no lanzado y fueron revisados usando el sistema de verificación Lean, con un tiempo promedio de cálculo de aproximadamente tres horas por solución. OpenAI dijo que incorporó los comentarios de un consejo consultor independiente albergado por el Instituto para Estudios Avanzados en Princeton, N.

J., que incluye al matemático de Harvard Melanie Wood. El consejo instó a la transparencia, exigiendo el lanzamiento de prompts de IA y cadenas de pensamiento, y criticó a las empresas de IA por probar modelos propietarios en problemas sin resolver. A pesar de esto, OpenAI continúa pruebas internas, con el líder de investigación Dan Roberts afirmando que ayuda a construir mejores herramientas.

El matemático de NYU Tristan Buckmaster advirtió que la IA puede estar completando demostraciones usando el trabajo previo de los matemáticos, lo que genera preocupaciones sobre el crédito y la originalidad en el descubrimiento asistido por IA.

OpenAI a publié des résultats sur 377 problèmes de mathématiques couvrant l'algèbre, la théorie des nombres, l'informatique théorique, la logique mathématique et la topologie, suite à sa revendication précédente de résoudre l'équation de Navier-Stokes, un Problème de Millénaire doté d'un prix d'un million de dollars. Les résultats ont utilisé un modèle IA avancé non publié et ont été examinés à l'aide du système de vérification Lean, avec un temps de calcul moyen d'environ trois heures par solution. OpenAI a déclaré avoir incorporé des commentaires d'un conseil consultatif indépendant hébergé par l'Institut für Advanced Study à Princeton, N.

J., qui inclut le mathématicien Harvard Melanie Wood. Le conseil a appelé à la transparence, demandant la libération de prompts IA et de chaînes de pensée, et a critiqué les entreprises d'IA pour tester des modèles propriétaires sur des problèmes non résolus. Malgré cela, OpenAI continue ses tests internes, le chef de recherche Dan Roberts affirmant qu'il aide à construire de meilleurs outils.

Le mathématicien de NYU Tristan Buckmaster a mis en garde contre le fait que l'IA pourrait être en train de terminer des preuves en utilisant le travail antérieur des mathématiciens, soulevant des inquiétudes concernant le crédit et l'originalité dans la découverte assistée par IA.

OpenAI ने 377 गणितीय समस्याओं का समाधान जारी किया, जो बीजगणित, संख्या सिद्धांत, सिद्धांत कंप्यूटर विज्ञान, गणितीय तर्क और टोपोलॉजी को कवर करते हैं, इसके बाद इसके earlier दावे का दावा किया गया कि Navier-Stokes समीकरण को हल किया गया है, एक मिलेनियम समस्या जिसका इनाम एक मिलियन डॉलर है। परिणामों में एक unreleased एडवांस्ड AI मॉडल का उपयोग किया गया था और Lean सत्यापन प्रणाली का उपयोग करके समीक्षा की गई थी, प्रति समाधान औसतन लगभग तीन घंटे का कंप्यूटेशन समय लगा। OpenAI ने कहा कि इसने न्यू जर्सी के प्रिंसटन में Institute for Advanced Study द्वारा होस्ट की गई एक स्वतंत्र एडवाइजरी बोर्ड से फीडबैक incorporated किया है, जिसमें हार्वर्ड के गणितज्ञ Melanie Wood शामिल हैं। बोर्ड ने पारदर्शिता की मांग की, AI prompts और chains of thought जारी करने के लिए कहा, और AI कंपनियों की आलोचना की जो unsolved problems पर proprietary models का परीक्षण करती हैं। इसके बावजूद, OpenAI जारी है internal testing, research lead Dan Roberts का कहना है कि यह बेहतर tools बनाने में मदद करता है। NYU के गणितज्ञ Tristan Buckmaster ने चेतावनी दी है कि AI might be completing proofs using mathematicians’ prior work, जिससे AI-सहायता खोज में credit और originality के बारे में चिंताएं बढ़ती हैं।

OpenAI merilis temuan tentang 377 masalah matematika yang mencakup aljabar, teori bilangan, teori komputer teoritis, logika matematika dan topologi, setelah klaim sebelumnya memecahkan persamaan Navier-Stokes, masalah Milenium dengan hadiah 1 juta dolar. Hasilnya menggunakan model AI yang belum dirilis dan canggih, diverifikasi menggunakan sistem Lean, dengan waktu komputasi rata-rata sekitar tiga jam per solusi. OpenAI mengatakan telah merasuk umpan balik dari nelembaga nasihat mandiri yang dipimpin oleh Institute for Advanced Study di Princeton, N.

J., yang meliputi matematik Harvard Melanie Wood. Dewan tersebut mendorong transparansi, meminta rilis prompt AI dan rantai pemikiran, dan mengkritik perusahaan AI untuk menguji model proprietari pada masalah yang belum terpecahkan. Meskipun demikian, OpenAI terus melakukan pengujian internal, dengan research lead Dan Roberts mengatakan membantu membangun alat yang lebih baik.

Matematik NYU Tristan Buckmaster memperingatkan bahwa AI mungkin menggunakan kerja matematikawan sebelumnya untuk menyelesaikan bukti, yang memicu khawatir tentang kredit dan originalitas dalam discovery AI bantu.

OpenAIは377個の数学問題に関する調査結果を発表しました。これは代数、数論、理論コンピュータサイエンス、数学的論理、トポロジーをカバーしています。以前にNavier-Stokesの方程式を解いたと主張した後です。これは100万ドルの賞金がかかったミレニアム問題です。これらの結果は未公開の高度なAIモデルを使用し、Lean検証システムを使用してレビューされました。1つのソリューションあたりの平均計算時間は約3時間です。OpenAIは、Princeton, N.J.にある高等研究研究所によってホストされた独立諮問委員会からのフィードバックを取り入れたと述べました。委員会にはハーバードの数学者Melanie Woodが含まれています。委員会は透明性を求め、AIプロンプトと思考の連鎖の公開を求め、AI企業が未解決の問題でプロプライエタリーモデルをテストしていると批判しました。これにもかかわらず、OpenAIは内部テストを継続しており、研究主任のDan Robertsはより良いツールを構築するのに役立つと述べました。NYUの数学者Tristan Buckmasterは、AIが数学者の先行研究を使用して証明を完了している可能性があると警告し、AI支援発見におけるクレジットとオリジナリティに関する懸念を提起しました。

OpenAI lançou achados sobre 377 problemas matemáticos que abrangem álgebra, teoria dos números, ciência da computação teórica, lógica matemática e topologia, após sua afirmação anterior de resolver a equação de Navier-Stokes, um Problema do Milênio com um prêmio de 1 milhão de dólares. Os resultados usaram um modelo de IA avançado não lançado e foram revisados usando o sistema de verificação Lean, com tempo médio de cálculo de cerca de três horas por solução. OpenAI disse que incorporou feedback de um conselho consultivo independente sediado no Institute for Advanced Study em Princeton, N.

J., que inclui o matemático Harvard Melanie Wood. O conselho instou à transparência, chamando o lançamento de prompts e cadeias de pensamento de IA, e criticou empresas de IA por testar modelos proprietários em problemas não resolvidos. Apesar disso, OpenAI continua testes internos, com a pesquisadora responsável Dan Roberts afirmando que ajuda a construir melhores ferramentas.

O matemático da NYU, Tristan Buckmaster, avisou que a IA pode estar completando provas usando o trabalho anterior de matemáticos, levantando preocupações sobre crédito e originalidade na descoberta assistida por IA.

OpenAI опубликовал результаты по 377 математических задачам, охватывающим алгебру, теорию чисел, теоретическую информатику, математическую логику и топологию, following its earlier claim of solving the Navier-Stokes equation, a Millennium Problem with a $1 million prize. Результаты использовали unreleased advanced AI модель и проверялись с помощью системы проверки Lean, с средним временем вычисления около трех часов на решение. OpenAI сказал, что incorporating feedback from an independent advisory board hosted by the Institute for Advanced Study в Princetone, N.J., который включает в себя математика Harvard Melanie Wood. Совет призвал к прозрачности, требуя вывода prompts AI и цепочек мыслей, и критиковал AI компании за тестирование проприетарных моделей на нерешенных проблемах. Несмотря на это, OpenAI продолжает внутренние исследования, с research lead Dan Roberts утверждая, что это помогает строить лучшие инструменты. Математик NYU Tristan Buckmaster предупредил, что ИИ может быть completing proofs с использованием предыдущей работы математиков, вызывая опасения по поводу зачета и оригинальности в ИИ-помощном открытии.

OpenAI 发布了 377 个数学问题的解，涵盖代数、数论、理论计算机科学、数学逻辑和拓扑学，此前其声称求解了价值 100 万美元百万美元难题的 Navier-Stokes 方程。这些结果使用了一个尚未发布的高级 AI 模型，并使用 Lean 验证系统进行审查，每个解的平均计算时间约为三小时。OpenAI 表示，它整合了由新泽西州普林斯顿高等研究院主持的独立咨询委员会的反馈，该委员会包括哈佛数学家梅兰妮·伍德。该委员会敦促透明，呼吁发布 AI 提示和思维链，并批评 AI 公司在未解问题上测试专有模型。尽管存在这些担忧，OpenAI 仍在内部测试，研究负责人 Dan Roberts 表示这有助于构建更好的工具。纽约大学数学家 Tristan Buckmaster 警告称，AI 可能利用数学家的先前工作来完成证明，这引发了关于 AI 辅助发现中的信用和原创性的担忧。