PS In case anyone's worried that it used a lemma I hadn't heard of, I checked that the lemma was not a hallucination.

the time it would have taken me would probably have been of order of magnitude an hour (an estimate that comes with quite wide error bars). So it looks as though we have entered the brief but enjoyable era where our research is greatly sped up by AI but AI still needs us. 3/3

Nostalgia hits different when you’ve lived it. ⚔️ Splinterlands has been building since 2018 through every trend, every cycle, every next big thing. We didn’t chase the hype. We built the future of gaming. A true TCG where players own their cards, earn real rewards, and shape

Instead of trying to prove it, I asked GPT5 about it, and in about 20 seconds received a proof. The proof relied on a lemma that I had not heard of (the statement was a bit outside my main areas), so although I am confident I'd have got there in the end, 2/3

I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me. 1/3

Will Barack Obama be the Democratic candidate?

Looking forward to Election Day coverage tomorrow on @Newsmax to discuss the NJ, VA and NYC races: 9:15 AM, National Report, 2:00 PM, @AmericanAgenda, 3:25 PM, National Desk.

Had to do a careful parity check to understand this BBC headline.

Happy Invincibles Day to those who celebrate.

This sort of thing is interesting and nice, but calling it “new theorems” is slightly misleading when we’re talking about improved bounds discovered through a big search.

Today, I am launching @axiommathai At Axiom, we are building a self-improving superintelligent reasoner, starting with an AI mathematician.

The award-winning documentary that Sen. Adam Schiff demanded to have removed from Amazon Prime shows how metabolic and other natural cancer treatments work. "We're not giving cancer an opportunity to detour . . . to escape down one of its usual [biochemical] pathways."

Many thanks to the sender of an email that includes the heartwarming sentence, "I have long admired your contributions to mathematics, particularly [insert their field or specific result you respect]."

For more details about my group's project, to create a database of "motivated" proofs, and for how you can get involved (if you have the right skills), see the following blog post that I have just written. https://t.co/GDOjC8cTKY

Here is the main website associated with the fund, where you can read about its objectives and also see what the 29 winning projects were. https://t.co/HXB66mB5gb

Happy to be able to say that my automatic theorem proving group in Cambridge submitted a successful bid to the AI for Math Fund, launched this year by Renaissance Philanthropy and XTX Markets. 🧵

The Buzz for November 3rd

I've now found a more efficient way of doing it.

I've suddenly been inundated with spam comments on a Wordpress blog, which have somehow made it through the filter. There are so many that even selecting them all and doing a bulk delete would take ages. Does anyone know of a cleverer method?

I asked Gemini to produce for me an interesting image of a partially filled Sudoku puzzle. I thought the puzzle might be unsatisfactory but wasn't expecting anything this bad. Further attempts not much better.

We had been invited there to form a panel to talk about my late father and his contribution to the series, which was to write the music for it. The resulting discussion has just been put up on YouTube. 2/2 https://t.co/l3BJJpnlNQ

Around a year ago my mother, my two sisters and I attended an event of a kind we would never normally go to: a celebration for fans of a TV series, who came from all over the world. The series in question was Granada TV's version of Sherlock Holmes, starring Jeremy Brett. 1/2

Wow, I was just playing around before but it actually is stupid

The Trump Administration has cancelled the research grant of America's foremost mathematician, in case you had any lingering doubt as to whether or not they were committed to actually advancing science.

Check out our closing ad of 2025: Spanberger believes it's just fine to hurt children and wish for their death -- as long as they are your political opponent. Spanberger is a threat to parental rights and the innocence of our children. Vote for Winsome Sears!