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.
GPT-6 Astra is the most intelligent and aligned model in the world, and sets a new state of the art for computer use, browsing, software engineering, cybersecurity, science, and professional work.
openai.com/index/gpt-6-astra…
William Emeny retweeted
Super exciting! The new Ninjas Foundations stickers for primary schools are looking great! Going to put a lot of smiles on hard-working students’ faces this year :-)
William Emeny retweeted
The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices. We’re excited to see what scientists and researchers are able to create with our upcoming Astra models!
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
William Emeny retweeted
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
William Emeny retweeted
Need to improve your maths, but need it to be fun?
Samurai Sums gives pupils fast, focused numeracy practice through fun, low-stakes games that build confidence.
No ads. No logins. No paywall. Totally free forever.
Play now: samuraisums.org/
William Emeny retweeted
Last chance: NCETM applications close 25 June for Post-16 GCSE and Functional Skills Mastery Specialists. Free Maths Hubs CPD for GCSE resit and FSQ maths teachers. ncetm.org.uk/news/maths-cpd-…
William Emeny retweeted
Colin Foster's free Big Ideas site asks how school maths can feel less like a checklist of procedures and more like connected mathematics. Useful reading for KS3/KS4 curriculum review. bigmathematicalideas.org/
William Emeny retweeted
Jo Morgan's summer-term checklist for Heads of Maths is practical: review curriculum timings, assessment writing, shared resources, subject knowledge and September prep. resourceaholic.com/2026/05/t…
William Emeny retweeted
NCETM's June Primary Round-up links to early maths CPD, Maths Champions, Maths Hub opportunities and case studies on sustained primary maths improvement. ncetm.org.uk/news/primary-ro…
William Emeny retweeted
NCETM has just published KS4 Geometry PD Materials (Theme 11), completing the full Mastery suite: circle theorems, bearings & vectors, 3D trigonometry, and surface area/volume reasoning. ncetm.org.uk/news/new-ks4-pr…
William Emeny retweeted
MathsPad has released free Grade 9 Club packs: printable GCSE Higher questions with worked solutions, plus 18 Foundation One Markers sheets for repeated non-calculator practice. mathspad.co.uk/
William Emeny retweeted
MEI's 2026 programme is public even though the event is full: Rob Eastaway on real-world problems, Desmos probability simulations, A level problem solving and more CPD ideas. mei.org.uk/what-we-do/mei-co…
William Emeny retweeted
NCETM's June newsletter flags BCME 10 bursary applications, 2026/27 Maths Hubs CPD planning, FE Mastery Specialist applications and more. Worth a quick check for department leads. ncetm.org.uk/news/ncetm-news…
William Emeny retweeted
AQA's GCSE Maths 8300 teaching resources page is useful for planning and qualification support: topic tests, teaching guidance, command words and formulae-sheet links. aqa.org.uk/subjects/mathemat…
William Emeny retweeted
This Week in Maths: September fluency planning starts now. A source-backed round-up covering NCETM/Maths Hubs CPD, Ofqual GCSE maths updates, EEF evidence, Resourceaholic/Transum tasks and family confidence.
numeracyninjas.org/this-week…
William Emeny retweeted
National Numeracy's Schools & Families programme is worth knowing about if you're tackling maths anxiety beyond the classroom: staff, pupil and parent confidence together. nationalnumeracy.org.uk/help…
William Emeny retweeted
Excited to announce a new game in Samurai Sums: Gem Capture.
It’s a free Mancala-style maths strategy game where learners sow gems, count landing bowls, capture totals, and plan their next move.
Play Gem Capture: samuraisums.org/games/dojo-s…
#MathsGames














