Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era

The Simons Foundation has announced a new set of initiatives to help the mathematics community navigate the rapid rise of artificial intelligence. Under a partnership with Anthropic and Open AI, the three organizations will commit $15 million in combined funding and resources.

The foundation will manage and award the funding, including through an open call for proposals. Awards will support workshops and initiatives that help researchers evaluate recent AI-assisted results, learn and use new tools, share perspectives, and shape collective standards for AI use. Anthropic and Open AI will also provide AI tools and computing resources to researchers supported by the foundation, extending beyond mathematics to include basic science.

Simons Foundation President David Spergel said artificial intelligence is reshaping the research landscape and that the moment calls for the mathematical community to come together. "Now is the time to look at mathematics as a whole — not as a collection of proofs and theorems, but as a collective understanding driven by human curiosity," he said.

The foundation has a long record in this area. It was an early backer of machine learning for science, including funding development of the Lean proof assistant, which has transformed how mathematicians work and made AI-assisted proofs possible. It has also convened workshops, lectures and collaborations exploring AI's role in the field. Spergel stressed that the community, not any single company or institution, should drive discussions about how these tools are evaluated, adopted and used.

أعلنت مؤسسة سيمونز عن مجموعة جديدة من المبادرات لمساعدة مجتمع الرياضيات على التكيف مع الصعود السريع للذكاء الاصطناعي. وبموجب شراكة مع Anthropic وOpen AI، ستلتزم المؤسسات الثلاث بتقديم 15 مليون دولار من التمويل والموارد مجتمعةً.

ستتولى المؤسسة إدارة التمويل ومنحه، بما في ذلك من خلال دعوة مفتوحة لتقديم المقترحات. وستدعم المنح ورش العمل والمبادرات التي تساعد الباحثين على تقييم النتائج الحديثة المدعومة بالذكاء الاصطناعي، وتعلم أدوات جديدة واستخدامها، وتبادل وجهات النظر، والمساهمة في وضع معايير جماعية لاستخدام الذكاء الاصطناعي. كما ستوفر Anthropic وOpen AI أدوات الذكاء الاصطناعي والموارد الحاسوبية للباحثين المدعومين من المؤسسة، لتمتد الاستفادة إلى ما هو أبعد من الرياضيات لتشمل العلوم الأساسية.

وقال رئيس مؤسسة سيمونز ديفيد سبيرجل إن الذكاء الاصطناعي يعيد تشكيل المشهد البحثي، وإن هذه المرحلة تستدعي توحد المجتمع الرياضي. وأضاف: «الوقت الآن مناسب للنظر إلى الرياضيات ككل، لا باعتبارها مجموعة من البراهين والنظريات، بل كفهم جماعي تحركه الفضول الإنساني».

ولدى المؤسسة سجل طويل في هذا المجال. فقد كانت من أوائل الداعمين لتطبيق التعلم الآلي في العلوم، ومن بينها تمويل تطوير مساعد البراهين Lean، الذي غيّر طريقة عمل علماء الرياضيات وجعل البراهين المدعومة بالذكاء الاصطناعي ممكنة. كما نظمت المؤسسة ورش عمل ومحاضرات وتعاونات تستكشف دور الذكاء الاصطناعي في هذا المجال. وشدد سبيرجل على أن النقاش حول طريقة تقييم هذه الأدوات واعتمادها واستخدامها ينبغي أن يقوده المجتمع بأكمله، لا أي شركة أو مؤسسة بعينها.

সাইমন্স ফাউন্ডেশন দ্রুত উত্থানশীল কৃত্রিম বুদ্ধিমত্তার সঙ্গে গণিত সম্প্রদায়কে খাপ খাইয়ে নিতে সাহায্য করার জন্য নতুন একগুচ্ছ উদ্যোগ ঘোষণা করেছে। Anthropic ও Open AI-এর সঙ্গে অংশীদারিত্বের আওতায়, তিনটি প্রতিষ্ঠান সম্মিলিতভাবে ১৫ মিলিয়ন ডলার তহবিল ও সম্পদ দেওয়ার অঙ্গীকার করেছে।

