Thomas Bloom erdosproblems.com O website hospeda quase mil perguntas que se originaram, ou foram comunicadas por Paul erdős, bem como o standing atual dessas perguntas (sobre um terço atualmente resolvido). O website agora tem alguns anos e tem adicionado constantemente recursos, os mais recentes dos quais tem sido um Fórum de Discussão para cada pergunta particular person. Por exemplo, uma discussão que tive com Stijn Cambie e Vjeko Kovac em Um desses problemas Recentemente, levou a ser resolvido (e até formalizado em Lean!).
Um website significativamente mais antigo é o Enciclopédia on-line de sequências inteiras (OEIS)que registra centenas de milhares de seqüências inteiras que têm algum matemático encontrou em algum momento. É um recurso altamente útil, permitindo que os pesquisadores descubram a literatura relevante para um determinado problema, desde que possam calcular o suficiente de alguma sequência inteira que é “canonicamente” ligada ao problema que eles podem procurá -lo nos OEIs.
Uma grande fração de problemas na página da internet do problema do ERDOS envolve (explícita ou implicitamente) algum tipo de sequência inteira – normalmente o maior ou menor tamanho de alguns 
Thomas Bloom e eu estamos propondo um projeto de crowdsourcing para calcular sistematicamente as centenas de sequências associadas aos problemas de ERDOS e verifique-os contra os OEIs. Nós criamos um Repositório do GitHub coordenar esse processo; Como subproduto, esse repositório também estará rastreando outras estatísticas relevantes sobre o website do problema do ERDOS, como o standing atual de formalizar as declarações desses problemas no Repositório formal de conjecturas.
A principal característica do nosso repositório é um mesa grande registrando o standing atual de cada problema de ERDOS. Por exemplo, Problema de Erdos #3 Atualmente, está listado como aberto e, além disso, possui o standing de ligação com os OEIs listados como “possível”. Isso significa que existem uma ou mais seqüências anexadas a esse problema que * pode * já estar no OEIS, ou seria adequado para submissão aos OEIs. Especificamente, se alguém lê o comentário para esse problemaencontra -se menção das funções 
Estabelecemos as coisas para que novas contribuições (como a adição de um número de OEIS à tabela) possam ser feitas por uma solicitação de tração do GitHub, especificamente para modificar Este arquivo YAML. Como alternativa, pode -se criar um problema do Github para essas alterações ou simplesmente deixar um comentário na página apropriada do fórum do ERDOS Downside ou aqui neste weblog.
Muitas das seqüências não exigem treinamento matemático avançado para calcular e, portanto, esperamos que este seja um bom projeto de “matemática cidadã” que possa trazer a comunidade mais ampla de matemática-adjacentes para contribuir com problemas de matemática em nível de pesquisa, fornecendo dados experimentais e localizando potencialmente referências ou conexões relevantes que, de outra forma, seriam ignoradas. Isso também pode ser um caso de uso para a assistência de IA na matemática através da geração de código para calcular as seqüências em questão, embora, é claro, alguém sempre se mantenha atento aos possíveis bugs ou alucinações em qualquer código gerado pela AI e encontre maneiras de verificar independentemente a saída. (Mas se a sequência gerada pela IA levar a uma correspondência com uma sequência existente nos OEIs que é claramente relevante para o problema, a tarefa foi realizada com sucesso e nenhuma saída de IA precisa ser diretamente incorporada ao banco de dados nesses casos.)
Este é um projeto experimental, e podemos precisar ajustar o fluxo de trabalho à medida que o projeto progride, mas esperamos que ele seja bem -sucedido e leve a um progresso adicional em alguma fração desses problemas. A seção de comentários deste weblog pode ser usada como um fórum de discussão geral para o projeto, enquanto a página de problemas do Github e as páginas do fórum erdosproblems.com podem ser usadas para discussões mais especializadas sobre problemas específicos.
