@dwarkesh_sp The initial discussion on the progress of scientific theory is something best described by epicycles (essentially over fitting the data) https://t.co/IlaB9QuS0g
@awsaf49@paraschopra Most Humans would need training for a new language. The Best humans may (not) . That is precisely the point. AI is better at coding/Maths than most humans just not the best humans.
@SebastienBubeck I think if there is an optimised formal framework ( Current frameworks like ZFC, MLTT, HoTT, Cubical Type Theory are not maximally learnable for LLMs) and there is a corresponding LLM prover(Like Aristotle) which outputs in the formal language,we will see theorem proving at scale
@BharatEquator Aggregator model works if there are huge numbers on both demand and supply side. Unfortunately for Dreamfolks,the lounge business is very thin on the supply side with limited airport and lounge operators. Makes sense for issuers to connect directly with the service providers