The Oxford Invariants

Join us in L1 tonight at 6pm for a talk from Prof. Kevin Buzzard! The talk will be accessible to a mathematics undergraduate and will assume no background in computer science.

Abstract:
Fermat's Last Theorem was proved in the 1990s by Wiles and Taylor/Wiles. Many humans have read and understood the various parts of the proof, although the number of humans who understand all of the details of everything involved is small. I'll talk about an ongoing project of mine, whose goal is to teach the proof to a computer.

It's the coldest month of the year, and we want to give you a little treat.

The Invariants is buying you hot chocolate at Knoops (OX1 3DH) this Thursday. Drop by before 3pm 🍃

The event description from Jane Street:

Come by to learn how to play our new game, MEGAGEM! We'll also talk about opportunities at Jane Street, and of course, you can grab some food and swag and meet some Streeters!

We hope to meet intellectually curious problem solvers - you don't need experience in finance to work at Jane Street.

Please submit this form (https://forms.gle/mrsALyrLiKtXXyHi9) by Tuesday 28th January 2025 if you're interested in attending. We will confirm attendees via email by Tuesday 28th January.

This event is exclusively for members of the Invariants Society.

Are you excited for Hilary Term? The Invariants committee sure are! There will be maths problems to solve, there will be friends made along the way, and there will be memes.

For now, make sure to mark your calendars with the AGM on Wed 12th Feb and Members' Talks on Thu 27th Feb!

Don't you just love a sweet break? As the weather's getting colder again, it doesn't hurt to give yourself a little push.

The Invariants is buying you hot chocolate at Knoops (OX1 3DH) today from 1:30-2:00pm. We'll see you there 🍂

Join us in the South Mezz on Wednesday at 6:30pm for some more puzzles and pizza!

Come along to Taylor's (OX2 6HA) for a free sandwich today! No sign-ups required, see you soon.

Are you curious about how your degree can launch your career in tech, trading or research?

Optiver invites you to their interactive presentation on 21 November, where you'll discover how your passion for problem-solving could make you the perfect candidate for their various roles. Hear firsthand from Optiver's traders and engineers about life in a tech-driven trading firm, gain insightful application tips, and even take part in a market-making game with the chance to win an exciting prize.

Register before 13 November to secure your spot!
https://hubs.li/Q02RlBw10

Learn about the frontiers of mathematics research at our next talk by Prof. Ben Green, 6:00pm on Tuesday 5th November.

Jane Street is hosting an Estimathon on Thursday 31st October from 6:30-8:30pm! Sign up here: https://www.invariants.org.uk/?nltr=MjA7NTtodHRwczovL2Zvcm1zLmdsZS9xZnBXRzI3QnVvVkNYclU5Njs7Yjc3ZTdjY2ZhNmFiODM1OWEwZmI4ZDFiYWU2MTI1YWY%3D

The Estimathon is a mind-bending mixture of math and trivia. In teams, you'll attempt 13 Fermi problems in 30 minutes, ranging from totally trivial to positively Putnamesque. Be prepared to come up with the best set of confidence intervals! Sample problems include:

•Do you know how many computers were connected to the Internet on January 1, 1989?
•Or how many YouTube videos have more than 1 billion views?
•What about the bandwidth beneath the Atlantic Ocean?

All participants will register as individuals, and teams will be created on-site. Jane Street will confirm your attendance by Wed 30th Oct. We hope to see you there!