Neutrino Theory Network expects to make two postdoc offers again this year. First round deadline is coming up, October 16 academicjobsonline.org/ajo/jobs/32593

Show Post

Wow. Nathaniel Craig (currently on leave at OpenAI) has made significant progress on a very deep problem relevant to our understanding of the Standard Model (SM) of particle physics. arxiv.org/abs/2610.09093

Show Post

uh oh "We show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations."

Show Post

Yesterday we held our inaugural AI in academia coffee hour @uwmadison.bsky.social — a forum to discuss the existential issues AI raises in academia. Our topic and pre-read was the Leiden declaration. It couldn’t have been more timely with OpenAI’s drop of math results dsi.wisc.edu/rise-ai-hq/a...

Show Post

OpenAI is working on at least 722 (so far) math manuscripts, all on GitHub in various stages of verificantion github.com/openai/math Why? I guess because they can?

Show Post