Collection

AI in Science

Discover how artificial intelligence is expanding the possibilities of science and contributing to new discoveries. Explore AI applications in astronomy, space exploration, physics, chemistry, biology, scientific research, and the development of new technologies. A collection of news, accessible explanations, and research examples to understand how artificial intelligence helps scientists investigate phenomena, analyze information, and explore the great mysteries of the universe.

1 article
Cientistas utilizando inteligência artificial para analisar dados, estudar estruturas moleculares e explorar descobertas científicas em um laboratório moderno.
Cena conceitual de três folhas com fórmulas matemáticas riscadas com X vermelhos, diante de um notebook com indicadores verdes de verificação.
Innovation5 min read

OpenAI withdrew three AI math proofs: what does Lean actually guarantee?

Three AI-generated math manuscripts were withdrawn after a sign error. Understand the October 2026 corrections and what the Lean checker can and cannot establish.

Read article