Harry is spending an unbelievably exciting day at the Royal Society today, with 300 other mathematicians discussing the strange new world of ai assisted mathematics. The schedule is back to back talks from an extraordinary range of speakers so no time to say more now, but I will report back when I get some time. It is a great time to be a mathematician!
PS, managed to get us a great speaker for the prize-giving! I’ll keep the name under wraps for now (never hurts to have a little mystery) but it is amazing what you can set up over a buffet at an event like this.