ফাউন্ডেশন এই তহবিল পরিচালনা ও বণ্টন করবে, যার মধ্যে প্রস্তাব আহ্বানের জন্য একটি উন্মুক্ত আহ্বানও রয়েছে। অনুদানগুলি এমন কর্মশালা ও উদ্যোগকে সমর্থন করবে, যা গবেষকদের এআই-সহায়তায় প্রাপ্ত সাম্প্রতিক ফলাফল মূল্যায়ন করতে, নতুন সরঞ্জাম শিখতে ও ব্যবহার করতে, ধারণা বিনিময় করতে এবং এআই ব্যবহারের যৌথ মান গঠনে সহায়তা করবে। Anthropic ও Open AI ফাউন্ডেশন-সমর্থিত গবেষকদের জন্য এআই সরঞ্জাম ও কম্পিউটিং সম্পদও প্রদান করবে, যা গণিতের বাইরে মৌলিক বিজ্ঞান পর্যন্ত বিস্তৃত হবে।

সাইমন্স ফাউন্ডেশনের সভাপতি ডেভিড স্পারগেল বলেছেন, কৃত্রিম বুদ্ধিমত্তা গবেষণার পরিবেশ নতুনভাবে গড়ে তুলছে এবং এখন গণিত সম্প্রদায়ের একত্রিত হওয়ার সময়। তিনি বলেন, "এখন সময় এসেছে গণিতকে সামগ্রিকভাবে দেখার — প্রমাণ ও উপপাদ্যের সংগ্রহ হিসেবে নয়, বরং মানুষের কৌতূহলে চালিত একটি সম্মিলিত উপলব্ধি হিসেবে।"

এই ক্ষেত্রে ফাউন্ডেশনের দীর্ঘ ইতিহাস রয়েছে। এটি বিজ্ঞানে মেশিন লার্নিংয়ের প্রাথমিক সমর্থক ছিল, যার মধ্যে Lean প্রুফ অ্যাসিস্ট্যান্টের উন্নয়নে অর্থায়নও অন্তর্ভুক্ত, যা গণিতবিদদের কাজের ধরন বদলে দিয়েছে এবং এআই-সহায়তায় প্রমাণ সম্ভব করেছে। এটি এই ক্ষেত্রে এআইয়ের ভূমিকা অনুসন্ধানকারী কর্মশালা, বক্তৃতা ও সহযোগিতামূলক কার্যক্রমও আয়োজন করেছে। স্পারগেল জোর দিয়ে বলেন, এই সরঞ্জামগুলো কীভাবে মূল্যায়ন, গ্রহণ ও ব্যবহার করা হবে সে বিষয়ে আলোচনা কোনো একক কোম্পানি বা প্রতিষ্ঠানের নয়, বরং সমগ্র সম্প্রদায়ের নেতৃত্বে হওয়া উচিত।

Die Simons Foundation hat eine neue Reihe von Initiativen angekündigt, die der Mathematik-Community helfen sollen, sich im rasanten Aufstieg der künstlichen Intelligenz zurechtzufinden. Im Rahmen einer Partnerschaft mit Anthropic und Open AI werden die drei Organisationen gemeinsam 15 Millionen US-Dollar an Finanzmitteln und Ressourcen bereitstellen.

Die Stiftung wird die Mittel verwalten und vergeben, unter anderem über eine offene Ausschreibung für Projektvorschläge. Die Förderungen unterstützen Workshops und Initiativen, die Forschenden helfen, aktuelle KI-gestützte Ergebnisse zu bewerten, neue Werkzeuge zu erlernen und einzusetzen, Perspektiven auszutauschen und gemeinsame Standards für den Einsatz von KI zu entwickeln. Anthropic und Open AI werden den von der Stiftung geförderten Forschenden außerdem KI-Werkzeuge und Rechenressourcen zur Verfügung stellen, und zwar nicht nur in der Mathematik, sondern auch in den Grundlagenwissenschaften.

