En het Erdos probleem nummer 3 is opgelost door GPT-5.2 pro (#379). Het werd geaccepteerd door Terence Tao. Ik geloof dat de afgelopen dagen het "lift-off" moment voor AI-wetenschap zijn geweest.