soloist11

6 ms·

1.
by soloist11 2y ago
Don't worry, we'll have AGI soon and it will give the correct answer instead of whatever plausible nonsense it put together this time. I have faith.
2.
by soloist11 2y ago
lmao. you're totally right. RP^2 can be triangulated with a single triangle with all of its vertices identified. that's totally how you compute the simplicial decomposition of RP^2
3.
by soloist11 2y ago
You should marry an AI and not worry about my dumb linear equations. That way the AI can do everything for you, it can even think for you.
4.
by soloist11 2y ago
You should let it plan your day. It's obviously much smarter than you.
5.
by soloist11 2y ago
That's incorrect.
6.
by soloist11 2y ago
So the LLM is not doing arithmetic?
7.
by soloist11 2y ago
I'm pretty sure it's all arithmetic for an LLM but you do you too.
8.
by soloist11 2y ago
The models operate by the logic of boolean arithmetic so in that sense they can not be inconsistent. But in any case, it's pretty obvious no one in this thread understands what I'm getting at but maybe eventually there will be an
9.
by soloist11 2y ago
How do you know it's correct? The only simplicial traingulation I know of is by splitting up the sphere into an icosahedron and then identifying all the opposite faces to get the proper antipodal action for the quotient.
10.
by soloist11 2y ago
Wow, incredible. No one needs to learn math anymore, AI can do it for us now.
11.
by soloist11 2y ago
Wow, that's amazing. We have achieved AGI already. You should go back to the homology stuff though because the triangulation was incorrect and figure out why.
12.
by soloist11 2y ago
Are you sure?
13.
by soloist11 2y ago
The LLM is not doing anything other than arithmetic calculations. Every operation an LLM is doing can be done with a calculator.
14.
by soloist11 2y ago
Pretty sure I'm right. Ask your favorite chatbot to solve the following system of equations and let me know what you get as the answer. Here is the answer from gemini: > Solve the following system of equations: 2x + 2y = 2 and x + y
15.
by soloist11 2y ago
I don't know man, I keep hearing about AGI before 2030 but none of these AI labs can figure out how to do arithmetic with their fancy intelligence software.
16.
by soloist11 2y ago
Sure, good luck with this AGI business. I'm sure it will work out great for everyone in the end.
17.
by soloist11 2y ago
The LLM is a calculator. Think about it.
18.
by soloist11 2y ago
Computing simplicial homology is basic arithmetic. It's the same goal post.
19.
by soloist11 2y ago
The comparison still makes no sense. What would be an external aid for a computer?
20.
by soloist11 2y ago
I don't know what that means. There is nothing "mental" happening in the circuits of the computer or the function graph which is implemented on top of it.
21.
by soloist11 2y ago
Perfection is not the problem. An obvious test case of intelligence is to formally model something like algebraic topology in a formal logical calculus like intensional type theory with identity types. Even though all the commercial labs ha
22.
by soloist11 2y ago
What is your degree in?
23.
by soloist11 2y ago
You'd think with all those billions spent on the software and the hardware it would be a walk in the park to convert a single book on algebraic topology into a formalized Coq, Lean, or Isabelle module. Seems like a very obvious test ca
24.
by soloist11 2y ago
Now ask it to convert the computation into a logical calculus so that it can be verified with a theorem prover like Coq, Lean, or Isabelle.
25.
by soloist11 2y ago
Tokenization as the main problem is a red herring. It's possible to get rid of the tokens entirely and train on byte sequences, it won't make a difference to why generative AI can't count or do basic arithmetic.
26.
by soloist11 2y ago
Yes, the issue is that statistical models can not reason and determine what is logically valid vs what is most probable (which I guess is also its own kind of logic).
27.
by soloist11 2y ago
Ask them to compute the simplicial homology of the n dimensional projective plane next.
28.
by soloist11 2y ago
That won't make a difference. These generative AI systems have ingested more math books than any human being alive today and they still can't add numbers.
29.
by soloist11 2y ago
This is like saying binary numbers are the reason generative AI falls short. Computers work with transistors which are either on or off so what are these people proposing as the next computational paradigm to fix the problems with binary ge
30.
How are Microchips Made? [video](youtube.com)
1 points by soloist11 2y ago|0 comments

More ›