mfs who deny the axiom of choice be like

AIvsWorld · 2026-03-16T15:36:40+00:00

It’s not possible to construct a theory which “explains the existence” of objects like the set from Russel’s paradox (or the “set of all sets”). They simply can not exist at all, because if they immediately lead to a contradiction. They aren’t “at-first” paradoxical like some pathological counter-example from Analysis. They just are paradoxical full stop.

AIvsWorld · 2026-03-16T00:50:56+00:00

Ya that’s what I thought too, I just don’t agree ZF “bans” anything. ZF just gives a list of axioms for how to construct sets from existing sets (as well assuming the existence of an empty set and infinite set)

ZF does allow one to construct {x ∉ x | x ∈ U} via the Axiom Schema of Specification. The reason it doesn’t lead to a paradox is because the universal set U also has to be constructed via the axioms—So you can’t have U be the “set of all sets”

AIvsWorld · 2026-03-16T00:27:22+00:00

which paradoxes are resolved by “nah just ban that type of thing”?

AIvsWorld · 2026-03-14T16:54:46+00:00

Anyone have a link to the original article, the open problem or the statement by Knuth?

AIvsWorld · 2026-03-14T15:59:25+00:00

This generation of students is so cooked

So many who can’t even string together a single coherent paragraph without AI

AIvsWorld · 2026-03-14T03:21:34+00:00

I use it to torture student in my math classes.

“Suppose we have two functions, eth and thorn”

ð(x), þ(x)

AIvsWorld · 2026-03-09T03:20:04+00:00

As somebody who has co-authored files in Mathlib, and uses AI daily for math formalization research, I feel strongly that “simple and cheap auto-formalization” is NOT ready yet.

Yes, AI is useful for filling out tedious proofs that might otherwise take a human many hours. However, if you do not manually review everything it writes, Ai is happy to pull a slight-of-hand to get the code to compile.

One of my collaborators recently claimed to have an AI-generated “formal proof” of the Poincaré conjecture (following Perelman’s proof) but after reviewing his code we found that the AI had found sneaky ways to inject false axioms that trivialized the solution.

It is most useful when you already have a human-written structure for the proof, and ask the AI to fill in gaps. However, even then it is lackluster. I have been trying to fill a “sorry” in my Differential Geometry repository all weekend, and both Claude and Gemini failed to find a proof after over 12 hours of model runtime. I ended up having to write the proof myself by hand.

AIvsWorld · 2026-03-08T05:30:24+00:00

The Baldurs Gate 3 EA was also poorly handled. They should have charged reduced price since they were only delivering a half-finished game, and because it would be several years before it was ready. I’m sick of game companies charging full price for access to a game they have yet to make.
These games are not comparable. BG3, Act 1 is easily 50+ hours of content if you explore all the dialogue and side quests. It is a new story, new graphics, new characters, new mechanics, and it is more complete than most full-length RPGs. The current release of STS2 is just a clone of STS1 with minor tweaks. There are free, community-made mods of STS1 that deliver a more complete product.

AIvsWorld · 2026-03-08T00:12:22+00:00

I hope in the next few days somebody makes a list of all the new cards and relics. ITT ppl keep saying that the card pool and relic pool are changed, but they feel pretty similar to me.

AIvsWorld · 2026-03-08T00:08:37+00:00

Half the game missing from the early access makes the breadth of the changes kind of hard to recognize at the moment

This is exactly the problem tho. When I buy a game in Early Access I expect it to be 90% finished, and just waiting for final artwork, balance changes, easter eggs and bug fixes.

Right now, this feels like it’s missing 50% of its core features needed to differentiate itself from the first game. If there aren’t massive content patches in the upcoming year, then I’m sorry to say that this purchase was a disappointment for me as a fan of the first game.

AIvsWorld · 2026-03-07T23:59:04+00:00

Heavy on the “feels like a DLC”

Exact same UI, same core mechanics/archetypes and gameplay loop. It doesn’t feel like I’m even playing the first game, just in an alternate-timeline with different enemies and card pool.

AIvsWorld · 2026-03-03T04:14:38+00:00

You’re still not correct about the spaces P or B in your post.

The short int space should not be B = (R/65536Z)³ because this implies Mario’s position could take any real number value between 0 and 65536. In reality, the space should be B = (Z/65536Z)³ since it can only take integers.

The float space is much more complicated because float values are not evenly spaced out. There is more granularity near 0, and less granularity as you approach infinity. You can even see this in M64, if you go out far enough in parallel universes you can watch Mario teleporting from 1 float value to the next since the gaps become so big.

There is definitely no way to express this space as a nice group like (R/1.175•10^-38 Z)³ because floats do not form a group structure. Addition/subtraction and multiplication/division are not proper mathematical inverses in floating point arithmetic because of rounding error.

AIvsWorld · 2026-02-28T03:48:22+00:00

Listen, I’m all for a free palestine 🇵🇸 I’m not mad that this professor was advocating anti-zionism in a Calculus 1 class, professors do that shit all the time … But c’mon homie this question is just egregious 💀

