It's very unclear to me how you seem to expect medical research to be done in the cloud. Overhead is crucial to create and maintain research infrastructure necessary to advance medicine and science.
I wrote a small novel but lost it due to user error, so here's a hot take with much less nuance from a college math professor. Just like calculators meant we needed and could pivot the skills we ask our students to learn, AI will also shift the paradigm. But unlike calculators, which are very good at what they're meant to do, AI produces BS in the academic sense [0] and if used uncritically frequently produces work that's just nonsense. So I tell students I don't care so much if they use it, but that the students who do tend to end up looking foolish.
As an math educator, I think there's a huge flaw in this study. The investigators failed to follow up to see why the mistake was made. They leap to assuming the player is trying to "deny the antecedent", but I think there's a much simpler explanation: the players aren't reading the instructions carefully.
There's two reading errors I would expect someone to make given this experiment:
1. The instructions that each card has exactly one letter and exactly one number are before the big cards. I bet many players just skipped that instruction.
2. Mistaking the P→Q as P←→Q smacks more of a reading comprehension error than a logical error.
the kids are alright. Reminds me of when I organized a real life version of Pac-Man on the quad in 2006, inspired by this game ran on the streets of Manhattan in 2004. https://www.pacmanhattan.com/
Nice to see JRMF trending on HN. JRMF puzzles and festivals are a great way to engage general audiences of grade school students in mathematical inquiry and problem solving.
I like the phrasing used by https://houseofgraphs.org/ — while there are an infinite number of mathematical objects in any category, there are only "a few thousand that can be considered really interesting."
https://Topology.pi-base.org (a database of certain mathematical objects) started as a wiki, but transitioned to using GitHub pull requests and custom software to support automated deduction.
Folks interested in open collaborative math content may find these interesting: