Mithil Vakde (@evilmathkid) 's Twitter Profile
Mithil Vakde

@evilmathkid

IITB grad '23.
Biohacked my way out of a disease
Currently building in AI.

ID: 1673952784985772032

linkhttp://mvakde.github.io calendar_today28-06-2023 07:13:55

30 Tweet

8 Takipçi

39 Takip Edilen

Mithil Vakde (@evilmathkid) 's Twitter Profile Photo

I showed these guys my code. And they made it unfathomably fast The entire benchmark now takes the same time as 1 task before shikhar @vitr

Mithil Vakde (@evilmathkid) 's Twitter Profile Photo

Damn I did not expect this this year. Noam Brown is an ablation study possible that 100% ensures these problems aren't in training distribution? Would help color expectations for scientific discovery I understand its hard with the vast training data but extraordinary claims

Siva (@ergodicthought) 's Twitter Profile Photo

🎯🎯🎯 It would be great to see AI papers adopt such rigor in benchmarking (and clearly explain the experiment setup!). Details are conveniently omitted for hype poasting, but **nuances really matter** for a clear understanding + honest discussion of capabilities.

Eyvind Niklasson (@eyvindn) 's Twitter Profile Photo

looking for a student researcher September-December. working w/ me+Mayalen Etcheverry, and alongside Alex Mordvintsev+Ettore Randazzo+others in Pi, on either NCAs or Computational Life. must be enrolled in a degree granting program. fill out the interest form by EOW: docs.google.com/forms/d/e/1FAI…

looking for a student researcher September-December. 

working w/ me+<a href="/mayalen_etc/">Mayalen Etcheverry</a>, and alongside <a href="/zzznah/">Alex Mordvintsev</a>+<a href="/RandazzoEttore/">Ettore Randazzo</a>+others in Pi, on either NCAs or Computational Life. 

must be enrolled in a degree granting program. fill out the interest form by EOW: docs.google.com/forms/d/e/1FAI…
Mithil Vakde (@evilmathkid) 's Twitter Profile Photo

I'm tired of seeing Hierarchical Reasoning Model on every X thread. I don't think its great on ARC Nobody else seems to have actually gone into the weeds so I'll do that over the next few days

Mithil Vakde (@evilmathkid) 's Twitter Profile Photo

In general, I don't think there are any big secrets in AI research today. The only one I'm absolutely clueless about is how OpenAI trained the IMO model if they didn't use any formal verification at all. Any guesses?

Mithil Vakde (@evilmathkid) 's Twitter Profile Photo

If all science/math problems become solvable by AI, what differences would remain between humans and AI? Building AI that can set its own goals seems to be the next obvious step. But how to do this? How do humans do this?