🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Some brief impressions from playing a bit with o3-mini-high (the new reasoning model released by OpenAI today) for mathematical uses.

Tonight I found out that the NSF math postdoctoral fellowship I applied for is being deleted because it does not comply with Trump’s executive orders on DEI in the federal government. I’m going to answer some FAQs and share some thoughts about this ordeal in this thread 1/n

I just wrote a new blog post, in which I present a complexity-theoretic conjecture that is (IMO) really interesting. As I'll explain below, I think the conjecture could be compelling to theoretical computer scientists, philosophers of mathematics, and technical AI safety people!

It's finally happened: after several unsuccessful attempts, I found a prompt that got Grok to solve a maths problem (the well-known Dubnovy Blazen problem in graph theory) I've been working on for over a year. How long till it's better than human mathematicians across the board?

Today I have received by email: one disproof of the Riemann hypothesis, one proof that P =/= NP, one proof of the Riemann hypothesis, and one proof that Peano arithmetic is inconsistent (which follows from the two Riemann hypothesis papers, but this was an independent discovery).

Hmm, who to go for? theguardian.com/world/2025/may…