Toposopher

[Toposopher @toposopher]

immutable moats do not exist; immotable moats, however, do exist.

[Toposopher @toposopher]

@Arkasiraee Die-by-wire indeed

[Toposopher @toposopher]

Everyone... Weinstein on All-in pod... Only in America!

[Toposopher @toposopher]

Hello AI, come for Weinstein Conjecture please, and fuck it to its core full generality.

I'm waiting...

[Toposopher @toposopher]

@NoahChrein man this guy has more energy than my most active minutes of the entire week combined :(

[Toposopher @toposopher]

Are human gait explorations constrained by treadmill designs?

[Toposopher @toposopher]

Take care of your elderly, they need psychological attention as much your babies do.

[Toposopher @toposopher]

@alz_zyd_ I used to believe education cures povert, I don't anymore, here is one thought process of mine that leads to it:

[Toposopher @toposopher]

If, however, we do invent or discover a compressor that is good enough, man that's a blissful paradise, it is ya?

I've come to a core belief after a decade or so of pondering that public education is not even in the class of compressors.

I feel sad about this belief everyday.

[Toposopher @toposopher]

@LGcommaI disagreement here:

I believe those conjectures being proved are useful to the advancement of technology if not science, if given trusted proof kernel compiles it, I'll have my "faith" in it, just like how we believe field medalists not from out field.

https://t.co/TtLzMtqzCR

[Toposopher @toposopher]

I deleted the thread below this, idk why.

I'll keep the thoughts for later, ig. And also collect for arguments here in this thread.

[Toposopher @toposopher]

I keep finding both sides of the AI×Math debate convincing and unconvincing at different points of time. I want to record some of my thought here before they evaporate and I sleep:

There're essentially 2 arguments against AI in Math that I'm aware of:

1. Who understands matter:

[Toposopher @toposopher]

@LGcommaI Not every "generated truths" are to be understood, some, in fact most, are to be used as tools.

The ones that really matters to us, we'll have to soak our nuts for it, even if that means using huge conomic resources.

[Toposopher @toposopher]

That is, what's the point of AI generated math if none understands it, are they even truths? How do we know?

2. Then the slot machine argument that asks who gets to get the credit:

That is, what's the point of attaching names when it's all random language distribution poking?

[Prathyush @prathyvsh]

@stevenstrogatz If this is the only human input given to solve the conjecture: https://t.co/b3gQb0gVXT how is this any different from playing a slot machine? How can we meaningfully assign credit for getting there first when the machine is doing all the heavylifting?

[Toposopher @toposopher]

@isomorphisms You won't believe I had the same/similar vision for before I turn 20 lol and here I am!

I've grown up now, though, I, now, know what not to focus on.

[Toposopher @toposopher]

If I were 80 today what do I want to have done by 30?

Probably a good online pdf encompassing the entirety of human knowledge I care about, leaving no gaps.

[Toposopher @toposopher]

@LGcommaI I'll add this as an addendum here:

[Matteo Capucci @mattecapu]

the relevant distinction is not between pure and applied math but rather between math-as-an-art and math-as-a-technology

[Toposopher @toposopher]

@LGcommaI Not every "generated truths" are to be understood, some, in fact most, are to be used as tools.

The ones that really matters to us, we'll have to soak our nuts for it, even if that means using huge conomic resources.

[Toposopher @toposopher]

I hope india wins something big by 2030, I really want it to.

[Toposopher @toposopher]

What convinces your mind that LLMs are not parrots?

Looking for some genuine philosophical arguments.