Good morning, it’s Thursday. NYC rolls out behavior-tracking AI in subways (no facial recognition—yet), a VC claims humans are obsolete, and a new model just dominated Putnam-level math with scary precision.

Plus, in today’s Forward Future Original, we examine how robots like Digit are transforming labor, safety, and AI ethics—from warehouses to elder care.

Read on!

📊 MARKET PULSE

Persona Hits $2B Valuation as AI Escalates Internet Bot Crisis

As AI-generated bots increasingly flood the internet, identity verification startup Persona has secured a $2 billion valuation, positioning itself at the forefront of combating this digital epidemic. Trusted by major platforms like OpenAI, LinkedIn, and Reddit, Persona's AI-driven solutions are crucial in distinguishing genuine users from sophisticated bots, addressing the growing challenge of automated online interactions. → Continue reading here.

🗞️ YOUR DAILY ROLLUP

Top Stories of the Day

🦙 Meta’s LlamaCon Takes Direct Aim at OpenAI
At its first LlamaCon, Meta launched a public AI chatbot and Llama API, doubling down on open model access while directly challenging OpenAI’s closed system strategy. The new tools expand the reach of Meta’s Llama models, positioning them as developer-friendly alternatives to GPT services. Zuckerberg called open source an “unstoppable force,” framing Meta’s AI strategy as both ideological and competitive.

🔥 DeepSeek-Prover Sets New Bar in AI Proofs
DeepSeek-Prover-V2 fuses step-by-step reasoning with Lean 4 proof generation, using reinforcement learning on subgoal chains built by DeepSeek-V3. The 671B-parameter model achieves 88.9% on miniF2F and cracks 49 PutnamBench problems. Its training includes cold-start synthetic proofs combining informal and formal logic. ProverBench spans AIME to advanced math topics.

🚀 Musk’s Grok 3.5 Generates Answers from Scratch
Elon Musk’s xAI is rolling out Grok 3.5 to SuperGrok beta users next week, boasting a major shift: responses no longer rely on internet sources. Instead, the model uses internal reasoning to generate answers on complex topics like rocket science. This approach, similar to DeepSeek’s, may reduce plagiarism risks but demands vast computing power. xAI is reportedly seeking major funding to scale.

🚗 Waymo Teams Up with Toyota on Self-Driving Tech
Waymo and Toyota are exploring a partnership to bring autonomous driving to personally owned vehicles—Waymo’s first major step beyond ride-hailing. The collaboration could also add Toyota cars to Waymo’s driverless fleet, signaling a broader strategy shift. If formalized, this deal would escalate the race for consumer-ready self-driving tech, putting new pressure on Tesla and others.

Enjoying our newsletter? Forward it to a colleague—
it’s one of the best ways to support us.

☝️ POWERED BY RECRAFT

How to Create Unique Visuals That Actually Match Your Brand

Recraft’s AI design platform empowers creatives to generate stunning visuals that stay perfectly on-brand. Their newest features – Infinite Style Library & Style Mixing – make brand consistency at scale easier than ever. Explore creative possibilities - Design exploration is only limited by your imagination and not your artistic skills, experience or time.

Try Recraft’s new Infinite Style Library & Style Mixing features and elevate your design workflow!

👾 FORWARD FUTURE ORIGINAL

Aligning the Steel: The New Ethics of Embodied AI

Noon Shift, Warehouse 74 Maria slips a fresh pair of steel-toe boots over aching feet, taps her ID badge, and eyes the newcomer at lane 3—a metal figure with turquoise panels and blinking status lights. "Digit," the floor lead calls it, "never needs a smoke break and lifts sixty-pound totes without a grunt."

Five minutes later, Maria’s handheld scanner beeps: shadow the robot, verify picks, record mis-grabs. Each time Digit pivots, she flinches, wondering whether its vision system really sees her. She likes the idea of fewer back strains. She dislikes the cold calculus that decides which jobs the machines absorb next. Ethics, for her, is the question whispered at the end of every shift: "Will Digit have my badge number tomorrow?" → Read the full article here.

👁️ SURVEILLANCE

New York Eyes AI Surveillance to Flag Subway Threats Before They Happen

The MTA is partnering with tech firms to test AI systems that scan live subway footage for suspicious behavior, aiming to alert police before a crime occurs. The initiative follows a year in which 10 people were murdered in NYC subways and public anxiety over random attacks remains high.

Crucially, officials say the system will flag behaviors, not identities—no facial recognition involved. But critics, including the NYCLU, warn of bias and overreach, calling it a “sweeping surveillance state” disguised as safety. → Read the full article here.

💼 WORKFORCE

VC Claims AI Is Already Replacing Workers—Experts Say Not So Fast

Venture capitalist Victor Lazarte says the quiet part loud: AI isn’t augmenting workers—it’s replacing them. Speaking on a tech podcast, the Benchmark partner claimed roles in law and HR are already being automated out of existence. But reality lags behind the bravado.

Legal professionals are pushing back against courtroom AI blunders, and AI-led hiring systems are riddled with bias and inefficiency, creating more chaos than clarity. As one expert put it, inevitability isn’t a license for reckless deployment. → Read the full article here.

🛰️ NEWS

What Else is Happening

🤖 JetBrains Drops Mellum Model: New 4B-parameter AI for code hits Hugging Face, but needs fine-tuning before it’s ready to deploy.

📈 Meta’s Llama Hits 1.2B Downloads: Its open AI models are spreading fast, with a billion users and thousands of spin-offs in the wild.

📟 AI Now Writes 30% of Microsoft Code: Nadella says AI excels at new code and may soon merge Word, Excel, and PowerPoint into one smart system.

🦾 Wikipedia Embraces AI—Gently: New tools will speed up edits and translations, but humans stay in charge of curating the world’s knowledge.

🗿 China Fires Back at Tariffs with Memes: Beijing invokes Korean War grit and AI-generated jabs to push back on Trump’s latest 145% tariff blitz.

📽️ VIDEO

Qwen3 Is a Fantastic Open-Source Model

Quen 3 is a powerful open-source AI rivaling Gemini 2.5 Pro, with hybrid reasoning modes, top-tier code benchmarks, and lightning-fast performance on local machines. Get the full scoop in Matt’s latest video! 👇

🧰 TOOLBOX

Smarter Surveys, Instant App Creation, and Effortless AI Design

👤 Duonut: AI-powered agent for dynamic, real-time surveys with smart follow-ups—ideal for market research and customer feedback.

📱 Rork: AI-powered tool that transforms text prompts into cross-platform mobile apps—ideal for rapid prototyping and MVPs.

🎨 Ideogram: AI-powered design tool for creating logos, posters, and t-shirts with advanced text rendering and image upload features.

That’s a Wrap!

🛰️ Want more Forward Future? Follow us on X for quick updates, subscribe to our YouTube for deep dives, or add us to your RSS Feed for seamless reading.

Thanks for reading today’s newsletter—see you next time!

The Forward Future Team
🧑‍🚀 🧑‍🚀 🧑‍🚀 🧑‍🚀