For now we see through a glass, darkly . . .
Kano, Nigeria
Joined September 2014
- Tweets495K
- Following1.8K
- Followers2.3K
- Likes28.4K
Tertius retweeted
The cost you are paying for solar and generator is actually the real cost of your electricity in the open market most you clamour for.
Your energy sector should be subsidized. Every serious country, even the capitalist ones do it, but some people in Nigeria “wey never chop” support their govt to end energy subsidy and throw the market open. Talmbout “it’s hurting the economy.”
Your economy should not be hurt, instead you should be hurt, which makes no sense because hurting you is the same as hurting the economy you don’t want to hurt.
Like I always say, if you want 24/7 electricity today, and are able to pay for it, you will get it today. But the problem is, you can’t afford. No be all of una get money for solar.
So what you actually need is not just steady electricity, but also a cheap one. And only your government can deliver that to you.
I trust awon capitalists without capital to come under this post to tell me how I don’t understand the market and start throwing crammed terminologies up and down.
Tertius retweeted
i don't think "arbitrarily" is even used any differently in math. it's just the same usage. if you say "for arbitrarily large numbers n, φ(n)", then you're saying you can pick any arbitrary choice of a size of number and φ(n) will still be the case
Tertius retweeted
Terence Tao says that the AI proof on the Navier–Stokes problem is correct, yet mathematicians learned almost nothing from it. The proof is 100 pages, AI-generated and full of issues in its text, but a formal certificate in the language Lean confirms it.
Navier–Stokes is a Millennium Prize problem that asks whether the equations for fluids like water can start smooth and then blow up, with velocity or pressure becoming infinite. Human mathematicians came very close, and OpenAI ran its biggest model, with millions of dollars of compute, to get there first.
A human proof normally comes with talks on what was tried, what worked and what it connects to, like picking fruit and planting the seeds. Tao calls this one strip mining: the fruit taken, the landscape left barren. One colleague, using lots of AI, could explain only half of it after days of work.
Heisenberg was actually right. That’s why I believe jinns would have a totally different physics.🤣🫣🫣
Tertius retweeted
We have to remember that what we observe is not nature herself, but nature exposed to our method of questioning.
-- W. Heisenberg
(Physics and Philosophy, 1958)
Tertius retweeted
This episode is about mathematics in the age of AI. Richard Borcherds, a Fields Medalist and professor of mathematics at UC Berkeley, and Eric Weinstein @EricRWeinstein, who earned his PhD in mathematics at Harvard, join to take up three questions. What is mathematics about, what is the future for math students, and what is at stake? We discuss whether AI can build theories or only solve problems, why pure mathematics is worth funding, and what is left for human mathematicians. The conversation also covers the sporadic groups, whether math will go the way of chess, and who deserves credit if a stranger with an AI proves the Riemann hypothesis.
youtu.be/XqgnJyQZGG4
Tertius retweeted
I love how paying workers more requires a national debate about inflation, productivity and business survival, but paying the CEO another $20 million just requires a fucking meeting.
Tertius retweeted
🚨🔵🔴 Pierre Sage, on the verge of being sacked by Crystal Palace — as #cpfc are bottom of the Premier League.
Tertius retweeted
We have to remember that what we observe is not nature herself, but nature exposed to our method of questioning.
-- W. Heisenberg
(Physics and Philosophy, 1958)
