@irving@mastodon.social
@irving@mastodon.social avatar

irving

@irving@mastodon.social

AGI safety researcher. Soon: Research Director at the UK AI Safety Institute (AISI). Before that: Scalable Alignment lead at DeepMind.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

ZachWeinersmith, to comics
@ZachWeinersmith@mastodon.social avatar
irving,
@irving@mastodon.social avatar

@ZachWeinersmith /ai-11! Have you drawn the scaling law yet?

ZachWeinersmith, to random
@ZachWeinersmith@mastodon.social avatar

I have an idea for a version of rock paper scissors. here's the idea: it's the normal game, only you start with 6 tokens. Two for rock, two scissor, two paper. when you throw one, you have to give up a token and reassign it to one of your other piles. What do you think would happen?

Inclination is it gets boring because nobody wants to go below 1 token. Maybe there's some way the opponent can force? E.g. if they have 3 on one pile they can kill 2 to destroy one of yours?

irving,
@irving@mastodon.social avatar

@ZachWeinersmith What do you want ɣ to be (the discount rate)? Here's a close-to-exact solution for ɣ = 0.9. It has some of the expected structure (it's bad to have only one kind of token), but I need to find a better visualization to show the finer details.

https://colab.research.google.com/drive/1AzS1FyRhNxS5mi38cEp3aRWd8DyK4YF8?usp=sharing

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

“Kenan Malik is an Obserrver columnist”

Come on, Grauniad, we’re glad you don’t have AIs writing your columns, but nobody is in such desperate need of an automated spellchecker as you are.

https://www.theguardian.com/commentisfree/2024/mar/10/ai-wont-destroy-us-but-tech-giants-use-fear-it-will-to-evade-scrutiny

irving,
@irving@mastodon.social avatar

@gregeganSF “You haven’t used precisely the right amount of ML!”

(Though I agree with the complaint. :))

irving, to random
@irving@mastodon.social avatar

The Mandelbrot set, with infinity in the center.

j_bertolotti, (edited ) to random
@j_bertolotti@mathstodon.xyz avatar

Before becoming a father, I didn't realize how crazy powerful reverse psicology is with kids. By far the best way to have my 5y/o to do anything is to tell him to do it in the most absurdly wrong way possible 😆

irving,
@irving@mastodon.social avatar

@j_bertolotti My standard practice now is to give the 6 year old's dinner plate to the 3 year old and vice versa. The 3 year old then reliably insists to swap.

j_bertolotti, to physics
@j_bertolotti@mathstodon.xyz avatar

A little classical mechanics problem you can solve without doing any calculation:
Consider the hyper-simplified problem of a bell-shaped hill, and a point rock that can slide without friction up and down the hill. If you start with the rock at the bottom, and give it exactly the kinetic energy needed to arrive to the top and stop there without sliding on the other side, how long will it take to arrive there?

irving,
@irving@mastodon.social avatar

@j_bertolotti @johncarlosbaez @Ianagol @RobJLow How much smoothness does this require? It seems like the argument certainly goes through for C^2. Does it work for C^1? Is there a precise Holder exponent where it catches?

irving,
@irving@mastodon.social avatar

@johncarlosbaez @j_bertolotti @Ianagol @RobJLow Ah, that’s perfect! So the lurching forward one can correspond to the finite time case similar to the vertical hill.

irving,
@irving@mastodon.social avatar

@johncarlosbaez @j_bertolotti @Ianagol @RobJLow This paper has a weaker hypothesis than Lipschitz, but it’s pretty messy: https://www.emis.de/journals/EJQTDE/p8257.pdf

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

Great article in @QuantaMagazine.

What’s so striking about this to me is that if I hadn’t been told the history of the problem, I’d have assumed that something so structured would have an easy solution, as a sum of 2^n terms, or a recurrence relation.

https://www.quantamagazine.org/ninth-dedekind-number-found-by-two-independent-groups-20230801/

irving,
@irving@mastodon.social avatar

@gregeganSF @QuantaMagazine Though I still don’t really understand why it doesn’t have such a recurrence. And indeed the successful computations work by something like sqrt splitting, and I don’t know why there isn’t a way to carry that further and split more.

irving,
@irving@mastodon.social avatar

@gregeganSF Ha, that’s the total number of Boolean functions, so if you allow that many terms you could just check whether each one is monotone.

