Robotics

quick post describing the past 10 months of work at Yak Robotics Garage on our current Tumbller cryptobot setup with some future directions we are working on

quick post describing the past 10 months of work at Yak Robotics Garage on our current Tumbller cryptobot setup with some future directions we are working on


https://anurajrp.io/robotics/tumbller-cryptobot-architecture/

99.99% of people cannot comprehend how insane FrontierMath is.

The problems are crafted by Math profs and not in any training data.

Math legend Terry Tao said "These are extremely challenging. I think they will resist AIs for several years at least."

OpenAI o3 did 25% on THIS. https://t.co/Cur2uOKFVL

Deedy

Curious | building robots | https://anurajrp.io/about/

https://x.com/deedydas/status/1870286948235128939

Star Trek once again predicted correctly. 

Now I think this sort casual mathematician trying to solve problems like Fermat’s Last Theorem might happen 100 years earlier than in 24th century like shown in Star Trek

2/10  Existing math benchmarks like GSM8K and MATH are approaching saturation, with AI models scoring over 90%—partly due to data contamination. FrontierMath significantly raises the bar. Our problems often require hours or even days of effort from expert mathematicians. https://t.co/XxMFECfsp4

The Frontier Math benchmark is challenging for Fields Medalists.

The state of the art stood at 2% just 2 months ago.

It has now been shattered by o3. https://t.co/NFcpxACoYw

Balaji

Star Trek once again predicted correctly. 

Now I think this sort casual mathematician trying to solve problems like Fermat’s Last Theorem might happen 100 years earlier than in 24th century like shown in Star Trek

https://x.com/balajis/status/1870206318872801766

for context the actual proof by Andrew Wiles is around 130 pages

for context the actual proof by Andrew Wiles is around 130 pages 

https://en.m.wikipedia.org/wiki/Wiles%27s_proof_of_Fermat%27s_Last_Theorem

I had found it strange that Picard was trying to solve Fermat’s last theorem without being professional mathematician. 

But with the recent advances in AI, I think this will be common in 200 years

In Star Trek TNG S2:E12 Fermat’s last theorem is shown to be unsolved still in the 24th century. Interesting that this aired in 1988 which should have been the same time around which Andrew Wiles started working on its proof.

Anuraj R.

I had found it strange that Picard was trying to solve Fermat’s last theorem without being professional mathematician. 

But with the recent advances in AI, I think this will be common in 200 years 

https://x.com/anurajenp/status/1313918063289552896

how is this a problem? 

I thought LLMs are supposed to supercharge what you already know

It’s so funny to hear people say “I use chatGPT for everything” when everytime i’ve used it it says stuff like “Ingredients are an integral part of recipes”

A fundamental problem with modern LLMs is their usefulness is a direct function of your own intelligence and breadth of knowledge.

shako

how is this a problem? 

I thought LLMs are supposed to supercharge what you already know

https://x.com/shakoistslog/status/1870010176620958050

PhD in aviation ∩ climate science | Aviator, diver, Etherean, nexialist | Host of /diving /ethfinance /eth-staker /geopolitics /science /singapore /thomas

I don’t think the key size has changed since the 90s. I tried to buy a ESP32 with crypto accelerator from Digikey and it was stuck in customs and I had sign end user agreement that I am going to use the MCU for my smol toy, lol. Funny part is ESP32 is a chinese product.

Blogger at ribbonfarm.com, running summerofprotocols.com, host of /gloom ☀️

TIL a new phrase 🤣

 “motivation casino”

people are shoggoths too https://t.co/srhuY8An7V

🎅 CEO OF CHRISTMAS 🎄

hehe



https://x.com/mastertimblais/status/1869268642992722176

Are you smart enough to become a cook at ISRO? 🧠

This is a question paper from the exam you need to take to become a cook at ISRO's UR Rao Satellite Centre (URSC) at Bengaluru! 👨‍🍳

Credit: @TitaniumSV5 https://t.co/LOiAjBk46g

ISRO Spaceflight

🤣 , there is a second page

https://x.com/isrospaceflight/status/1868988387837006232

POV: You have to take an exam to become a cook at ISRO https://t.co/okzMwfn4Rn

SRI SAIDATTA

lol

https://x.com/nssdatta/status/1868975214899740948

frames-v2

I'm eth newbie..just learning
(working on @farcaster)

terminally.online

This is so funny. The internet is undefeated. $230k market cap on my meme. https://t.co/k85isaEcux

Styro Steve

https://x.com/stevestyro/status/1868487676057555324

summary_large_image

Someone started a Styro Steve memecoin. I’m crying. 

https://t.co/F2TL6DzYJr

already a meme coin 

https://x.com/stevestyro/status/1868461537150861695

styro steve is trying to get his hair back 🤣

Day one of collecting my girlfriend’s hair and put it on Styro Steve. https://t.co/UeNDSGqZtL

styro steve is trying to get his hair back 🤣

https://x.com/stevestyro/status/1868400470110421251

https://open.substack.com/pub/freaktakes/p/how-did-places-like-bell-labs-know

https://open.substack.com/pub/gurwinder/p/how-empathy-makes-us-cruel-and-crazy

I also suspect that just having very high IQ people together would not lead to productive research. 🧐

I've been gaming Gitcoin for years making  almost $200,000 in grants. 

They've never once caught my sybil attacks.

I dont even want the money, its fun and only takes a few minutes to exploit.