OpenAI published its Navier-Stokes paper and Lean proof code in a public repository

Artificial intelligence research, products, and impact across society.

The systematic study of the natural world through observation, experiment, and theory.