Post #2505588

Kevin Barreto, one of the first people to get a publicly available LLM (AI) to solve a relatively known open mathematical problem, gave a great talk yesterday, which I organised. The slides are available, with the detailed description of his workflow: https://drive.google.com/file/d/1VQk1_Se74ffYrTs1u5dUXq9gnxuzkMFv/view