@science4all.org
claimed that formalised math is something that will take a century. It only took 10 years… Moreover it is about to be revolutionised by AI. So it is already further from what he expected!
@science4all.org
claimed that formalised math is something that will take a century. It only took 10 years… Moreover it is about to be revolutionised by AI. So it is already further from what he expected!