irving, to random
@irving@mastodon.social avatar

@henryseg Do you know if there is a sensible definition of the game theoretic value density of Go on the infinite 2D lattice, using an appropriate limiting mean value?

It seems like optimal play would want to be up to some $c\omega$ ordinal for some reasonable c?

irving,
@irving@mastodon.social avatar

@henryseg I’ll try to formalize and ask on mathoverflow.

zenorogue, to Baduk
@zenorogue@mathstodon.xyz avatar

A game of Go on a hyperbolic manifold, played in the HyperRogue discord server, ended like this.

irving,
@irving@mastodon.social avatar

@henryseg @zenorogue I played a game of torus go once, against a player a few stones weaker, and won the entire board (harder to establish a live group in the absence of sides and corners).

irving,
@irving@mastodon.social avatar

@henryseg @zenorogue Or on the Rado graph! But that’s probably pretty boring, I suppose.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

One way to view automatic differentiation is to think of it as adjoining an "infinitesimal" element d to the reals, such that d²=0, to the reals, ie. forming ℝ[d]/(d²). If f is a polynomial then f(x+d)=f(x)+df'(x) giving a nice way to compute derivatives on a computer - especially as it can be extended to rational and even transcendental functions f. It doesn't form a field though. For example you can't always divide by d.

TIL There is a field, named after Levi-Civita, that generalises ℝ[d]/(d²) quite a bit. Every element is a kind of power series in an infinitesimal ε. More precisely, each element is a "formal" sum ∑aᵢεⁱ where the sum is over some subset S of the rationals which is left-finite, ie. for any z, S has only finitely many elements less than z. Addition and multiplication work in the way you might guess.

This means we can form things like ε^(1/2) or even the "infinite" 1/ε. It's not just a field, it's an ordered field so we have, for example, that 1 > ε^(1/2) > ε > ε² > 0.

You can even construct a Dirac delta-like function δ(x) = ε/π(x²+ε²).

It's all very similar to non-standard analysis but this particular construction doesn't require anything non-standard.

https://en.wikipedia.org/wiki/Levi-Civita_field

irving,
@irving@mastodon.social avatar

@dpiponi @johncarlosbaez You get a lot more than one term per iteration: the number doubles each step.

ZachWeinersmith, to random
@ZachWeinersmith@mastodon.social avatar

Every expression in this painting is priceless

irving,
@irving@mastodon.social avatar
gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

A sphere is the nicest surface with constant Gaussian curvature κ=1, but these surfaces also have κ=1, except at the cusps.

In cylindrical coords:

z = √(1-χ²) E(arcsin(ρ/χ) | χ²/(χ²-1))

z is measured from a cusp
χ is radius of equator
E is an elliptic integral of the 2nd kind

A sphere deforms, stretching along one axis and shrinking in width into something like a prolate ellipsoid, but with a cusp at the poles.

irving,
@irving@mastodon.social avatar

@gregeganSF Is it right that you need at least 2 cusps?

ZachWeinersmith, to random
@ZachWeinersmith@mastodon.social avatar
irving,
@irving@mastodon.social avatar

@ZachWeinersmith One of your strongest endings yet, I have to say.

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

Phoenix is a sprawling city with a population of 1.6 million. The daily high temperature there has exceeded 43° C (110° F) for 25 consecutive days. For two weeks, the low has exceeded 32° C (90° F).

So, Phoenix is a glimpse into the hellish future we are sleep-walking into.

Like most American cities, Phoenix is addicted to cars. They've tried to make a lot of the highways concrete, which is whiter. But still, there's a lot of black asphalt. Now this asphalt routinely reaches 82° C (180° F), so it can burn the bottom of your feet - even when you're wearing shoes.

Outdoor jobs like construction work are no good when it gets this hot. So Phoenix is starting to try container storage housing, which can be built indoors in air-conditioned environments and then installed on site using a crane.

The mayor there says:

"Well, our priority is to get people into indoor shelter. Thanks to our partnership with the Biden administration, we now have hundreds of millions of dollars that we can put towards indoor, air-conditioned shelter. So that is our top priority."

Air conditioning. Lots of air conditioning! So lots of electricity. Last year 42% of the electric power in Arizona came from natural gas, 29% from nuclear power, 12% from coal, and 10% from solar, 5% from hydroelectric and 1% from wind.

