/sci/ - Science & Math

>>9304042

>>9304042
Isn't she dead?

post more Cleo she's the best math waifu there is, no one can do integrals as fast as Cleo

>>9304057
based cleo best cleo

>no posts in 2+ years
yeah pretty sure she was stopped
she's probably solving the problems and keeping it to herself because of all the salty comments she gets on each of her answers

>>9304042
Who was / is cleo?

I just assumed she set up fake accounts to post questions she'd already worked out the answer to, just so she could answer it first and look smart.

>>9304128
>What was Cleo?
fixed that for you.

It was (most likely) a comp sci analysis geek on StackExchange, larping as a invalid girl, solving some astonishingly hard calculus problems.

>>9304042
>>9304043
why does the MSE community suck so much my good bitches

>>9304132
>I just assumed she set up fake accounts to post questions she'd already worked out the answer to, just so she could answer it first and look smart.
The accounts that posted the questions had long histories with many other questions

>>9304057
>>9304074
Nice examples of brutalizing the columns. Nevertheless these are a few years old.

>>9304179
That does not solve anything, moreover why would a comp. sci. geek beat mathematicians?

>>9304292
>moreover why would a comp. sci. geek beat mathematicians
By just beating them? Why do you think that is impossible? When the internet exists, even.

>>9304301
>By just beating them? Why do you think that is impossible? When the internet exists, even.
Because they'd get approximate solutions, not exact ones like 4pi*arccot(phi)

>>9304301
She solves mathematical problems that mathematicians struggle with. It is not obvious how someone with a comp.sci. background would do better.

The Internet does not help you in solving new problems. I think mathematicians also are capable of searching the net before posting a hard question.

>>9304132
>>9304271
The most likely answer is that she or they(if its multiple people involved) solve difficult integrals for fun. There were groups of Russian mathematicians that did this and the books of integral formulas were the result. Cleo just doesn't publish all the integrals done and just waits for someone to ask it.

>>9305183
because Riemann integration "is solved" to the extent that it can, and in what is now known as computer science. Essentially
https://en.wikipedia.org/wiki/Risch_algorithm
I just always assumed it's some guy who wrote his own tools to do this stuff - essentially the pieces that the Wolfram team didn't care for.

>>9305183
because Riemann integration "is solved" to the extent that it can, and in what is now known as computer science. Essentially

https://en.wikipedia.org/wiki/Risch_algorithm

I just always assumed it's some guy who wrote his own tools to do this stuff - essentially the pieces that the Wolfram team didn't care for.

>>9305183
>She

>>9305415
They only give numerical estimations. To get closed form solutions it requires methods which people haven't figured out how to program yet. Some examples.
https://math.stackexchange.com/questions/426325/evaluate-int-01-frac-log-left-1x2-sqrt3-right1x-mathrm-dx/428709#428709
https://math.stackexchange.com/questions/562694/integral-int-11-frac1x-sqrt-frac1x1-x-ln-left-frac2-x22-x1

>>9304042
Why do you insist on making this thread every few months? Get those autistic ticks checked out before you hurt yourself.

>>9305580
what? no, Risch algorithm etc. doesn't give numerical estimates, it computes anti-derivatives

>>9305591
Yes I know but those algorithms can't solve the really difficult integrals done on stackexchange. Computers can only find estimates for those right now.

>>9305600
What you just wrote doesn't make any sense. Humans are entities that can compute, therefore are computers.

>>9305610
wow, so edgy

>>9305618
Not edgy, that's just computer science.

>>9305623
ouch, even edgier, just dont make it worse and say humans are biological machines either

>>9304238
Bunch of kissless hand holdless virgins who have an inflated sense of self importance because they have some upboats and 19yos suck their dicks online to solve their homework.

>>9305610
>Humans are entities that can compute, therefore are computers.
Is this some kind of general view held by comp.sci. types?

>>9304393
>Because they'd get approximate solutions, not exact ones like 4pi*arccot(phi)
Your ignorance is sad. Why do you think computers can't do algebraic computations?

>>9306207
>Your ignorance is sad. Why do you think computers can't do algebraic computations?
Which algorithm produces that answer for the integral?

>>9306211
I don't know, but if a mathematician can calculate it exactly, what stops him from making an algorithm out of the steps he applied?

>>9306221
This has to be bait

>>9306222
It is not. There's a whole field called "Computer Algebra" which deals with - you guessed it - doing algebraic transformations on computers. Thanks to that you can for example ask wolfram alpha what [eqn]\sum_{n \to \infty} \frac x {n!}[/eqn] is