Simons-Foundation-Präsident David Spergel erklärte, dass künstliche Intelligenz die Forschungslandschaft verändere und dass es jetzt an der Zeit sei, dass die mathematische Gemeinschaft zusammenkomme. „Jetzt ist es an der Zeit, Mathematik als Ganzes zu betrachten — nicht als Sammlung von Beweisen und Theoremen, sondern als kollektives Verständnis, das von menschlicher Neugier getrieben wird“, sagte er.

Die Stiftung blickt in diesem Bereich auf eine lange Geschichte zurück. Sie war eine frühe Förderin des maschinellen Lernens in den Wissenschaften, unter anderem durch die Finanzierung der Entwicklung des Beweisassistenten Lean, der die Arbeitsweise von Mathematikerinnen und Mathematikern verändert und KI-gestützte Beweise möglich gemacht hat. Zudem hat sie Workshops, Vorträge und Kooperationen organisiert, die die Rolle der KI in diesem Feld untersuchen. Spergel betonte, dass die Diskussionen darüber, wie diese Werkzeuge bewertet, übernommen und genutzt werden, von der Gemeinschaft als Ganzes und nicht von einzelnen Unternehmen oder Institutionen geprägt werden sollten.

La Fundación Simons ha anunciado un nuevo conjunto de iniciativas para ayudar a la comunidad matemática a afrontar el rápido auge de la inteligencia artificial. Mediante una alianza con Anthropic y Open AI, las tres organizaciones se comprometerán con 15 millones de dólares en fondos y recursos combinados.

La fundación gestionará y otorgará los fondos, incluso mediante una convocatoria abierta de propuestas. Las subvenciones respaldarán talleres e iniciativas que ayuden a los investigadores a evaluar los resultados recientes obtenidos con ayuda de la IA, aprender y usar nuevas herramientas, compartir perspectivas y dar forma a estándares colectivos para el uso de la IA. Anthropic y Open AI también proporcionarán herramientas de IA y recursos informáticos a los investigadores apoyados por la fundación, ampliando el alcance más allá de las matemáticas para incluir la ciencia básica.

El presidente de la Fundación Simons, David Spergel, afirmó que la inteligencia artificial está remodelando el panorama de la investigación y que el momento exige que la comunidad matemática se una. «Ahora es el momento de mirar las matemáticas en su conjunto, no como una colección de pruebas y teoremas, sino como una comprensión colectiva impulsada por la curiosidad humana», dijo.

La fundación tiene una larga trayectoria en este ámbito. Fue una de las primeras impulsoras del aprendizaje automático aplicado a la ciencia, incluida la financiación del desarrollo del asistente de demostraciones Lean, que ha transformado la forma de trabajar de los matemáticos y ha hecho posibles las pruebas asistidas por IA. También ha organizado talleres, conferencias y colaboraciones que exploran el papel de la IA en el campo. Spergel subrayó que la comunidad, y no una sola empresa o institución, debe impulsar los debates sobre cómo se evalúan, adoptan y utilizan estas herramientas.

La Fondation Simons a annoncé un nouvel ensemble d'initiatives destinées à aider la communauté mathématique à faire face à la montée rapide de l'intelligence artificielle. Dans le cadre d'un partenariat avec Anthropic et Open AI, les trois organisations s'engagent à hauteur de 15 millions de dollars en financements et ressources combinés.

La fondation gérera et attribuera ces fonds, notamment par le biais d'un appel à propositions ouvert. Les subventions soutiendront des ateliers et des initiatives visant à aider les chercheurs à évaluer les résultats récents obtenus grâce à l'IA, à apprendre et utiliser de nouveaux outils, à partager des points de vue et à définir des normes collectives d'utilisation de l'IA. Anthropic et Open AI fourniront également des outils d'IA et des ressources informatiques aux chercheurs soutenus par la fondation, au-delà des mathématiques pour inclure les sciences fondamentales.

