Pesquisa
Axiom Math verifica formalmente o Stacks Project e aposta na checagem contra o 'lixo' gerado por IA
Há 8 d • 4 min de leitura
Categoria
matemática
Pesquisa
OpenAI anuncia avanços em matemática e física, mas acesso seletivo à prova irrita pesquisadores
Há 17 d • 6 min de leitura
Pesquisa
OpenAI anuncia descobertas em matemática, computação e física e testa verificação externa
Há 18 d • 5 min de leitura
Pesquisa
China monta rede de 1.000 matemáticos para IA enquanto Ocidente teme dependência de provas automáticas
Há 30 d • 4 min de leitura
Pesquisa
OpenAI publica 719 provas matemáticas, mas a validação humana vira o novo gargalo
Há 34 d • 5 min de leitura
Pesquisa
OpenAI publica mais de 700 provas e mergulha a matemática em choque e incerteza
Há 34 d • 6 min de leitura
Pesquisa
OpenAI e o Mathocalypse: boicote expõe a crise de verificação na matemática
Há 35 d • 7 min de leitura
Pesquisa
OpenAI publica 372 resultados matemáticos de IA no GitHub e limita o papel dos matemáticos à divulgação
Há 37 d • 5 min de leitura
Empresas
OpenAI cria conselho de matemática com voz, mas sem poder de frear pesquisa
Há 52 d • 4 min de leitura
Pesquisa
OpenAI anuncia 100 problemas matemáticos resolvidos e conselho que não decide o ritmo da pesquisa
Há 52 d • 5 min de leitura
Pesquisa
OpenAI avança sobre a conjectura de Hodge — e a comunidade matemática reage com fúria
Há 56 d • 3 min de leitura
Pesquisa
25 medalhistas Fields veem 'desalinhamento severo' entre IA e matemática
Há 62 d • 4 min de leitura
Empresas
OpenAI perde patrocínio no Caltech e enfrenta carta de 25 medalhistas Fields
Há 62 d • 4 min de leitura
Pesquisa
Instituto quer provar segurança de IA como criptógrafos provam códigos, mas ainda falta definir 'seguro'
Há 63 d • 3 min de leitura
Modelos
GPT-6 Astra resolve 106 problemas abertos de matemática — e OpenAI diz que não focou nisso
Há 64 d • 5 min de leitura
Pesquisa
OpenAI diz ter resolvido problema do milênio com 10 mil agentes — e créditos viram disputa
Há 64 d • 6 min de leitura