@benhayden.bsky.social
Professor of Neurosurgery, Baylor College of Medicine
@lastpositivist.bsky.socialReposted by @benhayden.bsky.socialWhy don't people caught burning in the samsara's flames of eternal love not simply release all their attachments? Are they stupid?
@amandalebel.bsky.socialReposted by @benhayden.bsky.socialA new paper from my PhD work! Attention reshapes how the cortex represents meaning. Does the same thing happen in the cerebellum?
@benhayden.bsky.social"He began taking classes at MIT and published math papers while an active member of the Ravens."
@pmamtraveller.bsky.socialReposted by @benhayden.bsky.socialWayne Mondok (Canadian, born 1961) Yellow Light
@frogandtoadbot.bsky.socialReposted by @benhayden.bsky.socialFrog poured some water on the hat.
@depthsofwikipedia.bsky.socialReposted by @benhayden.bsky.social
@helianthe.netReposted by @benhayden.bsky.socialjust to be absolutely clear: Terrence Tao is not only not an anti-AI person, but has been one of the most prominent advocates for formal methods via the Lean proof language and autoformalization with AI
I strongly encourage people to read the slides: terrytao.wordpress.com/2026/10/10/m...
@lise-l.bsky.socialReposted by @benhayden.bsky.socialIls étaient mi-cerf mi-escargot, et re mi-cerf derrière
@mcsweeneys.netReposted by @benhayden.bsky.social"The sound a chicken bone may make when accidentally dropped into a garbage disposal."
buff.ly/zlLH4L9
@pmamtraveller.bsky.socialReposted by @benhayden.bsky.socialSaul Steinberg, Self Portrait, 1949
@benjedwards.comReposted by @benhayden.bsky.socialWhenever I face a major life decision, I imagine a parallel universe where I chose the other path and died in a fiery car crash. That way I know I definitely made the right choice
@pekka.bsky.socialReposted by @benhayden.bsky.socialJust imagine that.
@neuroprinciplist.bsky.socialReposted by @benhayden.bsky.socialRe-post 🔁 is appreciated!
#neurojobs: we’re looking for new team members to join us @cmc-unit.bsky.social!
If you’d like to study decision-making in naturalistic & embodied contexts (integrating RL, RNNs & cross-species data analysis) in a cool & collaborative research environment 😎, check 👇
@jdp.extropian.netReposted by @benhayden.bsky.socialPeople are panicking on the other site so I put up a Manifold market.
manifold.markets/JohnDavidPre...
@univie.ac.atReposted by @benhayden.bsky.socialIn September, OpenAI said 10,000 #AI agents had partially "solved" the Navier–Stokes problem, one of maths' great open questions. #univienna mathematicians Nathanaël Berestycki & Vera Fischer: the field will never be the same, but maths is far more than producing proofs at speed. 🧮
@johncarlosbaez.bsky.socialReposted by @benhayden.bsky.socialI don't think it's a vision, it's just the way things are now. It's true that lots of people are trying to get AI to prove things for them, but most of my mathematician friends mainly use it to learn stuff. Of course things could change.
@johncarlosbaez.bsky.socialReposted by @benhayden.bsky.socialMath isn't being devastated. A bunch of medium hard to quite hard problems that humans have made up and worked on extensively are getting finished off by AI. AI is also a great way for mathematicians to learn more math. The future is unpredictable, but I wouldn't declare devastation just yet.
@benhayden.bsky.socialWhat if people just work less hard because the AI is doing the work for them and so it’s a net increase in utility?
@aidanmcglynn.bsky.socialReposted by @benhayden.bsky.socialAmazon has figured out my one interest/hobby
