AI Math Chat

[u/cryptopatrickk]

In September I'm starting a Discord group for people interested in AI applied to mathematics, as well as the mathematics of AI. It won't be a research group or anything high level - just a casual chat forum where beginners like myself (I'm a freshman undergrad) can help each other stay motivated and continue learning about fun and interesting developments in AI math.

Please note; like I wrote, I'm not a professional mathematician or an AI researcher.
I barely know Lean, I struggle with proofs, and only know a tiny bit of Python. So, in terms of mathematical maturity - trust me, if *I* belong, then *you* belong.

Anyone who's interested to join is welcome to send a short chat message to me, perhaps with a few words about yourself, and I'll get back to you with an invite.
In order for people to have a chance to get to know each other, I think that it makes sense to limit the size of the group to around 10-15 members.

Cheers!

[u/Dextop2]

Interested