Masivní úspěchy AI v matematice mi výrazně mění "priors" ohledně budoucího vývoje AI. Dlouho se zdálo, že LLM neumí vymyslet nic nového a těžkého, že to je více dobrý index existujících znalostí než vynálezce nových. To už evidentně neplatí.
www.bbc.com/news/article...
www.bbc.com