Good morning! Huawei’s Smart Hanhan AI doll sold out in minutes, bringing AI into everyday life. AI also cracks a 30-year-old math puzzle, showing machines can now tackle superhuman reasoning tasks. Let’s dive in.

In todays email:

  • Daily Update

  • Social Media

  • Today’s Highlights

  • YouTube

  • Today Trend

  • Social Media

Read time: 6 min

The Agentic Era is here.

Salesforce Agentforce helps companies work faster and smarter by combining human expertise with powerful AI agents.

  • Automate tasks

  • Cut busywork

  • Give teams more time for what matters

With trusted data, built-in security, and ready-to-use skills, Agentforce makes scaling simple.

The future of efficient, intelligent work starts here.

DAILY UPDATE

Huawei’s tiny AI doll Smart Hanhan sells out in minutes.

Huawei has launched Smart Hanhan, a small AI doll made to give warm support and natural chats. The first batch sold out only a few minutes after sales opened.

  • The doll uses Huawei’s Xiaoyi large language model to talk in a natural and emotional way.

  • It reacts to touch with cute face changes and keeps a memory diary of chats on the phone.

  • It is small and light, has a 1800 mAh battery for long talks, and needs a phone running HarmonyOS 5.0 or newer.

This shows how AI is moving into everyday life as a simple tool for comfort and connection, not just work or entertainment.
Read more…

SOCIAL MEDIA

TODAY’S HIGHLIGHT

AI tool Aristotle cracks a tough math puzzle that stood for 30 years.

A new AI system from Harmonic solved a long open ErdΕ‘s problem in hours and backed it with a formal proof, showing a big shift in how hard math can be done.

β€’ Aristotle solved a form of ErdΕ‘s Problem 124 in six hours and checked the proof in Lean in one minute.
β€’ The result came from a beta update with stronger thinking tools and a clear step-by-step proof writer.
β€’ Harmonic’s founder said this marks the rise of vibe proving, where AI finds proofs and machines check them fast.

This pushes math toward superhuman reasoning, where hard proofs can be created and checked at scale. It also opens the door for more people to join advanced math, not just experts.
Read more…

YOUTUBE

TODAY TREND

CyberCut AI
AI video studio for viral social clips

Taskade Genesis
Build live apps with agents, memory and workflow automation

TwelveLabs Marengo 3.0
The most powerful embedding model for video understanding

Cocoon by Telegram
Confidential compute open network

Crow
Make your product AI-native via AI Copilot

SOCIAL MEDIA

That’s it for today!

Before you go we’d love to know what you thought of today's newsletter to help us improve the experience for you.

How was today’s email?

(Tell us what you liked or what could be better)

Login or Subscribe to participate

Keep Reading