Tack gode gud för att vissa LLM kan vinna guld på IMOs. Till och med på grundläggande funktionalanalysfrågor (som subrumsuppdelning) ger o3 oförbätterligt felaktiga frågor. Men jag är optimistisk och tror att det kommer att vara mycket bättre om 1-2 år.