>>9306221
>I don't know, but if a mathematician can calculate it exactly, what stops him from making an algorithm out of the steps he applied?
Plenty of processes can't be (easily) generalized past the specific problem it came from, and if the calculation only works for one specific integral then it's not really the kind of algorithm people generally mean when they discuss integration algorithms

>>9306221
>him
Cleo is a "her".

>>9306244
>her

>>9306225
>this hard
Read >>9306231 as to why i think you're baiting. And that you interpreted it as an attack on computer algebra means i'm either getting baited or, more likely that you're a massive brainlet.

>>9306225
The Risch algorithm which you mentioned is an algorithm that finds antiderivatives. The integrals Cleo does do not have elementary antiderivatives. To solve those kinds of integrals you have to use other techniques that are based on higher level analysis than just antiderivatives. No algorithm currently does this because
1) These integrals are so special that not even computer scientists care about them. Computer scientists care about functions with antiderivatives so they can test their CAS's on them. And engineers only care about approximations.
2) It is impossible to predict what technique will work. And finding solutions in terms of known constants depends a lot on the limits of integration which means that just shifting the limits a little bit would require a whole new set of techniques complete different from the ones originally used.

Learn to integrate man.

>>9304047
>Last seen Jan 5 '16 at 23:34
Not sure what is up. One person thinks he knows who she is, that she is Russian.

>>9304057
>>9304074
How good is mathematica?
Isn't it possible for mathematica to do this for you?

How does wolfram alpha compare?

>>9308866
i don't have mathematica available, but wolframalpha can't do it algebraically.
if you check the answers proving her result, there's no way a computer could do this (without hard-coding) with current technology:
https://math.stackexchange.com/questions/562694/integral-int-11-frac1x-sqrt-frac1x1-x-ln-left-frac2-x22-x1

>>9308833
A girl with similar abilities in analysis was in algebraic topology class at phystech with me.
She was weird, always looking down on the table during lectures, no notes or anything, just smiling at the desk. Pretty cute too. She probably had Asperger because she only ate frozen pizza and sneezed during sex. Last time i've seen her, she was researching R-projectivity.
>>9308866
You can't manipulate mathematica to do this. These are pretty nasty integrals that require very specific methods to solve, and it's also difficult to know which will work.

>>9309019
>sneezed during sex

>>9309019
>A girl with similar abilities in analysis was in algebraic topology class at phystech with me.
>She was weird, always looking down on the table during lectures, no notes or anything, just smiling at the desk. Pretty cute too. She probably had Asperger because she only ate frozen pizza and sneezed during sex. Last time i've seen her, she was researching R-projectivity.

this whole paragraph is just 10/10

>>9308032
>The Risch algorithm which you mentioned
I haven't been back to this conversation for days.

I also called that one guy edgy, even if he defended my general standpoint, because his le humans are computers is an edgy false ideology

>>9309055
Well she was weird. I wouldn't know >>9309087 if i didn't jokingly ask her "so when are we gonna fuck" when consulting an assignment. She thought about it for few second and said after we're done with the assignment.
Disturbingly good at integrals though. I really want to get in contact with her now that i was reminded of her.

>>9304042
*solves your integral*

>>9309406
Ron Gordon was so salty every single time she solved the integral before him (every time). And that axiomatic system burn... I'm in love

>>9309425
It is really funny to see everyone with messy, inelegant answers then when cleo comes along everyone being upset that they don't show any work, or how it's worthless without a proof.

All that salt.
It makes me a bit sad she's not posting anymore despite the hate.

>>9309465
I never posted in those threads or try to solve them, or asked such a question - i.e. I'm not emotionally involved in this - but I also find just posting
I = such and such trigonometric function of a log of bla
without proof not a good answer. You learn math to either enjoy the relations or be able to do math for some purpose later, and the result alone doesn't give either.
It reduces the OP to "here's a quiz, I don't care for it, I just want to test you monkeys of SE"

>>9305717
>>9306206
It's the truth whether comp.sci types believe it or not (and we do).

>>9309474
Perhaps it's because when I get stuck I'd rather know if I'm on the right path, or thinking about the question the right way, or even if it's not futile trying to work on something rather than get upset I wasn't handed the answer. I feel like I get more out of it when I do reach the conclusions on my own.
Im sorry we don't have the same opinion.

>>9309474
I bet nobody would come up with that beautiful closed form if she didn't post it. Answer by itself is very valuable because it tells you what to work towards, it's a pretty big hint.
Admittedly she's using some pretty unconventional stuff (polylogarithms? who studies that...)

