@dan_sci_phil@QuAntonioMele it could be useful, but as it stands, someone still has to verify everything. it is not possible to verify all these new papers by humans as everyone can now one shot papers. publish it when you have formally verified it too.
@carlo_5518@DeepDishEnjoyer hmm, wouldn't it be insulting to your dad if someone said your dad has weak sperm...? I guess it does seem like it was directed at nikita, but still
@0xdoug "The hard to escape conclusion is math isn’t actually that hard. Humans are just really bad at it."
that is exactly why math is considered hard, because it is humans that make that claim. something being hard is completely dependent on who/what you are asking.