Productive friction = effortful retrieval, wrestling with a problem for hours before you're taught the easy path through, making mistakes. Productive friction IS learning but using current AI chatbots as tutors eliminates this type of friction as well.
@owickstrom yup
reading every line of output is not enough
reading it again isn't either
a third pass? not enough
for understanding, it needs to be written
Did you see ANDROID KARPLAY went to anthropic even though he’s the cofounder of openai? Did you see that one tweet from that one junior investor (that everyone thinks has a learning disability) that openai is cooked? BROOO did you see that sundar pichai’s demon wasian twink just dropped omni models at google I/o today? Oh my god, they’re building twinks en masse at this robotics company that I saw a demo video for this weekend. And that paired with the latest interaction models from thinking machines that’ll count the number of fruit I name in 30 seconds is going to go crazy. We literally live in the future bro, trust me, just ape semis and fucking chips bro. Not lays bro, im talking wafers, like fucking nanometers bro. Did you see that chamath clip that Taiwan isn’t gonna be a strategic asset in 18 months time? Yeah I’ve been following chamath for a while, all the aunties used to call me chamathu growing up because I was super well behaved. But anyways that guy was weather a sick ass sweater when he said that Taiwan was below his bottom line. oh by the way, did you catch that 13F from leopard ashenbonner bro? he’s gonna eat like a leopard after all his trades make him money bro. You gotta full port into his positions dude, just trust me. Anyways, I’ve been using /goal recently in codex and I was reading thariq and jxnlco’s tweets recently and they’ve been fire bro, I’ve been pushing so much code to my private repos broooo. It’s too good bro. Just trust me, you should try it out dude. Hooooly smokes, I’m so productive these days, at work they call me Hellen Keller kooolaid man the way I be moving. Straight up blind folded and running through walls man. I caused so many production bugs, but it’s okay I just have claude opus mythos preview ligmacock 6.9 version just fix it for me bro. Look I even have this app on my phone so I can code from my fuckign shower bro. Im so productive.
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.