A OpenAI publicou novos resultados envolvendo a resolução de problemas abertos no campo da matemática, alcançados por meio de um modelo de fronteira interno. Para assegurar a validade e a reprodutibilidade científica das descobertas, a organização disponibilizou publicamente no GitHub as formalizações de provas no assistente interativo Lean, permitindo a verificação rigorosa por pesquisadores e pela comunidade acadêmica.
← Todas as notícias
IA1 min de leituraPor Tiago Bona
OpenAI divulga progressos em problemas abertos de matemática com provas formais em Lean
Resultados obtidos por modelos internos de fronteira foram formalizados e compartilhados em repositório aberto.
O Radar na sua caixa de entrada
Uma seleção curta de tecnologia, negócios e inovação, com confirmação por e-mail.
Mais sobre IA
IA
Amazon Bedrock incorpora inferência entre regiões e modelos GPT-5.6 na AWS GovCloud
Recursos avançados de roteamento de inferência e APIs nativas chegam a ambientes governamentais em nuvem.
IA
OpenAI disponibiliza Daybreak Red para ciberdefesa no Amazon Bedrock
Modelo especializado em pesquisa autorizada de vulnerabilidades passa a operar em nuvem governamental com isolamento por hardware.
IA
OpenAI passa a respeitar sinal compartilhado em robots.txt para treinamento
Padrão unificado facilita o controle de webmasters sobre o uso de dados públicos no aprendizado de modelos.