Viewing profile — mcontrac

Cool method but I hate that "digital twin" is really catching on in terms of nomenclature. See it constantly in comp neuro papers nowadays

Beautiful writing. In my highest impression of (pure) math I've always thought of it as an art. We would think of AI-generated classical music as a waste, at least philosophically …

The trouble is that if you want math to be standardized/able to be described in a sort of "objective" manner (what mathematicians call a proof), you'd like to start out with a set …

What people might not be understanding is that mathematics is inherently built... ZFC was pored over for years and eventually the community concluded it was a good system to (a) pr…

Find it funny that PromptArmor needed to reach out 3 times in a row to get a nearly month-late response that the issue "was resolved"

Math is particularly nice in that whole papers can be discussed/compressed into a single conversation, unlike, a scientific experiment which requires many figures and controls to c…

I think the author is really just getting at the fact that humans are by nature intelligent and by nature tend to think of similar ideas. So you can either unknowingly complete a p…