I asked ChatGPT to look at a proof, here's what happened...
I saw a few papers on arXiv recently that were very clearly prepared by asking ChatGPT or some other GenAI to analyse an idea and write a paper. Of course, the papers contained obvious mistakes, but...
View ArticleHow to give a talk
I was recently reminded of an old answer I posted on Math.SE with advice on how to give a talk. I wrote that answer in 2012 when I was only finishing my masters, and while I had given a couple of...
View ArticleI trained neural nets on large cardinal axioms
I spent the past few months training a few neural nets on large cardinal axioms and related results. I've put the notes in the Papers page.More seriously, of course, I gave a course on large cardinal...
View ArticleThe Lighthouse Problem
This is a piece of advice that I found myself giving to many early career researchers, students, and colleagues supervising and advising those as well. For years, actually.A mathematician, the joke...
View ArticleConferences: unsolicited advice
Well, that was quite the week!As the last few posts had possibly clued you in, we hosted a conference in Leeds this past week. We had around 50 participants, including the speakers and poster...
View Article120 Years of Choice: Final call for registration!
Continuing from last two posts, this is a final reminder to register to 120 Years of Choice. Registration ends next week on the 20th of June.We are very excited about the speakers and the poster...
View Article120 Years of Choice: Registration is open
Continuing from the previous post, we have a website for the conference now, and you can now register for the conference.We are planning to have two poster sessions, and we might be able to offer some...
View Article120 Years of Choice: First Announcement
We are happy to make the initial announcement for the "120 Years of Choice" conference that will take place in Leeds between the 8th and 12th of July, 2024!We will have a proper website, poster, and...
View ArticleWhat is best in science?
It was foretold of a legendary scientist, one who would master all of mathematics, all of physics, all of chemstiry, all of biology, some of engineering, bits of psychology, and none of economics....
View ArticleI trained neural nets to do forcing and symmetric extensions
So, I spent the last year training a bunch of neural nets how to do forcing, with and without choice, how to work with symmetric extensions, and how to force over symmetric extensions. It was pretty...
View ArticleHow to prove theorems?
Oddly enough, one of the questions I hear from starting Ph.D. students is "how do you prove theorems?", so let's talk about that.I'm saying "oddly enough", by the way, because first of all, I am...
View ArticleSafe spaces
Sometimes, as a man in mathematics, the topic of diversity comes up. Either discussing with colleagues, or discussing with friends, or whatever. How can we bring more women to mathematics, how can we...
View ArticleEverything Wrong With The Princess Bride
Nothing. Nothing is wrong with that movie. If you haven't watched it in the last couple of weeks, go and watch it tonight.Continue reading...
View ArticleMultiple Choice
Which answer is the most correct?All of the above.All of the above.All of the above.All of the above.None of the above.Continue reading...
View ArticleQuestion on Dually Dedekind-infinite sets
I got an email a few days ago from Lucas Polymeris, a Chilean student, who asked me a very nice question. I want to go through the journey I took from that question to the answer.Before we get to the...
View ArticleChanges
It's been a great ride at the University of East Anglia. I've come there as a postdoc and left with a permanent job. In today's climate, that's nothing to scoff at. But this is the end of this part of...
View ArticleEngaged
No, this isn't some personal blog post.Derek Muller of the Veritasium fame had posted a new video this afternoon. I'm going to spoil the crap out of the video, so you might want to watch it before...
View ArticleFlow and the Partition Principle II (2 updates)
Well, it seems that there's a new paper about Flow and the Partition Principle on arXiv. This time claiming to prove that in ZF+Atoms the Partition Principle does not imply the Axiom of Choice.I'll...
View ArticleFactorial algorithms and recursive thoughts
Recursion: (see recursion). As the joke goes. But that's actually a misnomer, since that would be an ill-founded definition, which is exactly the point where you can't do a recursive definition. I'm...
View ArticleHindsight: 2020
I know. I already did a looking back post last year when the decade was coming to its inevitable end. But I couldn't pass on a post titled "Hindsight: 2020". And this year was a good year for...
View Article
![[-100%] Commodity Intelligence – (Android Apps)](http://play-lh.googleusercontent.com/j67-qJvmnn4xnVlYVZ9ZhtZUJIgwjKekJGoKQT6D1KHcWGZxtQaFroummEvwV17na7tyh1pGbbeWCRdWtTKqeg=w950-h950)
