☕️ Pope Leo releases manifesto on AI

Hi there, this is your daily ☕️ Techpresso.

In today's Techpresso:

⛪ Pope Leo releases manifesto on AI

🔌 Huawei targets 1.4nm chips by 2031

🤖 China assigns digital IDs to humanoid robots

🎓 Google CEO Sundar Pichai responds to graduates booing AI

💵 Tether launches official stablecoin in Georgia

Plus: 🎁 9 other news you might like, 🧰 6 tools, and 📚 4 papers.

⛪ Pope Leo releases manifesto on AI LINK

Pope Leo XIV has issued his first encyclical, Magnifica Humanitas, a 42,300-word document on artificial intelligence that calls for regulation of the technology and a moral framework to protect humanity for generations to come.

The Pope urges readers to "disarm AI," which he defines as freeing technology from monopolistic control and opening it to debate, while also cautioning against deploying AI in warfare and the workplace.

He warns that AI's speed can weaken personal creativity and judgment, and that its imitation of human communication risks making users lose the desire to form genuine human connections with real people.

🔌 Huawei targets 1.4nm chips by 2031 LINK

Huawei will roll out its next-generation Kirin smartphone chips later this fall, featuring a new design framework called "LogicFolding" that the company developed without access to ASML's extreme ultraviolet lithography machines.

Instead of shrinking transistors further, LogicFolding stacks multiple layers of circuitry on a single chip and reorganizes how processing elements talk to each other, aiming for performance gains through better data flow.

Huawei says it has spent six years refining these techniques under US export controls and has mass-produced 381 chip models, targeting transistor densities comparable to a 1.4-nanometer process by 2031.

🤖 China assigns digital IDs to humanoid robots LINK

China has rolled out a national program that gives every humanoid robot made in the country a unique digital identity code, working like a citizen ID for two-legged machines that can walk and run.

Each code has four parts: a two-digit national code for tracking shipments, a four-digit manufacturer code, a six-digit product model code, and a 17-digit serial code identifying individual units from production to recycling.

More than 28,000 robots across 200 models have already received a digital ID before the public announcement, with the rules covering manufacturers, service providers, sellers, end users, and recycling facilities across the supply chain.

🎓 Google CEO Sundar Pichai responds to graduates booing AI LINK

Google CEO Sundar Pichai has responded to the wave of graduates booing AI at recent commencement ceremonies, saying on the Hard Fork podcast that even skeptical students will help shape the technology's future direction.

Pichai's remarks, made ahead of his own Stanford commencement speech, followed former Google CEO Eric Schmidt being loudly booed at the University of Arizona after he praised AI's potential and compared it to major industrial revolutions.

Pichai said anxiety about AI is "rightfully" growing, pointing to a workforce reshaped by automation, with Business Insider reporting unemployment among recent graduates has hit a four-year high as companies adopt more AI tools.

💵 Tether launches official stablecoin in Georgia LINK

Tether, the largest stablecoin issuer, said it will roll out GELT, a crypto token tied to the Georgian lari, with backing from Georgia's government as the country leans into digital assets.

Tether described GELT as a "digital representation of the Georgian lari" meant to support cross-border commerce, fintech, and digital payments, though details on its structure, rollout, and implementation are still to come.

The company credited the National Bank of Georgia's stablecoin rules for drawing it in, and noted Georgia, home to 3.7 million people, ranks among the world's top miners of cryptocurrency.

Other news you might like

• iOS 27 is tipped to get 3 big upgrades — here's what to expect at WWDCLINK

• 99% of CEOs Expect AI-Driven Layoffs in the Next Two YearsLINK

• Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollarsLINK

• Drone breaks world speed record with 453 mph in test runLINK

• California moves to exempt Linux from its upcoming age-verification law after backlash over forcing operating systems to collect users’ agesLINK

• George Hotz says coding agents will be "one of the most costly mistakes" in software developmentLINK

• AI models often give the right answers but point to the wrong sourcesLINK

🧰 Trending tools

Unabyss: automatically extracts and structures your personal context from daily apps, then shares it with any AI tool via MCP so you never repeat yourself.LINK

own.page: a link-in-bio tool that goes beyond basic link lists, letting you build a customizable personal hub with widgets, analytics, and audience growth features.LINK

Yansu: automatically detects repeated tasks across your files and workflows, then converts those patterns into apps and automations without any coding required.LINK

Supaboard 3.0: lets non-technical teams query 600+ data sources using plain English, delivering governed, business-logic-aware insights without SQL or analyst bottlenecks.LINK

tweet.md: converts X post URLs into clean Markdown instantly, making tweets easier to use in notes, research workflows, and LLM pipelines.LINK

Tiny CV: turns markdown into polished one-page resumes with PDF export, shareable links, role-specific versions, and built-in agent automation support.LINK

📚 Trending papers & reports

Lua's JIT compiler uses about seven times less energy and runs seven times faster than the standard Lua interpreter, nearly matching C's efficiency in both speed and power consumption.LINK

Doing mathematics means far more than solving problems, and this essay argues that how we communicate and find meaning in math matters just as much as whether AI can solve it.LINK

Agentic Context Description Language is a new standard for clearly describing how AI agent prompts are structured and change over time, replacing informal diagrams and code inspection with a precise, readable notation.LINK

AI-driven formal proof search autonomously solved 9 of 353 open Erdős math problems and proved 44 of 492 number sequence conjectures, showing AI can meaningfully advance real mathematical research.LINK

Want to get the latest news differently? Find us on:

See you tomorrow for a new dose of ☕️ Techpresso!