@AndrewCurran_ If they do 45 to 50 % growth it will be approx 25 billion for 100 billion ARR , I think they drop 2 strong models before IPO to pull those numbers
@DeryaTR_ It will be sad outcome if AI keeps scaling peaks in multiple domains and humans who have spent time and gained expertise refuse to participate like what we are seeing in maths.
@poteto You need one standard coding language like Rust that needs to universally accepted such that everybody can understand the code generated and language itself is machine optimized .
@AndrewCurran_ Clause to not use lean , coding languages , excel like tools , any software of any kind and to only hand write proofs must be included. Automation of any kind is still automation.