Mathematician @MathsNorthumbria investigating nonlinear dynamics, complex systems, biological rhythms and integrable structures. đ¨đŚ
Newcastle Upon Tyne, England
Joined September 2016
- Tweets362
- Following386
- Followers158
- Likes5.2K
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.
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.
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âŚ
Benoit Huard retweeted
"You're unlikely to discover something new without a lot of practice on old stuff."
- Richard Feynman
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
Benoit Huard retweeted
Even if you don't care one bit about scientific research, it's important to recognise the value of publicly funding people working on very hard problems and training bright young minds on how to solve them.
Do you think itâs a coincidence that so many successful entrepreneurs have a science background? The US didnât become a global leader in technology and innovation by accident. It got there through decades of public investment in science, building research groups where young people could throw themselves at the toughest questions we face.
Today, 49% of US unicorn CEOs hold STEM degrees, and 70% of founding teams include at least one person with a STEM background. That pipeline of innovation was forged in universities and national labs, not in boardrooms
And when research is sustainably funded, the best international students come to US universities, and stay to build their companies (Elon Musk is one of them). Over 50% of international students in the U.S. are in STEM fields. Do you think this will continue if their research funding collapses by >70% and they can be kicked out at any time because the current government picks a fight with their University?
In the 21st century, attracting smart young people is the most valuable resource any nation can have today. In the future it will become even more critical. Scientific research is one of the strongest magnets for talent. You can ignore it, but the US is dismantling one of its most powerful engines of innovation
Benoit Huard retweeted
New electrophysiology postdoc position available in my interdisciplinary lab at the @UniofExeter @LSI_Exeter. The job will primarily be focussed on integrating MEA recordings with data science. Full details here: tinyurl.com/54jemxmf
Deadline for applications: 10th June.
Benoit Huard retweeted
Terence Tao on working hard:
âRelying on intelligence alone to pull things off at the last minute may work for a while, but generally speaking at the graduate level or higher it doesnât.
One needs to do a serious amount of reading and writing, and not just thinking, in order to get anywhere serious in mathematics; contrary to public opinion, mathematical breakthroughs are not powered solely (or even primarily) by âEurekaâ moments of genius, but are in fact largely a product of hard work, directed of course by experience and intuition.
The devil is often in the details; if you think you understand a piece of mathematics, you should be able to back that up by having read all the relevant literature and having written down at least a sketch of how that piece of mathematics goes, and then ultimately writing up a complete and detailed treatment of the topic.
It would be very pleasant if one could just dream up the grand ideas and let some "lesser mortals" fill in the details, but, trust me, it doesn't work like that at all in mathematics; past experience has shown that it is only worth paying one's time and attention to papers in which a substantial amount of detail and other supporting evidence (or at least a "proof-of-concept") has already been carefully gathered to support one's "grand idea". If the originator of the idea is unwilling to do this, chances are that no-one else will do so either.â
Source: math.ucla.edu/~tao/advice.htâŚ
Image: commons.wikimedia.org/wiki/FâŚ
Benoit Huard retweeted
Terence Tao: "The objective in mathematics is not to obtain the highest ranking, the highest score, or the highest number of prizes and awards; instead, it is to increase understanding of mathematics (both for yourself, and for your colleagues and students), and to contribute to its development and applications."
(Image: commons.wikimedia.org/wiki/FâŚ)
Benoit Huard retweeted
A mathematical homage to Andy Warhol, pop art meets complex roots. #MathArt #Mathematics
Made with #python #matplotlib #numpy #sympy
Benoit Huard retweeted
About a week left to apply (through May 5) for a fully-funded PhD position on the collective dynamics on networks at @AmsterdamDyn. Come to Amsterdam to join the Emergence at All Scales consortium led by @EmergenceDIEP. Please share!
Come join the Amsterdam Center for Dynamics and Computation @AmsterdamDyn! Bob Rink and I are recruiting a PhD student to work on network dynamics as part of the consortium Emergence at All Scales (d-iep.org/eaas). Apply by May 5, 2025 through workingat.vu.nl/vacancies/phâŚ