I'm glad there's a lot of nuclear power. All of this comes from just one plant southwest of Phoenix, with three reactors and a capacity of 4 gigawatts. Imagine tripling this, and boosting solar too. This wouldn't save Arizona from global warming, but it would be a step in the right direction.

irving,
@irving@mastodon.social avatar

@johncarlosbaez Are containers built out of extremely heat conductive metal, or is this a different kind of container?

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

TIL about the sverdrup:

“As a consequence, the resulting Gulf Stream is a strong ocean current. It transports water at a rate of 30 million cubic metres per second (30 sverdrups) through the Florida Straits. As it passes south of Newfoundland, this rate increases to 150 sverdrups.”

https://en.wikipedia.org/wiki/Gulf_Stream

“In oceanography, the sverdrup (symbol: Sv) is a non-SI metric unit of volumetric flow rate, with 1 Sv equal to 1 million cubic metres per second (264,172,052 US gal/s).”

https://en.wikipedia.org/wiki/Sverdrup

irving,
@irving@mastodon.social avatar

@gregeganSF The gallons per second parenthetical feels a bit silly, I have to say. :)

j_bertolotti, to random
@j_bertolotti@mathstodon.xyz avatar

When you see a "list of academics on Mastodon", but Physics is not even one of the possible options 🤷🏻‍♂️
https://t.co/29WkGr0ABw

irving,
@irving@mastodon.social avatar

@j_bertolotti The word “physics” occurs 10 times on that page, though.

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

This @QuantaMagazine article:

https://www.quantamagazine.org/to-move-fast-quantum-maze-solvers-must-forget-the-past-20230720/

is great, but it left me wondering what it could mean to “solve” a maze if the solution isn’t a description of a complete path from entry to exit.

The linked paper https://arxiv.org/abs/quant-ph/0209131 has the answer. Vertices are given random labels, and a maze oracle, queried with one vertex’s label, tells you the labels of the vertices you can reach from it. To “solve” the maze means identifying the label of the exit.

So a quantum algorithm that won’t remember any specific sequence of vertices through the maze can still tell you the name of the exit vertex.

irving,
@irving@mastodon.social avatar

@gregeganSF @QuantaMagazine Hmm, there’s something basic I don’t understand about the overall setup, since given a welded tree you could construct an alternate graph where the second half is duplicated an exponential number of times with the label of the path midpoint attached.

Ah, but maybe then the result just says you can’t find a path to one of the exponentially many exits of that graph without forgetting the exit, which is plausible enough.

ZachWeinersmith, to random
@ZachWeinersmith@mastodon.social avatar

Just figured out how to rebrand smbc for the modern moment

irving,
@irving@mastodon.social avatar

@ZachWeinersmith The Everything Comic.

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

[On the IMAX print of Oppenheimer. Good grief. At least he didn’t demand doubling the frame rate ...]

"It costs around $80,000 and weighs 260 kilograms; without the upgrade, the print would have fallen off the edges of the film platter.

"Previously, Nolan's Interstellar was the longest you could run at 170 minutes … Nolan didn't want to compromise his vision of Oppenheimer and edit it down, so he said to IMAX 'you need to extend the equipment'.

https://www.abc.net.au/news/2023-07-20/imax-oppenheimer-christopher-nolan-imax/102620264

irving,
@irving@mastodon.social avatar

@gregeganSF The article does mention it, but this seems like a fairly niche problem given that nearly all IMAX theatres are digital.

ZachWeinersmith, to random
@ZachWeinersmith@mastodon.social avatar

Found a solution to AI alignment

irving,
@irving@mastodon.social avatar

@ZachWeinersmith This defends only against existential risk, not castastrophic risk, though. Permanent disempowerment is bad too!

  • All
  • Subscribed
  • Moderated
  • Favorites
  • normalnudes
  • hgfsjryuu7
  • magazineikmin
  • thenastyranch
  • Youngstown
  • slotface
  • everett
  • ngwrru68w68
  • mdbf
  • kavyap
  • tsrsr
  • Durango
  • PowerRangers
  • DreamBathrooms
  • Leos
  • InstantRegret
  • khanakhh
  • osvaldo12
  • vwfavf
  • tacticalgear
  • rosin
  • cubers
  • cisconetworking
  • GTA5RPClips
  • ethstaker
  • tester
  • modclub
  • anitta
  • All magazines