paulsimon retweeted
This isn't a real fish, it's a robot.
China has developed this bionic fish robot that swims like a real thing.
The "fish" can also monitor underwater surroundings in real time with its head-mounted sonar.
When looking at changes in Silicon Valley from 360 degrees from HP garage years at ValleyOfIdeas.com , is mesmerizing.
Explore the innographic history of Silicon Valley innovation at ValleyOfIdeas.com. ValleyOfIdeas.com
This app is genuine fun and useful - Real-time check of your workout/physical therapy/sport/dance app - it uses your phone's camera to follow along with your moves in real time and shows you how close your pose matches the dancer.
apps.apple.com/us/app/workou…
After 8 years of shipping hardware as a founder, I'm super excited to announce Anvil's next chapter!
Anvil Robotics has raised $6.5M led by hard-tech veterans Matter Venture Partners with participation from @humbavc, @vsodera , @spacecadet , @Position_VC
paulsimon retweeted
Hear our founder @CarinaLHong on the latest @TWIML podcast with @SamCharrington 🎙️on why Axiom is bullish on math 📐🚀
“Math and coding are the two biggest parts of the digital world. Coding is heavily invested in. Math is not.
Not because math isn’t trackable, but because math hasn’t been turned into a programming language yet.
There will be new markets and new use cases getting unlocked just because of this.”
This is the bet we’re making at Axiom: once math becomes machine-executable, AI stops imitating intelligence and starts creating knowledge.
Why build an AI mathematician? Because math is the last language machines don’t fully speak.
Join us in building formal math into the next frontier of AI.
In this episode, @CarinaLHong, founder and CEO of @axiommathai, joins us to discuss her work building an "AI Mathematician." Carina explains why this is a pivotal moment for AI in mathematics, citing a convergence of three key areas: the advanced reasoning capabilities of modern LLMs, the rise of formal proof languages like Lean, and breakthroughs in code generation. We explore the core technical challenges, including the massive data gap between general-purpose code and formal math code, and the difficult problem of "autoformalization," or translating natural language proofs into a machine-verifiable format. Carina also shares Axiom's vision for a self-improving system that uses a self-play loop of conjecturing and proving to discover new mathematical knowledge. Finally, we discuss the broader applications of this technology in areas like formal verification for high-stakes software and hardware.
🗒️ For the full list of resources for this episode, visit the show notes page: twimlai.com/go/754.
📖 CHAPTERS
===============================
00:00 - Introduction
03:56 - Convergence of three fields for mathematics and AI
07:14 - Lean
13:06 - Autoformalization
15:51 - Lean data gap in autoformalization
16:49 - Reinforcement learning in formal math
19:18 - Seed-Prover and Aristotle models
20:17 - Axiom’s approach
23:05 - Self-play
26:45 - Self-supervised in math
29:02 - Axiom team
32:19 - Mathematical discovery
35:25 - Autoformalization of statements and proofs
39:29 - Autoformalization challenges
48:04 - Why math reasoning unlocks AI’s next frontier
51:55 - UI for mathematical reasoning
53:10 - Next steps
paulsimon retweeted
🇨🇳 CHINA BROKE THE SKY WITH 11,787 DRONES
Chongqing, China just pulled off the wildest drone light show the world has ever seen.
A jaw-dropping 11,787 drones lit up the night sky, setting a new Guinness World Record.
The drones moved together to create glowing shapes like a giant running kid and swirling clouds above tall buildings.
It looked more like a Pixar dream than something real.
Fireworks could never.
Source: @MarchUnofficial
paulsimon retweeted
The reputation of the French-made #Rafale fighter jets has taken a serious hit and become the subject of negative publicity after #Pakistan successfully shot down three of them, belonging to #India, in one go during military confrontations between the two countries in recent hours.
These are verified and documented visuals showing the wreckage of the aircraft, which costs between $150 million and $285 million each, depending on specifications such as armament, training, maintenance, and logistical support.
paulsimon retweeted
From the floating peaks of Zhangjiajie to the 🌈 hills of Zhangye Danxia, add in the otherworldly Huanglong Pools, the surreal Stone Forest of Kunming, and the futuristic skyline of Shanghai—you’ve got a country that’s showing off. 😍🚄✈️ #ChinaTravel #TravelGoals #ExploreChina
paulsimon retweeted
California is burning, and at the heart of this story are Stewart and Lynda Resnick, billionaires who own The Wonderful Company (Fiji Water, POM Wonderful, and Wonderful Pistachios).
The Resnicks wield unprecedented control over California's water supply, a resource that belongs to the people, not billionaires. And yet, their water-intensive crops (almonds, pistachios, and citrus fruits) flourish even during the state's worst droughts, while communities struggle to keep taps running.
Here's how they rob California of its water:
The Kern Water Bank: A Public Resource Turned Private Wealth
In a move that can only be described as a heist, the Resnicks acquired control of the Kern Water Bank, an underground reservoir, one of California's most valuable water resources. Once a public asset, it's now privately managed by the Resnicks, who decide who gets water and when.
Water-Intensive Crops in a Drought-Stricken State
California's almond industry alone guzzles about 10% of the state's agricultural water. Add to that pistachios, citrus, and bottled water production like Fiji. The Resnicks' crops thrive while rivers run dry and small farmers are driven out of business.
Political Power and Policy Manipulation
Through massive political donations, they've gained outsized influence over California's water policies, ensuring that their empire continues to grow, even as the state suffers.
Greenwashing Their Way to Goodwill
The Wonderful Company has invested heavily in philanthropy and sustainability campaigns. They mask their environmental destruction through "green" initiatives and donations.
No individual or corporation should have the power to control a resource as vital as water. It's a public good, essential for life, and yet the Resnicks have turned it into a private commodity, prioritizing profit over people and the environment.
The Resnicks have turned a life-sustaining resource into a private profit machine, choking the state's rivers, draining its reservoirs, and prioritizing their crops over communities.
California's water belongs to its people, not billionaires. No family should have to choose between clean drinking water and letting pistachios flourish in the desert. No corporation should hold the key to a state's survival.




