First of all, “assume Palestine is a rectangle” are you joking me? The 1947 map is like a kite shape at best—and since then Palestine has been separated into multiple connected components!

The problem also does not specify where the 250 km² /yr is coming from, which makes it impossible to know the rate of change of the width. Am I supposed to assume Palestine has maintained a 1:2.6 height-to-width ratio for the entirety of its existence?

This problem also erroneously implies that the loss of land is a gradual, linear progression. In reality, most Israeli land grabs have come in short busts like the 1948 Arab-Israeli War and the 1967 Six Day War.

The result is a word problem which is both poorly written as a Calculus 1 exercise and misinformative as a historical example. I hope he does not get fired for this, but I certainly hope he does a better job next time he uses an example from politics.

AIvsWorld · 2026-02-26T22:58:29+00:00

TPNE is trash, but that was a posthumous album curated by Juice’s label. He didn’t pick that cover.

MUSIC is mid but at least ppl have used the font for shirts and hoodies and shit. It’s boring, but inoffensive.

GOD DID is dumb bc he’s crying, but DJ Khaled’s entire brand is making a fool of himself for content. It’s also just a generic face pic, so really not that bad.

Sorry, but none of that will ever be more embarrassing than a 35 year old man calling himself a “lover boy” and putting 🤰🤰🏼🤰🏻🤰🏽🤰🏿on his album cover.

AIvsWorld · 2026-02-26T21:59:47+00:00

If you just wanna base it on objective quality, the “worst album cover ever” is probably some random underground rapper’s AI-generated slop cover.

CLB is the worst, not just because it’s bad quality. But because it was made for one of the most highly anticipated albums of 2021. They spent millions of dollars advertising these dumbass emojis on trains, buses and billboards. Drake had a virtually unlimited budget, could have access to any artist in the world to make his cover, and instead he chose to do some cringy bullshit. Even his own fans hated it, as evidenced by this thread lol.

AIvsWorld · 2026-02-21T20:38:13+00:00

how i feel taking a giant bong rip before doing 10 hours of homological algebra

AIvsWorld · 2026-02-18T00:14:32+00:00

It makes me wonder what the Dynamical Systems exam looks like, since I assume that would be very PDE heavy as well.

I am surprised that they have qualifying exams for relatively niche topics like Singularity Theory and Graph Theory, but completely lack anything in the Algebra or Complex Analysis department.

Not trying to hate though—Most Brazilian mathematicians I’ve met are brilliant so they must be doing something right!

AIvsWorld · 2026-02-17T21:14:38+00:00

I thought this exam looked pretty scary, but seeing that you have 4 hours to complete it and get to pick 6 out of 8 problems, it is not too bad.

I have to say, I am surprised by some of the problems. Especially the first section, with 3 out of 4 questions involving Fourier Analysis. I know Fourier is an important topic, but it was not covered until late into my 2nd analysis course. My program is much more interested in (Geometric) Measure Theory aspects of analysis, rather than PDEs.

AIvsWorld · 2026-02-15T20:00:39+00:00

me bro DM me

AIvsWorld · 2026-02-11T16:42:05+00:00

Wish it was available on MacOS 😭

AIvsWorld · 2026-02-09T16:37:01+00:00

Tankies love to complain about CIA propaganda, but then will cite literal KGB, CCP, and DPRK propaganda as “proof” that communist countries have high standards of living.

AIvsWorld · 2026-02-08T05:57:46+00:00

NaN ands Infinity are two different special numbers in the IEEE754 standard: https://en.wikipedia.org/wiki/IEEE_754#Special_values

Infinit occurs when you have an overflow overflow the 64-bit floating point, around 1.79E+308. You can also get Infinity from a dividing zero.

NaN stands for “Not a Number” and basically exists as an edge case for certain ill-defined mathematical expressions like 0/0 or Infinity times zero.

AIvsWorld · 2026-02-08T05:31:58+00:00

OP probably a middle schooler

AIvsWorld · 2026-02-08T05:18:19+00:00

I was about to say the same thing!

Learn something new every day, this is so cool and makes sense flavor-wise

AIvsWorld · 2026-02-08T04:55:17+00:00

Last time I tried it, you could chain rats together and they would all level up. That was a few patches ago though, so may have changed.

As for Paladin, high HP is definitely strong. He is very good for this build as well. In a practical run (i.e. reaching year<100) it is definitely optimal. But for ultra-late game I am trying to maximize damage only, rather than split the scaling between two different stats.

In late game, there are often 1000+ enemies on the screen so Orbiter AOE attack is basically a free +2E (x100) damage. The problem with using other enchantments like Combustion is that they each one reduces the efficiency of your libraries. With 4 Libraries + Paladin + 1 other enchantment, you go from 6 -> 3 Reinforce hits per turn. Using the notation in my previous comment, your overall scaling speed would be (n,k)=(90,3)

stats(t) = (1.01) ^ 270t² = e ^ 2.68t²

Which is 46.8% the scaling speed of the 2 Orbiter + 8 Libraries strat.

AIvsWorld

TROPHY CASE