God zij dank dat sommige LLM's goud kunnen winnen op IMO's. Zelfs bij basisvragen over functionele analyse (zoals subruimte-decompositie) geeft o3 onverbeterlijk verkeerde vragen. Maar ik ben optimistisch dat het over 1-2 jaar veel beter zal zijn.