OpenAI destina US$ 5 milhões para ajudar matemáticos a compreender provas recentes geradas por IA
A Simons Foundation lança uma iniciativa de US$ 15 milhões, parcialmente financiada pela OpenAI, para ajudar matemáticos a avaliar resultados recentes de IA e criar padrões para o uso de IA em matemática.
A OpenAI destina US$ 5 milhões para ajudar matemáticos a compreender provas matemáticas recentes geradas com modelos de IA.
A Simons Foundation, que antes apoiou o projeto Lean, está lançando uma iniciativa para ajudar matemáticos a compreender e avaliar os resultados recentes obtidos com IA, dominar novas ferramentas e desenvolver padrões comuns para o uso de IA em matemática.
O orçamento total da iniciativa é de US$ 15 milhões. A OpenAI está contribuindo com US$ 5 milhões, enquanto a Anthropic também deve financiar parte do esforço. Ambas as empresas estão fornecendo aos pesquisadores ferramentas e recursos computacionais. Os recursos serão destinados principalmente a conferências, workshops e financiamento de pesquisas.
Por que isso importa
AnáliseIsso é importante porque a IA já produz resultados matemáticos complexos, e padrões e ferramentas compartilhados podem determinar como a ciência verificará e aceitará essas provas.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores