A Erdosův problém číslo 3 byl vyřešen GPT-5.2 pro (#379). Tuto nabídku přijal Terence Tao. Věřím, že posledních pár dní bylo momentem "vzletu" pro vědu o umělé inteligenci.