Today we look at how AI is helping lock down centuries of math knowledge so future students and researchers can trust it completely. We also check out a new music tool from a legendary instrument company and hear what real people are saying about how AI fits into everyday life. Plus we explore why teens are chatting with AI about feelings and what that means for staying safe.

The Big Story

Imagine a math problem so famous that people spent 350 years trying to prove it. That is Fermat’s Last Theorem, finally solved by a human mathematician in 1995. Now an AI called Claude has done something new: it turned that entire proof into a version a computer can check line by line, and it also proved thousands of other supporting ideas along the way.

Think of it like turning a long, handwritten recipe into a perfectly organized digital checklist that a robot can scan for any missing step or wrong measurement. The result is over 13 million lines of code and more than 29,000 extra theorems that had never been checked this way before.

This matters because math is the foundation for everything from video games to medical research. When proofs are this carefully verified, students and scientists can build new ideas on top without worrying that an old mistake will trip them up later. It also shows AI can act like a super-patient proofreader that never gets tired of checking tiny details.

For you, this could mean future textbooks or homework tools that come with machine-checked answers, making it easier to learn tough subjects. Careers in science, engineering, and even game design may start relying on these verified building blocks.

Right now you can’t run the full proof yourself, but you can explore smaller versions of the same idea. Go to the free Lean game website (lean-lang.org) and try the beginner tutorials that let you prove simple statements step by step, just like the AI did. It feels like solving a logic puzzle with instant feedback. Source: x.com

Explain Like I'm 14

You know how when you’re texting a friend, your phone sometimes guesses the next word before you finish typing? Now picture that same idea stretched across an entire math proof instead of just one sentence.

The AI doesn’t just guess random words. It has learned patterns from millions of previous proofs, so it can suggest the next logical step the way a friend who knows your texting style can finish your sentence. Each suggestion then gets checked against strict rules, like a teacher who refuses to accept any answer that skips a single step.

If the step passes every rule, the AI keeps going; if it fails, it backtracks and tries a different path, exactly like you might erase a wrong move in a strategy game and try again. Over millions of these tiny checks, the whole giant proof gets built and verified at the same time.

The surprising part is that the AI is also proving thousands of smaller facts it needs along the way, facts that had never been written down in this machine-checkable form before. So the final proof isn’t just one big answer — it’s an entire library of smaller, trustworthy facts that anyone can reuse later.

That’s why the result is so large: it’s not just solving one problem, it’s creating a verified map of all the side roads that lead to the answer.

Cool Stuff & Try This

Roland just added AI to music-making Roland, the company behind many famous keyboards and drum machines, released a new plug-in called Melody Flip. It gives you themed collections of musical ideas sorted by genre so you can start with a short phrase and let the AI suggest variations that fit your style.

Instead of typing a full song prompt, you pick a “palette” and the tool flips short musical ideas into new ones while keeping the same mood or rhythm. This is perfect if you already mess around with free digital audio workstations on your laptop or phone.

Anyone who likes making beats, writing songs, or even just exploring sounds should try it. If you have a DAW like GarageBand (free on Apple devices), you can load the plug-in and experiment right away.

Go to The Verge article link below, read the short description of the palettes, then open GarageBand, load a simple drum loop, and ask the tool to flip a two-bar melody into three new versions in the same style. See which one sparks your next idea. Source: theverge.com

People are noticing real life changes from using ChatGPT Some users report that treating ChatGPT like a “strategic life advisor” has helped them with relationships, money decisions, health habits, and even understanding their own behavior. They describe it as a always-available thinking partner rather than just a homework helper.

This feels different from the usual “ask it to write an essay” stories because the focus is on personal growth instead of quick answers. If you’re curious about using AI for more than school projects, this perspective is worth hearing.

You can try the same approach yourself: open any free ChatGPT or Gemini chat and ask, “Help me think through a small goal I have this month, like improving my sleep or saving money for a game.” Keep the conversation going over a few days and notice what changes. Source: reddit.com

Quick Bits

Teens are already talking to AI about feelings Many teenagers are turning to chatbots when they need someone to listen, especially late at night. The article shares practical tips for parents and teens on how to use these tools safely while still getting support. Source: goodmenproject.com

Most people’s feelings about AI are actually pretty mixed One longtime AI writer noticed that the same person can feel both excited to try new tools and worried about bigger impacts. Online arguments often make it sound like everyone is either all-in or totally against AI, but real conversations are more balanced. Source: x.com

💬 Reply to this email — Patrick reads every one.

Share: X · LinkedIn · WhatsApp

Forwarded this email? Subscribe here — it's free.