Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
ChatGPT is a Useful but Demanding Mathematical Collaborator
gilkalai.wordpress.com·4d
Software speed and the chat illusion
robinsloan.com·1d
The AI 2027 Report: A Glimpse into a Superintelligent Future
metrics.blogg.gu.se·2d
Loading...Loading more...