zábava: před 3/4 měsíci Spustil jsem o3 pro nějaké akademiky na sadě problémů ve stylu AIME. Trvalo jim to tak dlouho, než napsali souhrn výsledků (96% irrc), že Alex mezitím vyřešil důkaz a podle mého názoru lol
@littmath To znamená, že není jasné, zda bude důkaz vyřešen v době, kdy tento koncept vůbec zveřejní
1,23K