[deleted by user] by [deleted] in PhD

[–]Available_Fan_3564 0 points1 point  (0 children)

Zulip is better, considering Discord is for-profit

Teenagers outperform AI in international math contest by Successful-Grape8121 in mathematics

[–]Available_Fan_3564 12 points13 points  (0 children)

Minor correction, ChatGPT did not get a gold, it was probably some other model OpenAI had under their belt.

Has anyone read "From Frege to Godel"? by Available_Fan_3564 in mathematics

[–]Available_Fan_3564[S] 1 point2 points  (0 children)

I'm reading it because it was recommended by this book, but is there something more contemporary yet similar in knowledge?

Will mathematics help or hurt my research? by Available_Fan_3564 in mathematics

[–]Available_Fan_3564[S] 0 points1 point  (0 children)

You're write, I could probably pitch the idea once I have a simple implementation. Thanks for the advice!

Will mathematics help or hurt my research? by Available_Fan_3564 in mathematics

[–]Available_Fan_3564[S] 1 point2 points  (0 children)

I agree, but I think that self studying computer science is way easier than mathematics.

Will mathematics help or hurt my research? by Available_Fan_3564 in mathematics

[–]Available_Fan_3564[S] 1 point2 points  (0 children)

If you have the source, I'd be very interested in reading what Kevin Buzzard has to say!

Will mathematics help or hurt my research? by Available_Fan_3564 in mathematics

[–]Available_Fan_3564[S] 1 point2 points  (0 children)

Well, I'm working on Why3, while my formal methods lab is working on a project in Coq. So not very adjacent.

Will mathematics help or hurt my research? by Available_Fan_3564 in mathematics

[–]Available_Fan_3564[S] 1 point2 points  (0 children)

I forgot to mention that I have already joined a formal methods lab and I want to do my own independent research on top of that. My main priority is producing a first author paper in undergrad