Assistant Headteacher. Interested in how neuroscience can support education.
#EduSky
Scott McFarnell
Loading...
And apparently LLMs from Google solved another 9 open Erdos problems with assistance from the Lean Theorem Prover software to check each step. Mind boggling.
arxiv.org/pdf/2605.227...
Scott McFarnell
You can find the paper here: www.taylorfrancis.com/chapters/edi... or on my website: www.matthiasmichel.org/publications.
From Stay Human, from the Artificiality Institute: Chris Summerfield: These Strange New Minds, 19 Apr 2026
podcasts.apple.com/gb/podcast/s...
What about this…
The World’s Greatest Problem
P v NP
“The proof is out there”
Werner Herzog as Hegel? What do you think?
ChatGPT just threw shade on LinkedIn.
It said, ‘Everyone is “delighted,” “humbled,” “honoured,” “thrilled,” and “proud to announce.”’
Is that really true?
Chris Summerfield:
‘“The information contained in a signal is related to how surprising that signal is. You only know if the signal is surprising if there's a mismatch between what you predict & what you get. So, information is surprise; prediction is the currency of learning.”
The idea that ChatGPT recently disproved the 80year old Erdos conjecture that grids were the best way of connecting points is amazing. It subdivided the grid and found more ways for the same-length stick to fit between points.
Excellent lecture - Are We Having the Wrong Nightmares about AI? - from @zey.bsky.social.
Mentions the “Attachment Economy”.
www.youtube.com/live/uvu37eI...
Matthias Michel
Scott McFarnell
I discuss the role of introspection in the production of scientific data for consciousness research. I address the following question: does introspection
"Could AI Be Conscious?"
Join me and @keithfrankish.com for live streamed cutting-edge thought on consciousness 2:30 UK time Thursday. There will be audience Q&A!
www.youtube.com/live/VDc9DQk...
Scott McFarnell
Scott McFarnell
The idea that ChatGPT recently disproved the 80year old Erdos conjecture that grids were the best way of connecting points is amazing. It subdivided the grid and found more ways for the same-length stick to fit between points.
podcasts.apple.com
Podcast Episode · Stay Human, from the Artificiality Institute · 19 April · 1hr 1min