>>9309388
how was the pussy game?

>Can she be stopped?

She is literally a god tier autistic wolfram alpha, literally any maths researcher does more impressive stuff than she does.

>>9309526
I'm fairly confident that he uses computer algebra (as I said above, maybe self written even) and thus I find it pretty ugly to just post the answer, to hide from that fact, and on top of that use a "mysterious girl" post and write in the profile "I have a sickness and therefore can't talk much". This is just so evident bullshit that I find it hard to be sympathetic.
Of course, I might be mistaken, but I'm very confident I'm not.

>>9309615
>I'm fairly confident that he uses computer algebra
Isn't the more plausible explanation that it's done by hand, especially when no other CAS can do it and anyone else who provides an answer has done it by hand?

>>9309615
>I'm fairly confident that he uses computer algebra (as I said above, maybe self written even)
Do you realise such software would sell for a lot of money? If someone had succeeded I would expect they would be selling it rather than using it for pot shots on an Internet forum.

>>9309648
some (many, rather) mathematicians are extremely autistic and don't care about money

>>9309659
Quite possibly. Quite a few do care about reputation, especially in research. That is how you get tenure.

>>9309622
to quote myself in >>9305415
>I just always assumed it's some guy who wrote his own tools to do this stuff - essentially the pieces that the Wolfram team didn't care for.

The person just took an interest in stuff nobody else does. I'm sure 95% of Erdos meme theorems can be formalized and the techniques be automated too, but it's uninteresting. Go into a library at a math university and pull out a book from the 70's that's not been touched for 20 years, and you'll find many mathematical theories that have been forgotten. And I mean studies of objects like groups without units and stuff like this. Or the whole potential theory spiel. Or first-order theories in logic and thorough investigations of their models, where the axioms are essentially random and without motivation. 97% of math discovered isn't used anymore. If Wolfram doesn't have a normal form and closed solution for it, doesn't mean the algorithm to do it doesn't exist.

>>9309567
>Wetness: 10/10, puddle of it on my belly
>Tightness: 7/10, surprisingly good for a girl that fucks a guy who just asks her
>Muscle control: 9/10, apparently she did gymnastics in high school (and occasionally during our time on phystech)
>Smell: 0/10, reminded me of that time in elementary school when i jacked off for whole weekend without washing myself (it persisted to certain degree even after she showered, which was a rare occasion for her)
>Looks: 7/10, innie with a wonky flap between anus and vagina (she loved tickling there)
>Taste: 10/10, best/best, tasted like mango- quite a pleasant surprise considering her smell
>Cobordism theory: 10/10, she aced that class, beating me spectacularly (up to 2 days in assignments, about 20 minutes on written part of exam)
She's not on phystech though, left after 3 years so i didn't get to enjoy her company much. She never talked about anything but math, except in bed.
The ideal wife.

>>9309719
>tfw no qt cleo mango pussy waifu
Just fucking end me lads

>>9309490
YIKES

>>9309425
> axiomatic system burn
what?

>>9309719
>tfw only have done stuff with normie girls who can't appreciate the Lagrangian approach to our two-body problem

feelsbadman

>>9309719
>ywn bang cleo so hard she becomes invalid
why even fucking live

>>9311423
There are many ways to prove this result. The easiest one is to work in an axiomatic system that accepts it as an axiom. I prefer this approach when I know the result. Therefore, the full proof is given here. I understand and accept that some people who are not willing to work in this axiomatic system may find my proof not useful for their purposes. In such a case it is perfectly okay to downvote my answers (downvote means "not useful"). I also invite them to post their proofs then. I would prefer not to go into this discussion anymore. My apologies to anyone who feels irritated by my answers. – Cleo

*answers ur question*

>>9311626
fucking classic

>>9309719
>She never talked about anything but math
jesus this is the kind of a woman I want

>>9311626
>I prefer this approach when I know the result.
Hmmm. Intuition? Or do mathematicians not admit to this?

>>9311991
This was her response to a comment asking her to give full proof. Intuition isn't proof, not to mention nobody has such godlike intuition as to see the closed form of the integrals she tackles. Polylogarithms are the least arcane bit of knowledge she used (presumably- we don't know how she solved them, just that these methods lead to identical solution).

>>9312237
>Intuition isn't proof
I know that - it just gives you a direction, possibly an answer but of course cannot be a proof.

>>9313836
Carl and Rob are so fucking salty it's crazy. She literally writes nothing but a solution and they project so fucking much.

>b-b-but you're so arrogant and rude and bitchy and nobody likes you

>>9304042
>she