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.

0 0 1 122 0

0 0 3 75 0

View Details

Toposopher @toposopher

4 weeks ago

@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. x.com/toposopher/sta…

Toposopher @toposopher

4 weeks ago

Most people have never attempted to look into the proof of FLT, let alone understanding it. It doesn't matter if there exists some known accepted truth that is not widely understood by your specie, be human or not. It, therefore, doesn't matter who understands.

1 0 0 212 0

1 1 1 119 0

View Details

Toposopher @toposopher

4 weeks ago

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.

0 0 0 26 0

View Details

Toposopher @toposopher

4 weeks ago

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

a month ago

@stevenstrogatz If this is the only human input given to solve the conjecture: github.com/jinshanmu/Crou… 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?

15 4 49 11K 18

2 0 0 138 0

View Details

Toposopher @toposopher

4 weeks ago

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

4 weeks ago

@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.

1 0 0 475 0

1 0 0 357 0

View Details

Toposopher @toposopher

4 weeks ago

@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.

1 0 1 25 0

View Details

Toposopher @toposopher

4 weeks ago

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.