Mathematician @MathsNorthumbria investigating nonlinear dynamics, complex systems, biological rhythms and integrable structures. 🇨🇦
Newcastle Upon Tyne, England
Joined September 2016
- Tweets362
- Following386
- Followers158
- Likes5.2K
Pinned Tweet
The distribution of zeros in Vorob'ev-Yablonski polynomials Qn(x), which provide rational solutions of the classical #Painleve II equation, is truly fascinating. Zeros are simple and form a triangular pattern (@peteraclarkson and E Mansfield dx.doi.org/10.1088/0951-7715…)
Benoit Huard retweeted
We are recruiting an Assistant Professor in Dynamical Systems to join the Amsterdam Center for Dynamics and Computation. Applications close Dec 6, 2026, please share! workingat.vu.nl/vacancies/as…
Benoit Huard retweeted
Before vision begins, the retina teaches the brain to see. 🌊👁️
Do those spontaneous waves also instruct the retina itself? Join two vibrant labs and find out by switching the waves off in real time. ⏰ 24 Nov #PhDposition
findaphd.com/phds/project/uk…
Benoit Huard retweeted
Astonishing how many posts like this there are about Tao, someone with no apparent arrogance who has spent his life sharing his gifts with the world.
Hey Terence
What you are experiencing right now is this weird phenomena called “humbling”.
Most of us midwits experienced this in high school or college. If you’re lucky young adulthood. But nobody was ever smart enough to humble you. So we made a machine to ensure you get brought down to earth like the rest of us.
When you played down AI some months ago you were in the denial phase. Now you are in the anger phase. Soon you will reach acceptance like the rest of us.
Benoit Huard retweeted
100 years old. Still the sharpest mind in the room.
Jean-Pierre Serre, youngest Fields Medalist in history (age 27), first Abel Prize winner, and the “Mozart of mathematics,” turned 100 on September 15 and is still lecturing, still writing on the blackboard, still shaping the field.
Happy 100th to the greatest living mathematician. The rest of us are just trying to keep up.
Benoit Huard retweeted
Why doesn’t OpenAI use an equal amount of the money they spend to prove interesting conjectures in funding PhDs in the mathematical sciences?
That way we will have a next generation of researchers that can understand these results and formulate the next wave of conjectures.
Very much looking forward to attending the London Mathematical Biology Conference next week londonmathbio.github.io/.
26
Benoit Huard retweeted
This is no doubt an impressive result, but to be clear, even if we proved that (statistically, as in this proof) 100% of non-trivial zeroes are in the critical line, this would not settle the Riemann Hypothesis. There could be a finite number of zeroes off of the critical line but since we know there are infinitely many of them, that finite number of exceptions would only represent a 0% of zeroes.
We asked an unreleased research version of Claude to take a stab at the Riemann hypothesis.
It didn’t solve it, but it did make strides on a related problem: it increased the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis from 41.6% to 67.2%.
anthropic.com/research/riema…
Benoit Huard retweeted
Here's a "theorem" in the complex variables section proved by sorry: "If g is complex differentiable at every point with Re z \geq 0, then g is complex differentiable everywhere." This is then used in the proof of another theorem in Lecture21.lean. All of this is marked as a "pass".
Our team at @AIatMeta is excited to announce ATLAS: one of the largest automated formalization efforts to date.
ATLAS contains Lean 4 formalizations of both statements and proofs from 25+ mathematics textbooks, spanning dozens of domains, for a total of 500k lines of code. We are also releasing a flexible formalization harness and a companion paper.
External contributions are welcome!
Joint work spearheaded by our amazing PhD student Ahmad Rammal (@Ahmad3Rammal), together with Niket Patel (@niketnpatel ), Fabian Gloeckle (@FabianGloeckle), Amaury Hayat (@Amaury_Hayat), Remi Munos (@MunosRemi), Julia Kempe (@KempeLab), Vivien Cabannes, and myself from @AIatMeta, @NYUDataScience , and Ecole des Ponts. This is an ongoing effort; more details in the thread below.
(1/9)
Benoit Huard retweeted
I am hiring a 2-year post-doc in Oxford Math to work with me on the modelling of nano-morphogenesis (bristle formation by a single cell). Details below my.corehr.com/pls/uoxrecruit…
Please circulate and RT.
Had an amazing day of mathematics research talks for our annual Integrable Systems in Newcastle 2026 workshop (13th edition!), organised by @McnpNorthumbria. This continues tomorrow, here's the schedule of talks sites.google.com/view/isin20…
1
28
Benoit Huard retweeted
❤️ Quantum heart billiard
youtu.be/fn56vmLpSBg
Benoit Huard retweeted
The distribution of zeros in Vorob'ev-Yablonski polynomials Qn(x), which provide rational solutions of the classical #Painleve II equation, is truly fascinating. Zeros are simple and form a triangular pattern (@peteraclarkson and E Mansfield dx.doi.org/10.1088/0951-7715…)
Benoit Huard retweeted
We now have another open Ph.D. position at ETH Zurich in data-driven nonlinear reduced-order modelling, with applications in system ID and control. Interested candidates may apply here:
jobs.ethz.ch/job/view/JOPG_e…
Excited to host tomorrow and Thursday our Integrable Systems in Newcastle meeting @NorthumbriaUni, organised every year since 2013 by @McnpNorthumbria, to push the frontiers of integrable systems theory and their numerous applications. Support @LondMathSoc sites.google.com/view/isin20…
36
Benoit Huard retweeted
"You're unlikely to discover something new without a lot of practice on old stuff."
- Richard Feynman
How is it acceptable that this platform pushes countless ridiculous ads falsely portrayed as BBC news.
hmmm...
30
Benoit Huard retweeted
2 postdoctoral researcher positions are available in the Structured Light Group in Exeter (UK). Project focussed on quantum & classical light control through dynamic complex scattering media (see concept picture). Details are below. Drop me an email if you'd like to know more!
Benoit Huard retweeted
if you're into pure maths and can code come join me at @PrimeIntellect - there's lots of fun and alpha in being able to reason about the parameter space through the tools of differential and algebraic geometry.
we're hiring for our engineering team @PrimeIntellect right now. primarily looking for builders in rust, python, typescript and more