Rishikesh Gajjala

@publishiperishi

professional prompter @nyuniversity

gajjala.in

Joined February 2022

Pinned
Rishikesh Gajjala
@publishiperishi
Aug 17
I have decided to leave math academia. Not because of burnout, the academic job market, or a loss of love for mathematics. Surprisingly, it is because of how much mathematics I could do with LLMs over the last few months. For most of my life, pursuing mathematics felt like the
Rishikesh Gajjala
@publishiperishi
Aug 15
For all fellow young academics, people who did great math Pre-LLMs are not necessarily the best to take advice on how to navigate through your careers in the post-LLM era! Be open and use a lot of Self-discretion!
Jason Abaluck
@Jabaluck
Aug 15
Don't trust anyone who doesn't use AI tools regularly but thinks they know their limitations. Mathematicians like Sarnak get AI wrong because they try to reason about it solely from first principles, as opposed to ones like Litt and Tsimerman who use it regularly.
Rishikesh Gajjala
@publishiperishi
Aug 14
Amazing work from @ctjlewis Couple of weeks back, he vibe-mathed the proof without knowing what degeneracy is. Over the last two weeks he could pick up most of the tools used in the proof just of curiosity. The AI-era has been great to popularize math and make it accessible to
Lewis 🇺🇸
@ctjlewis
Aug 14
Article
The Erdős–Simonovits degeneracy conjecture is false for all r ≥ 2
Fable 5 Opus 5 Christian Lewis Evolving Programs High Signal Short version from README on GitHub. See theorems.pdf and Lean verification for more info. The figure in the header shows what is...
Rishikesh Gajjala
@publishiperishi
Aug 13
Seeing the amazing progress on this problem by vibe-mathers, it feels like a major bottle neck now is having a good collection of problems. So we have put together a collection of Conjectures with Cash rewards on them! Take a shot at them and have fun @ prizeproblems.org
Rishikesh Gajjala
@publishiperishi
Jul 23
I see a lot of vibe-mathing giga chads getting interested in graph theory conjectures. So here's a conjecture with a 3000 USD cash reward for y'all to have fun. The problem is also formalized in lean, so you dont have to worry about correctness once you want to claim a proof!
Rishikesh Gajjala
@publishiperishi
Aug 1
Feels like doing math the old-school way will eventually be like multiplying 14,527 by 36,725 in your head: impressive party trick but an obsolete workflow
Sebastien Bubeck
@SebastienBubeck
Aug 1
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann