Thatchaphol Saranurak
eigx.bsky.social
Assistant Professor at the University of Michigan. I design fast graph algorithms in dynamic/distributed/local settings. https://sites.google.com/site/thsaranurak/
👤 Joined on 16 November 2023
685
Followers
112
Following
53
Total Posts
📜 Kullanıcı Geçmişi
- 16 Kas 2023, 21:05
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@eigx.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
Some reflections on AI in math. I found it helpful to simply list out the various parts of what a mathematician does, why math is valuable, and where the funding comes from. From there, what happens if AI gets more capable? youtu.be/LKrwhjOI8Nc
Show Post
A bound smashing olympics leaderboard bigospeedrun.com
Show Post
Gotta watch out for those ‘high’ pedestrians
Show Post
Quick thought experiment: Imagine when OpenAI dropped their math results, all papers and proofs had all been entirely correct and neatly written up (by the AI). What would we have done then? Bowed?
Show Post
I am grumpy that they are setting all this up, but meanwhile last years STOC videos are still not posted anywhere. Taking a policing attitude to the concept of video instead of a communicative one
Show Post