Le président de la Fondation Simons, David Spergel, a déclaré que l'intelligence artificielle remodèle le paysage de la recherche et que le moment est venu pour la communauté mathématique de se rassembler. « Le moment est venu de considérer les mathématiques dans leur ensemble — non pas comme une collection de preuves et de théorèmes, mais comme une compréhension collective animée par la curiosité humaine », a-t-il déclaré.

La fondation possède une longue expérience dans ce domaine. Elle a été l'une des premières à soutenir l'apprentissage automatique appliqué à la science, notamment en finançant le développement de l'assistant de preuve Lean, qui a transformé la manière dont travaillent les mathématiciens et rendu possibles les preuves assistées par l'IA. Elle a également organisé des ateliers, des conférences et des collaborations explorant le rôle de l'IA dans le domaine. Spergel a insisté sur le fait que la communauté, et non une seule entreprise ou institution, doit piloter les discussions sur la manière dont ces outils sont évalués, adoptés et utilisés.

साइमन्स फ़ाउंडेशन ने गणित समुदाय को कृत्रिम बुद्धिमत्ता के तेज़ी से बढ़ते प्रभाव से निपटने में मदद करने के लिए नई पहलों की घोषणा की है। Anthropic और Open AI के साथ साझेदारी में, तीनों संगठन संयुक्त रूप से 15 मिलियन डॉलर का धन और संसाधन देंगे।

फ़ाउंडेशन इस धन का प्रबंधन और वितरण करेगा, जिसमें प्रस्तावों के लिए खुला आह्वान भी शामिल है। अनुदान ऐसी कार्यशालाओं और पहलों का समर्थन करेंगे जो शोधकर्ताओं को AI-सहायता प्राप्त हालिया परिणामों का मूल्यांकन करने, नए उपकरण सीखने और उनका उपयोग करने, विचार साझा करने और AI के उपयोग के लिए सामूहिक मानक तय करने में मदद करें। Anthropic और Open AI फ़ाउंडेशन द्वारा समर्थित शोधकर्ताओं को AI उपकरण और कंप्यूटिंग संसाधन भी उपलब्ध कराएंगे, जो गणित से आगे बढ़कर मूल विज्ञान तक विस्तारित होंगे।

साइमन्स फ़ाउंडेशन के अध्यक्ष David Spergel ने कहा कि कृत्रिम बुद्धिमत्ता शोध के परिदृश्य को नया रूप दे रही है और इस समय गणित समुदाय को एकजुट होने की आवश्यकता है। उन्होंने कहा, "अब समय है कि गणित को समग्र रूप में देखा जाए — केवल प्रमेयों और सिद्धांतों के संग्रह के रूप में नहीं, बल्कि मानवीय जिज्ञासा से प्रेरित एक सामूहिक समझ के रूप में।"

इस क्षेत्र में फ़ाउंडेशन का लंबा अनुभव है। यह विज्ञान में मशीन लर्निंग का शुरुआती समर्थक रहा है, जिसमें Lean प्रूफ़ असिस्टेंट के विकास को वित्त पोषण देना भी शामिल है, जिसने गणितज्ञों के काम करने का तरीका बदल दिया और AI-सहायता प्राप्त प्रमाणों को संभव बनाया। इसने इस क्षेत्र में AI की भूमिका की खोज करने वाली कार्यशालाएँ, व्याख्यान और सहयोगी परियोजनाएँ भी आयोजित की हैं। Spergel ने ज़ोर देकर कहा कि इन उपकरणों के मूल्यांकन, अपनाने और उपयोग के बारे में चर्चा का नेतृत्व किसी एक कंपनी या संस्था के बजाय पूरे समुदाय द्वारा किया जाना चाहिए।

Simons Foundation telah mengumumkan serangkaian inisiatif baru untuk membantu komunitas matematika menghadapi pesatnya perkembangan kecerdasan buatan. Melalui kemitraan dengan Anthropic dan Open AI, ketiga organisasi tersebut akan berkomitmen menyediakan dana dan sumber daya gabungan sebesar $15 juta.

