Palo Alto , CA
Joined November 2007
Weekend light show in Qingdao, China
1
5
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.
304
1,511
253
8,074
1,703,179
优必选机器人人脸太真实了 #优必选 $9880.HK
303
605
328
5,343
1,429,985
When looking at changes in Silicon Valley from 360 degrees from HP garage years at ValleyOfIdeas.com , is mesmerizing.
5
Explore the innographic history of Silicon Valley innovation at ValleyOfIdeas.com. ValleyOfIdeas.com
19
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…
1
16
paulsimon retweeted
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
22
12
4
159
16,961
paulsimon retweeted
You can now train @physical_int style robots in 1 day for only $5k. Anvil’s devkits have all the hardware, software, controls, cameras, and more ready-to-go. (1/5)
31
78
23
740
1,270,584
paulsimon retweeted
It's over Robot hand can now achieve beyond human speed and precision 🤯
222
465
87
3,310
335,356
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
1
4
27
4,667
🇨🇳 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
2,140
12,230
1,253
65,163
7,286,764
Replying to @elonmusk
Working on it!! ⬆️🇺🇸 @Fwd_Party
771
269
69
9,521
1,170,737
paulsimon retweeted
Slim Beautiful Bill for the win 🥇
8,551
10,350
1,047
199,665
46,367,615
paulsimon retweeted
Just the passing grade needed to colonize Mars
Elon Musk: “Falcon 1 is about half a ton to orbit. Starship 3 will be 400 times more payload for less than the cost of a Falcon 1. These are unthinkable numbers. Nobody ever thought this was possible.”
3,963
5,873
247
43,297
17,443,071
paulsimon retweeted
Currently Chinese travelers in Pakistan:
310
4,505
204
25,230
1,127,990
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.
190
281
55
950
339,269
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
42
201
51
912
60,668
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.
11
60
14
95
11,803
paulsimon retweeted
Kamala Harris, the Insignificant Dem Pretending Significant.
3
1
3
1,461