Ada Lovelace Day reúne mulheres na USP São Carlos para palestras e minicurso de cibersegurança

Leonardo de Moura desenvolve Lean, ferramenta usada pela OpenAI para verificar soluções matemáticas

Leonardo de Moura, matemático brasileiro, criou o Lean, um sistema de prova formal que permite a verificação automática de teoremas. A ferramenta foi empregada pela OpenAI para validar a solução de um dos problemas mais famosos da matemática. O Lean facilita a colaboração entre matemáticos e inteligência artificial, aumentando a confiabilidade das demonstrações. A iniciativa destaca a contribuição brasileira em tecnologia de verificação formal.

Por que importa: A ferramenta potencializa a precisão e a colaboração em pesquisas matemáticas avançadas.

Cães grandes envelhecem mais rápido que os pequenos, estudo americano indica

Um estudo com quase 900 cães de diversas raças mostrou que os cães de porte grande apresentam envelhecimento mais acelerado em comparação aos de porte pequeno. A pesquisa analisou variáveis como expectativa de vida, saúde e marcadores biológicos de envelhecimento. Os resultados sugerem que fatores genéticos e metabólicos associados ao tamanho podem influenciar a longevidade. O estudo pode oferecer insights sobre diferenças de longevidade em humanos.

Por que importa: Entender os mecanismos de envelhecimento em cães pode ajudar a compreender a variação de longevidade em humanos.

Suspeita de peste pneumônica na Rússia gera alerta para organizações de saúde

Um caso suspeito de peste pneumônica foi identificado na Rússia, levando autoridades de saúde a emitir alerta. A falta de dados confiáveis dificulta a avaliação da extensão do problema e dos riscos à saúde pública, segundo especialistas da USP. A situação exige monitoramento e investigação mais aprofundada para determinar a origem e a propagação da doença.

Por que importa: A ocorrência pode representar risco de disseminação de uma doença altamente contagiosa e letal.

Rios estão reclamando seus leitos na capital paulista

A professora Raquel Rolnik questiona a insistência na construção de vias sobre rios e defende uma mudança urgente na política de circulação da capital

Estudantes de Pedagogia organizam debates para o Mês da Consciência Negra

Os estudantes de Pedagogia da USP planejaram uma série de debates sobre educação antirracista, racialização e luta quilombola. As discussões ocorrerão em 23 de outubro, 11 e 19 de novembro, em sessões abertas à comunidade. O evento visa promover o diálogo e a conscientização sobre questões raciais no contexto acadêmico e social.

Por que importa: Contribui para a formação crítica de futuros profissionais de educação e amplia o debate público sobre racismo e direitos quilombolas.

Método inovador usa visão computacional para identificar texturas em imagens

Um sistema que analisa múltiplas regiões de uma imagem simultaneamente pode detectar variações de textura, identificando padrões em imagens médicas e de satélite. A abordagem permite reconhecer diferenças sutis de textura que podem passar despercebidas por métodos tradicionais. O algoritmo utiliza técnicas de visão computacional para segmentar e comparar regiões distintas da imagem.

Por que importa: A técnica pode melhorar diagnósticos médicos e análises geoespaciais ao detectar padrões de textura com maior precisão.