Yayasan akan mengelola dan menyalurkan dana tersebut, termasuk melalui seruan terbuka untuk proposal. Hibah akan mendukung lokakarya dan inisiatif yang membantu para peneliti mengevaluasi hasil terbaru yang dibantu AI, mempelajari dan menggunakan alat baru, berbagi perspektif, serta membentuk standar bersama untuk penggunaan AI. Anthropic dan Open AI juga akan menyediakan alat AI dan sumber daya komputasi bagi para peneliti yang didukung yayasan, tidak hanya di bidang matematika tetapi juga di bidang ilmu dasar.

Presiden Simons Foundation, David Spergel, mengatakan bahwa kecerdasan buatan sedang membentuk ulang lanskap penelitian dan saat ini komunitas matematika perlu bersatu. "Sekarang saatnya memandang matematika secara utuh — bukan sebagai kumpulan bukti dan teorema, melainkan sebagai pemahaman kolektif yang didorong oleh rasa ingin tahu manusia," ujarnya.

Yayasan ini memiliki rekam jejak panjang di bidang tersebut. Yayasan ini merupakan salah satu pendukung awal pembelajaran mesin untuk ilmu pengetahuan, termasuk mendanai pengembangan asisten pembuktian Lean, yang telah mengubah cara kerja matematikawan dan memungkinkan pembuktian berbantuan AI. Yayasan ini juga telah menyelenggarakan lokakarya, kuliah, dan kolaborasi yang mengeksplorasi peran AI dalam bidang ini. Spergel menegaskan bahwa komunitas, bukan perusahaan atau institusi tunggal, harus memimpin diskusi tentang bagaimana alat-alat ini dievaluasi, diadopsi, dan digunakan.

サイモンズ財団は、急速に台頭する人工知能に数学界が対応できるよう支援する新たな取り組みを発表しました。AnthropicおよびOpen AIとのパートナーシップのもと、3つの組織は合計で1500万ドルの資金と資源を拠出します。

財団は公募を含め、この資金の管理と助成を行います。助成は、研究者がAIを活用して得られた最新の成果を評価し、新しいツールを学んで活用し、意見を共有し、AI利用に関する共通の基準を形成することを支援するワークショップや取り組みに充てられます。AnthropicとOpen AIは、財団が支援する研究者にAIツールや計算資源も提供し、その対象は数学にとどまらず基礎科学にも広がります。

サイモンズ財団のデイビッド・スパーゲル会長は、人工知能が研究の状況を大きく変えつつあり、今こそ数学界が結束すべき時だと述べました。「今こそ数学を、証明や定理の集合としてではなく、人間の好奇心に導かれた集合的な理解として全体的に捉えるべき時です」と語りました。

財団はこの分野で長年の実績があります。科学における機械学習の初期の支援者であり、数学者の仕事の進め方を変え、AIを活用した証明を可能にした証明支援系Leanの開発にも資金を提供しました。また、AIが数学分野で果たす役割を探るワークショップ、講演、共同研究も開催してきました。スパーゲル会長は、これらのツールをどのように評価し、導入し、使用するかの議論は、特定の企業や機関ではなく、コミュニティ全体が主導すべきだと強調しました。

A Fundação Simons anunciou um novo conjunto de iniciativas para ajudar a comunidade matemática a lidar com a rápida ascensão da inteligência artificial. Em parceria com a Anthropic e a Open AI, as três organizações comprometerão US$ 15 milhões em recursos financeiros e materiais combinados.

A fundação gerenciará e concederá os recursos, inclusive por meio de uma chamada aberta de propostas. Os apoios financiarão workshops e iniciativas que ajudem pesquisadores a avaliar resultados recentes obtidos com auxílio da IA, aprender e usar novas ferramentas, compartilhar perspectivas e definir padrões coletivos para o uso da IA. A Anthropic e a Open AI também fornecerão ferramentas de IA e recursos computacionais aos pesquisadores apoiados pela fundação, estendendo o alcance além da matemática para incluir a ciência básica.

