0 boosts
LLM maths melodrama: big progress on Navier-Stokes, muddied by insinuation that OpenAI looked at Levent Alpöge and Tristan Buckmaster's prompts