Grant Sanderson YouTube
The last IMO problem AI could not solve
Nothing else here says anything this post says yet. Try AI, or search the site for it.