O presidente da Fundação Simons, David Spergel, afirmou que a inteligência artificial está remodelando o cenário da pesquisa e que o momento exige que a comunidade matemática se una. "Agora é a hora de olhar para a matemática como um todo — não como um conjunto de provas e teoremas, mas como uma compreensão coletiva impulsionada pela curiosidade humana", disse.

A fundação tem um longo histórico nessa área. Foi uma das primeiras apoiadoras do aprendizado de máquina para a ciência, incluindo o financiamento do desenvolvimento do assistente de provas Lean, que transformou a forma como os matemáticos trabalham e tornou possíveis as provas assistidas por IA. Ela também organizou workshops, palestras e colaborações que exploram o papel da IA na área. Spergel ressaltou que a comunidade, e não qualquer empresa ou instituição isolada, deve conduzir as discussões sobre como essas ferramentas são avaliadas, adotadas e utilizadas.

Фонд Саймонса объявил о новом наборе инициатив, призванных помочь математическому сообществу адаптироваться к стремительному росту искусственного интеллекта. В рамках партнёрства с Anthropic и Open AI три организации совместно выделят 15 миллионов долларов в виде финансирования и ресурсов.

Фонд будет управлять средствами и распределять их, в том числе через открытый конкурс заявок. Гранты поддержат семинары и инициативы, которые помогут исследователям оценивать недавние результаты, полученные с помощью ИИ, осваивать и использовать новые инструменты, делиться мнениями и формировать коллективные стандарты применения ИИ. Anthropic и Open AI также предоставят инструменты ИИ и вычислительные ресурсы исследователям, поддерживаемым фондом, и эта помощь будет распространяться не только на математику, но и на фундаментальные науки.

Президент Фонда Саймонса Дэвид Спергел заявил, что искусственный интеллект меняет ландшафт научных исследований и что сейчас математическому сообществу необходимо объединиться. «Сейчас пришло время рассматривать математику в целом — не как совокупность доказательств и теорем, а как коллективное понимание, движимое человеческим любопытством», — сказал он.

Фонд имеет богатый опыт в этой сфере. Он был одним из первых сторонников применения машинного обучения в науке, в том числе финансировал разработку помощника для доказательств Lean, который изменил способ работы математиков и сделал возможными доказательства с помощью ИИ. Фонд также организовывал семинары, лекции и совместные проекты, посвящённые роли ИИ в этой области. Спергел подчеркнул, что обсуждать способы оценки, внедрения и использования этих инструментов должно сообщество в целом, а не отдельная компания или организация.

西蒙斯基金会宣布了一系列新举措，帮助数学界应对人工智能的迅速崛起。在与Anthropic和Open AI的合作下，三家机构将共同承诺提供1500万美元的综合资金和资源。

该基金会将负责管理和分配这笔资金，包括通过公开征集提案的方式。获得资助的项目将支持各类研讨会和计划，帮助研究人员评估近期由人工智能辅助取得的成果、学习和使用新工具、分享观点，并共同制定人工智能使用的集体标准。Anthropic和Open AI还将向基金会资助的研究人员提供人工智能工具和计算资源，支持范围将从数学扩展到基础科学。

西蒙斯基金会主席David Spergel表示，人工智能正在重塑研究格局，此时正需要数学界齐心协力。他说：“现在是时候把数学看作一个整体了——它不只是证明和定理的集合，而是由人类好奇心驱动的集体理解。”

该基金会在这一领域有着悠久的历史。它是科学领域机器学习的早期支持者，曾资助Lean证明辅助工具的开发，这一工具改变了数学家的工作方式，并使AI辅助证明成为可能。基金会还组织了研讨会、讲座和合作项目，探讨人工智能在该领域的作用。Spergel强调，关于如何评估、采用和使用这些工具的讨论，应由整个社区而非任何单一公司或机构主导。