
OpenAI zaplavila matematiku stovkami výsledků. Ověřování může trvat roky
OpenAI zveřejnila téměř 400 výsledků rozdělených do více než 700 rukopisů. Matematici v nich vidí fascinující materiál, ale také obrovský problém: jen část tvrzení je zatím formálně ověřená.








