Anastasia Kattoulas
WTM Ambassador, Google DSC Lead @ University of Warwick, Mathematics Undergraduate
Actions
Anastasia is a Japanese-Greek living in the UK. She is a final-year mathematics undergraduate at the University of Warwick, and she has a longstanding interest in AI, especially NLP. Her current research focuses on mathematical proof automation. In her free time, Anastasia is co-lead of the Google Student Developers’ Club at the University of Warwick, and an Ambassador for Google’s Women Techmakers. In these roles, Anastasia works closely with other organisations to host workshops and seminars. Helping more women become involved in technology is a key focus.
Links
Topics
Why Mathematical Proof Automation will shape AI – and humanity
In this talk, you’ll learn why mathematical proof automation matters for both technology and humanity.
Mathematical proof automation is critical to moving applications such as ChatGPT beyond synthesising large pools of data to produce fluently written commentaries that may – or may not – be “true”. Advances in mathematical proof automation can deliver a paradigm shift, turning applications such as ChatGPT into something much more valuable than handy tools for automating research, sales and marketing campaigns.
However, by making it possible for applications to distinguish between falsehoods and accurate depictions of reality, mathematical proof automation also has far-reaching implications for humankind: are machines on the cusp of becoming “smarter” than people?
Anastasia Kattoulas
WTM Ambassador, Google DSC Lead @ University of Warwick, Mathematics Undergraduate
Links
Actions
Please note that Sessionize is not responsible for the accuracy or validity of the data provided by speakers. If you suspect this profile to be fake or spam, please let us know.
Jump to top