paulsimon

457 posts

paulsimon

paulsimon

@paulsimon

Palo Alto , CA เข้าร่วม Kasım 2007
80 กำลังติดตาม64 ผู้ติดตาม
ทวีตที่ปักหมุด
paulsimon
paulsimon@paulsimon·
Weekend light show in Qingdao, China
English
1
0
3
0
paulsimon รีทวีตแล้ว
0x796F
0x796F@0x796F·
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
0x796F tweet media
English
22
12
155
15.4K
paulsimon รีทวีตแล้ว
0x796F
0x796F@0x796F·
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)
English
22
73
575
323.5K
paulsimon รีทวีตแล้ว
Min Choi
Min Choi@minchoi·
It's over Robot hand can now achieve beyond human speed and precision 🤯
English
226
484
3.4K
334K
paulsimon รีทวีตแล้ว
Axiom
Axiom@axiommathai·
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.
The TWIML AI Podcast@twimlai

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

English
1
4
27
4.6K
paulsimon รีทวีตแล้ว
Mario Nawfal
Mario Nawfal@MarioNawfal·
🇨🇳 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
English
2.2K
12.7K
66.3K
7.2M
paulsimon
paulsimon@paulsimon·
@NBCNews Glad someone is fighting global warming for humanity 🌟
English
0
0
0
28
NBC News
NBC News@NBCNews·
Chinese Premier Li Qiang announced the start of construction on what will be the world’s largest hydropower dam, located on the eastern rim of the Tibetan plateau and estimated to cost around $170 billion, the official Xinhua news agency said. nbcnews.com/world/asia/chi…
English
23
21
43
29.2K
paulsimon
paulsimon@paulsimon·
@htTweets Great for the highest goal to fight global warming 😁
English
0
0
0
37
Hindustan Times
Hindustan Times@htTweets·
China has begun construction of a massive hydropower project on the Yarlung Tsangpo river in southeastern Tibet, which flows into India as the Brahmaputra. More details 🔗 hindustantimes.com/world-news/chi…
Hindustan Times tweet media
English
6
2
19
3.1K
paulsimon รีทวีตแล้ว
Elon Musk
Elon Musk@elonmusk·
Slim Beautiful Bill for the win 🥇
English
8.7K
10.8K
203.8K
46.4M
paulsimon รีทวีตแล้ว
Carl Zha
Carl Zha@CarlZha·
Currently Chinese travelers in Pakistan:
English
314
4.7K
25.9K
1.1M
paulsimon รีทวีตแล้ว
khaled mahmoued
khaled mahmoued@khaledmahmoued1·
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.
khaled mahmoued tweet mediakhaled mahmoued tweet media
English
193
287
978
339.2K
paulsimon รีทวีตแล้ว
Natie🇨🇳🇷🇺🇵🇸
Natie🇨🇳🇷🇺🇵🇸@Natie2Natie·
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
English
42
207
931
60.3K
paulsimon รีทวีตแล้ว
GodParticles
GodParticles@G0DParticles·
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.
GodParticles tweet media
English
11
63
97
11.8K
paulsimon รีทวีตแล้ว
Derek Wang
Derek Wang@derekhxw·
Kamala Harris, the Insignificant Dem Pretending Significant.
Català
0
3
3
1.5K
paulsimon รีทวีตแล้ว
Orikron 🇵🇹 骆培思
The SWEDISH journalist who rammed into Wang Chuqin has been BANNED from the Paris Olympics by the organizing committee. Deserved!
English
1.4K
12.2K
112.5K
12.6M
paulsimon
paulsimon@paulsimon·
I could use your help reaching my fundraising goal. Every single share and donation makes a difference. gofund.me/391f2669
English
0
0
0
80