We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Dear Kenyans
Post graduate degrees are not for skills for employment. If you want skills for employment, go to TVET.
#MaishaKazini
https://t.co/qlvQNEXiKD
$965B company asking for a global AI pause is like the tallest person calling for a height limit at the basketball court. Anthropic wants to freeze the competition, not save humanity.
Last night at @drunkenlectures, I could see people grappling with the argument I was making that the school system is messed up because our economy is messed up. It has also taken me years to see that it won't matter how many commissions you have, how much you threaten kids, how many fire safety drills you have, the unrest we're seeing is going nowhere. Our problem is that we are just not honest about our society and our economy, and the students can see it.
This was 4 years ago.
https://t.co/K0E2c8yyQ1
"Generally speaking, the African mind in Kenya has reached the stage of sense perception. The imagination and the emotions are both highly developed but the development of the reasoning faculties must be slow. Just as handwork has been found useful in the training of mentally defective children, so the most useful training which the African can receive in his present condition is continual contact with material processes ... The training of the African mind, therefore, in its present stage of development, is more dependent upon the practical than the literary arts."
Education Department Annual Report, The Kenya Colony, 1926.
#CBCisheretostay
Most Kenyans, even lecturers in the universities and at Jogoo House, believe the same thing as Verwoerd. KICD told us essentially the same thing he said when they brought CBC. All that was different was the language. Instead of saying they want to educate kids for servitude, they called it "practical skills." Instead of saying African kids had no business learning mathematics, they said mathematics is "confusing" and many kids don't have the "talent" for it.
Our education system hasn't stopped being racist. #CBCisheretostay
Here's the thing we seem not to be understanding.
The difference between love, care and teaching the young on one hand, and spoiling kids on the other, is political consciousness. You cannot tell us about political change in the public sphere then revert to imperial and evangelical notions of the nuclear family, sijui spoiled kids (most Kenyans can't afford to spoil their kids) when it comes to our homes. The math isn't adding up.
I made noise about the government using CBC to disempower parents on #MaishaKazini (see my video essay"The psychology of CBC"). We've covered the intersection between political consciousness, work and parenting with @m_ogada in two conversations on the same channel (see "Learning is work, knowledge is responsibility," and "Parenting is growth, learning and work").
The revolution can't stop at the door of the house. It has to change all relationships. Sankara said as much. Even between spouses and children.
Paradigm is the AI-native spreadsheet to eliminate menial work. Thousands of users have saved 10,000+ hours with Paradigm, and you can be next.
Get your first month free today, then plans start at just $20/month.
Today I can finally share Devin, the first AI software engineer, built by our team at @cognition_labs. Devin is capable of building apps end to end, finding bugs in production codebases, and even fine-tuning some AI models.
Devin also achieved the highest known score on SWE-bench, a real-world software engineering benchmark. Check out the examples we linked below to see!