Nofilk (auto-discovered)

An engineer reports that AI is transforming the field of mathematics, with machine learning models now capable of discovering new theorems and proofs. The project demonstrates how neural networks can …