Я твердо переконаний, що ми перебуваємо на переломному етапі в історії математики. У найближчі роки використання LLM для математичних досліджень стане мейнстрімом, так само як і формалізація Lean, що стане простішим завдяки LLM. (1/4)