Viewing profile — soloist11

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.

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…

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.

You should let it plan your day. It's obviously much smarter than you.

That's incorrect.

So the LLM is not doing arithmetic?

I'm pretty sure it's all arithmetic for an LLM but you do you too.

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…

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 p…

Wow, incredible. No one needs to learn math anymore, AI can do it for us now.

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.

Are you sure?

The LLM is not doing anything other than arithmetic calculations. Every operation an LLM is doing can be done with a calculator.

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 …

[flagged]

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.

Sure, good luck with this AGI business. I'm sure it will work out great for everyone in the end.

The LLM is a calculator. Think about it.

Computing simplicial homology is basic arithmetic. It's the same goal post.

The comparison still makes no sense. What would be an external aid for a computer?

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.

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…

What is your degree in?