Rudybega
Kakeya / local smoothing (math): The result would resolve the Kakeya conjecture and Stein’s restriction conjecture across all dimensions together. Mathematicians had been making progress one dimension at a time, so this would settle a whole family of central harmonic analysis problems at once.
ETH is false (computer science): ETH has been used as a computational hardness premise in hundreds of papers, so a disproof would undercut a large body of existing complexity results. It would also change what researchers think is achievable for efficient computation.
QCD existence (physics): It would give a rigorous mathematical foundation to the theory of the strong force, which physicists have used for decades without proving it’s well-defined. It also bears on a Millennium Prize Problem.
They're starting to do things like spinning up wet labs for testing purposes, which requires a lot of hardware interfacing (hence that protocol they announced) and code.
It wouldn't shock me if the bulk of this code was for things typical users don't see.
How about, the LLM flagged it, I reviewed it, and it clearly meets the standard for mandatory reporting.
If the LLM flags it (which in a sanely designed system should be a high bar with very few false positives) and they fail to review it for bad reasons, they could be liable.
I feel like neither of these scenarios are particularly hard to address.
They are sequence to sequence models.
What if we achieve an understanding of how memories form in the brain and what factors distinguish individuals who have eidetic or near eiditic memory and can synthesize drugs that replicate that? What if we can find similar distinguishing factors for other cognitive domains (perception, visual spatial skills, etc.) and find drugs that improve those capabilities?
> but the opening sentence seems to suggest the cure to smartphones and AI having significant negative impacts on critical educational development is giving all kids pharmaceuticals.
You have to be operating extremely cynically for that to be your default interpretation of what I said, but go off.
Ahh, I think this bit on my part may need some elaboration. Here's my main underlying belief:
We are systematizing biology and turning it into a computationally tractable domain. I think we're going to make more gains in our understanding of it in the next 20 years than we have in the entirety of human existence prior to this moment (that's mainly because our understanding until now has been remarkably poor).
That said, I suspect this technology will allow us to study and mitigate those effects in ways we weren't previously capable of. That's in addition to the other broad swathe of things that should make us healthier and more intelligent (see some of my other posts here). I'm not particularly negative about our chances.
If you want some examples in how AI could improve education:
* Alpha School (https://alpha.school/the-program/) reports 2.6× faster learning growth with just 2 hours of AI-driven instruction daily, with students scoring in the 99th percentile nationally.
* Mindspark (https://www.povertyactionlab.org/evaluation/scaling-personal...), deployed in Indian schools, demonstrated gains of +0.22 SD in math and +0.20 SD in language in a randomized trial involving 6,500 students.
* A Harvard study (https://pmc.ncbi.nlm.nih.gov/articles/PMC12179260/) found more than 2× the median learning gains using AI tutors.
The broader implications are clear: individualized, adaptive tutoring at scale is becoming accessible in ways that historically required expensive one-on-one instruction. This is also going to be possible in places that historically never had access to this quality of instruction, which again, is a massive boost to the human baseline.
I don't think the future looks like Wall-E. I think it looks like insanely healthy people able to pursue their passions with a level of rigour and capability that has never existed before.
Edit: fucked up link 2, fixed
What aspect of my comment, specifically, do you think should embarrass me? Address the content, not the person.
Do you think we're not going to make any advances in medicine that promote a higher baseline level of cognitive function? Do you think society will entirely lose interest in educating its citizenry and will completely forgo using these tools to improve education? What's your core contention here?
I'm 35 and have worked in ML generally for a decade and NLP for six years. Any other questions about my bonafides?
Between biology advances remediating disabilities, customized outcome-driven education, potential advances in drugs that regulate executive function/memory/etc., improvements in nutrition, improvements in access, reductions in stress, I think we'll see people flourish.
And that's completely ignoring the more out there biological/computer merger style Sci-Fi outcomes, which I believe have a non-zero chance of occurring.
Paul Krugman (1998)
• "The growth of the Internet will slow drastically, as the flaw in 'Metcalfe's law'—which states that the number of potential connections in a network is proportional to the square of the number of participants—becomes apparent: most people have nothing to say to each other! By 2005 or so, it will become clear that the Internet's impact on the economy has been no greater than the fax machine's."
Clifford Stoll (1995)
• "We'll soon buy books and newspapers straight over the Internet. Uh, sure."
• "The truth is no online database will replace your daily newspaper, no CD-ROM can take the place of a competent teacher and no computer network will change the way government works."
• "Lacking editors, reviewers or critics, the Internet has become a wasteland of unfiltered data."
There's a massive tendency amongst even intelligent people to completely dismiss the potential of new technology based on that technology's current observed capability.
Apparently, I'm not supposed to extend that trend line though.
If a performance regression like this isn't caught by an automated testing suite, you have made a horrible mistake.
Hell, the Opus 4.5 moment was only last November, and that was when agentic coding and most coding CLI tools became truly first class options. That's a wild paradigm shift. Hell, GPT-5 wasn't even out (that's August of last year). Most people were using 4o. Their current offerings are wildly better for coding than 4o was.