Future TechnologyFuture Technology
Lead story

Built with AI this week: a machine-checked maths proof, a tutor that makes you type, and more

Our weekly roundup of genuinely impressive things people made with AI, all credited and linked. This week, an algorithm with a formal proof no human ever read, and a backlash against letting AI do your thinking.

11 June 2026 · 2 min read
Latest newsAll stories →
Reviews and buying guides

The future, in 3 minutes a day.

The biggest tech story explained every morning, plus a Friday roundup. Read it before your coffee cools.

Free. No spam. Unsubscribe in one click.