GlobalNotícias

← todas as notícias

Ciência

Claude Code formaliza prova do Último Teorema de Fermat

O algoritmo Claude Code, desenvolvido por pesquisadores da OpenAI, gerou uma prova formal do Último Teorema de Fermat em mais de 13 milhões de linhas de código. A prova foi verificada por máquinas, complementando a solução humana de Andrew Wiles. O trabalho demonstra a capacidade de sistemas de inteligência artificial em lidar com demonstrações matemáticas complexas. A iniciativa abre caminho para a verificação automática de teoremas em outras áreas da matemática.

Por que importa: Mostra que a IA pode contribuir para a validação de provas matemáticas de grande complexidade.

Leia nas fontes:

Super Interessante ↗

Leia também

Ciência

Instituto Clay propõe sete problemas do milênio com prêmio de um milhão de dólares

O Clay Mathematics Institute lançou uma lista de sete questões consideradas as mais difíceis da matemática contemporânea. Cada problema oferece um prêmio de um milhão de dólares ao primeiro matemático que o resolver. A iniciativa visa estimular avanços significativos em áreas fundamentais da ciência. Até o momento, nenhuma das questões foi solucionada.

Por que importa: Resolver esses problemas pode abrir novas fronteiras em matemática e ciência aplicada.

Fontes: Super Interessante
Ciência

Cinema da USP exibe filme sobre o impasse entre infância e vida adulta

O filme "Não Quero Ser Grande" está em cartaz no Cinema da USP até 20 de maio. A obra explora o processo de tornar-se adulto sob uma perspectiva não convencional e, por vezes, marginal. O espetáculo oferece uma reflexão sobre as transições da infância para a vida adulta.

Por que importa: Permite ao público universitário refletir sobre os desafios da maturidade em um contexto cultural contemporâneo.

Fontes: Jornal da USP
Ciência

Estudo da USP mostra que o racismo influencia escolhas de lazer de pessoas amarelas

Um estudo da Escola de Artes, Ciências e Humanidades da USP revelou que o racismo afeta as decisões de lazer de indivíduos de origem asiática no Brasil. Os participantes relataram que o preconceito os impede de frequentar determinados espaços culturais e de entretenimento. O relatório destaca que a exclusão ocorre tanto em locais públicos quanto em eventos privados, refletindo desigualdades sociais. O estudo aponta a necessidade de políticas públicas que garantam inclusão e diversidade no lazer.

Por que importa: O racismo no lazer evidencia desigualdades culturais que afetam a qualidade de vida e a participação social de comunidades asiáticas no Brasil.

Fontes: Jornal da USP
Ciência

IPq Portas Abertas reúne profissionais de saúde e público

O evento "IPq Portas Abertas" contou com a presença de especialistas em saúde mental que dialogaram com a comunidade sobre transtornos psiquiátricos e desafios atuais. A iniciativa buscou aproximar profissionais e população, promovendo troca de informações e esclarecimento de dúvidas. O encontro destacou a importância de discutir saúde mental de forma aberta e acessível.

Por que importa: A iniciativa contribui para a desestigmatização e melhor compreensão dos transtornos psiquiátricos na sociedade.

Fontes: Jornal da USP
Ciência

Surto de ciclosporíase nos EUA gera alerta sobre cadeias de abastecimento alimentar

Nos Estados Unidos, um aumento de casos de ciclosporíase, doença que pode ser grave e fatal em pessoas com condições de saúde preexistentes, levou autoridades a alertar sobre possíveis falhas nas cadeias de abastecimento alimentar. A doença, causada por fungos que contaminam alimentos, pode se espalhar rapidamente em ambientes com práticas inadequadas de higiene. Especialistas recomendam reforçar o controle de qualidade e a rastreabilidade dos produtos alimentícios.

Por que importa: O surto destaca a importância de monitorar a segurança alimentar para prevenir doenças graves e proteger a saúde pública.

Fontes: Jornal da USP
Ciência

Clarice Lispector destaca-se nas leituras recomendadas pela Fuvest

A Fuvest recomenda o romance de Clarice Lispector como leitura obrigatória para o concurso. O livro é apontado como um dos principais destaques do ano. A recomendação faz parte das orientações de preparação para o vestibular da USP. A escolha reflete a relevância da obra na literatura brasileira.

Por que importa: A recomendação influencia a preparação dos candidatos ao vestibular da USP.

Fontes: Jornal da USP