Tony Rose
@tonyrose023
Followers
3K
Following
17K
Media
818
Statuses
8K
Half Moon Bay CA | Builder Creator | co-founder @nexartis_
Joined June 2006
Interested in the emerging field of AI + Math and how this accelerates humanity on the exponential curve towards AGI?. Give @LynxRose1 a follow and subscribe to his substack. More will be revealed!🤓.
Can solving and/or formalizing new proofs become something AI gamifies?.Read my latest Substack article about the revolution that is taking place in mathematics as AI tools assist mathematicians in LEAN4.
0
0
8
RT @LynxRose1: Reasoning has been formalized in model theory. I predict that the next breakthroughs will be embedded formal verification wi….
0
2
0
RT @LynxRose1: We hold these truths to be self-evident. Read my latest Substack post to gain insight into the limits of model theory in th….
0
1
0
RT @AIandDesign: On Wednesday May 28 I will be hosting a 2-hour AI video beginner workshop at @ImagineAILive with @Kyrannio and @jerrod_lew….
0
9
0
0
1
0
RT @sleepinyourhat: 🕯️ Initiative: Be careful about telling Opus to ‘be bold’ or ‘take initiative’ when you’ve given it access to real-worl….
0
22
0
RT @DimaZeniuk: Elon Musk in the United States:. • Tesla’s HQ and factories.• SpaceX’s facilities and launch sites.• Starlink’s operations….
0
3K
0
I’m not sure what a LEAN solve-athon is - but some of you geniuses might - get in on the math fun! 👇.
Like if a 24 hour solve-athon for LEAN is a good idea!.
1
0
4
RT @LynxRose1: Amazing day today, when you write down everything you own you do yourself a service. From years of SL3 in the Marine Corps I….
0
1
0
Stablecoins + the agentic web 🚀🔥🚀.
We’re leading the seed round in @catena_labs because they’re building what our system needs: a new financial stack for AI agents to transact at machine speed. This is the beginning of a new era in computing. AI agents are becoming more than just tools that analyze data or
0
0
2
Dad pep talk for @LynxRose1 this morning . “The next 3 months are the biggest opportunity for a new mathematician in the history of math - help the world understand why and share your journey with us!”. We’re looking forward to your substack and tweets teaching us about LEAN and
2
2
16
RT @Scobleizer: Every once in a while I see something that I know will change our world deeply. @rahulsood showed me such a thing this mo….
0
19
0
RT @BLVCKLIGHTai: OK this is the one I've been waiting for. Veo3 Gorbo's Swim Hole test (the 4th fell into another dimension and failed)….
0
3
0
RT @natalialchemica: The countdown to Vegas begins! 🥳🍾🎉Tonight though, business trades as usual! 22:00 GMT See you all there 🎈🫶🏼🥰.
0
2
0
RT @BLVCKLIGHTai: Found this video on my phone after visiting the park last week??? Melissa's been missing for weeks and somehow recorded t….
0
7
0
Come join the fun!.
Abundance Wednesdayz
1
0
11
