i think i agree, we are going to have /more/ math and now need /more/ mathematicians (we are seeing https://vibemathed.com/)

these LLMs are great are generating arguments but they don't ask questions, we will need mathematicians to shepherd them into more discoveries

i really want to see open weight models crack some breakthroughs