A Fundação Simons anunciou um novo conjunto de iniciativas para ajudar a comunidade matemática a navegar na rápida ascensão da inteligência artificial na área, apoiada por US$ 15 milhões em financiamento e recursos combinados da fundação, Anthropic e OpenAI.

A fundação irá gerir e conceder o financiamento, inclusive através de um convite aberto à apresentação de propostas, para apoiar workshops e iniciativas que ajudem os investigadores a avaliar resultados recentes assistidos por IA, aprender e utilizar novas ferramentas, partilhar perspetivas e moldar padrões coletivos sobre como a IA é utilizada na investigação matemática. Para mais contexto sobre esta história, confira nossa notícias de IA.

Ferramentas e computação além da matemática

Além do financiamento, a Anthropic e a OpenAI fornecerão ferramentas de IA e recursos computacionais para pesquisadores apoiados pela Simons Foundation. De acordo com o anúncio da fundação, esse apoio estende-se além da matemática para incluir a ciência básica de forma mais ampla – um canal invulgarmente direto entre laboratórios de IA de ponta e investigadores académicos em atividade.

O acordo é notável pela sua estrutura: em vez de os laboratórios definirem a agenda, a fundação controla a forma como o dinheiro é atribuído e o material de imprensa enfatiza que os prémios e recursos serão orientados para a comunidade.

Por que a matemática é a linha de frente

A matemática tornou-se um dos campos de testes mais importantes para a IA na ciência. A Simons Foundation foi uma das primeiras apoiadoras do aprendizado de máquina para a ciência, incluindo o financiamento do desenvolvimento do assistente de prova Lean, que remodelou a forma como os matemáticos formalizam o trabalho e tornou possíveis as provas assistidas por IA. À medida que os sistemas de IA contribuem cada vez mais para a descoberta matemática, a comunidade enfrenta um problema prático: como verificar, avaliar e confiar nos resultados produzidos com assistência substancial da máquina.

Esse problema de verificação é central para o que a nova iniciativa está financiando. Workshops e iniciativas destinadas a “avaliar resultados recentes assistidos por IA” reconhecem que o processo tradicional de revisão por pares não foi concebido para provas elaboradas com, ou em alguns casos, substancialmente produzidas por, sistemas de IA.

A Estrutura da Fundação: Comunidade em primeiro lugar

O presidente da Simons Foundation, David Spergel, enquadrou o esforço como um momento para a tomada de decisões coletivas. “À medida que a inteligência artificial remodela rapidamente o cenário da pesquisa, queremos ajudar a comunidade matemática a se unir e a traçar o melhor caminho a seguir”, disse Spergel no anúncio. “Agora é a hora de olhar para a matemática como um todo – não como uma coleção de provas e teoremas, mas como uma compreensão coletiva impulsionada pela curiosidade humana.”

Spergel foi explícito sobre quem deveria definir os termos da adoção. “A comunidade deveria conduzir discussões sobre como essas ferramentas são avaliadas, adotadas e usadas, e não uma única empresa ou instituição”, disse ele. "O objetivo do programa é apoiar a comunidade matemática."

A declaração parece um contraste deliberado com uma dinâmica familiar na adoção da IA: instituições individuais negociando acordos separados com fornecedores de modelos, com normas definidas por qualquer laboratório ou universidade que avance primeiro. Ao encaminhar o financiamento através de um convite aberto e ao enfatizar padrões colectivos, a fundação está a tentar estabelecer um ponto de coordenação para uma disciplina cujo resultado – provas – é invulgarmente verificável e, portanto, invulgarmente exposto a atalhos assistidos por IA.

Um modelo para outros campos

A iniciativa pode servir de modelo para além da matemática. Os campos científicos básicos enfrentam a mesma questão subjacente – como absorver ferramentas de IA sem ceder padrões aos fornecedores dessas ferramentas – e a estrutura da Fundação Simons, na qual uma filantropia neutra gere recursos doados por empresas concorrentes de IA, é uma das primeiras tentativas de resposta.

A história da fundação deu-lhe credibilidade para desempenhar esse papel: além do financiamento inicial do assistente de prova Lean, organizou workshops, palestras e colaborações explorando o papel da IA ​​na matemática. O novo compromisso de 15 milhões de dólares formaliza que a concentração do poder num programa financiado precisamente no momento em que os resultados assistidos pela IA estão a chegar mais rapidamente do que as normas da comunidade os conseguem absorver.

---

Fique à Frente da IA

As últimas notícias, análises e avanços em inteligência artificial — tudo em um só lugar.

Ler mais notícias de IA →