Cleo, the Mysterious Math Menace

0
14

Anthony Bonato: It’s a bit of an urban legend in mathematics. There’s a sort of a romance to the story, in a way.

Allison Parshall: I’m Allison Parshall, and you’re listening to Science, Quickly. Today we’ve got an episode about a mysterious figure in the online math world. They disappeared years ago but are still sparking debate and speculation.

[CLIP: Show theme music]

Parshall: We all love a good puzzle. Some people have their crosswords. Some people play Sudoku. Other people are still doing Wordle.

But Ron Gordon, a patent agent and former physicist in Massachusetts, does hardcore calculus. Back in 2013, when our story takes place, he spent enough time on this online forum called Math Stack Exchange that it could have qualified as a full-time job.

Gordon: I was working my full- time job, and then I was on Stack Exchange. Plus, I had a family, too. I was having so much fun with it that I just didn’t even keep track of how many hours I was dedicating to it.

Now Ron has solved 2,954 math problems in his decade on Stack Exchange, but he’s most famous for his answer to one integral in particular. On November 11, 2013, a Stack Exchange user asked a question:

“I need help with this integral: the integral from negative one to one of one over x times the square root of one plus x over one minus x times the natural log of 2x squared plus 2x plus one, all divided by 2x squared minus 2x plus one, dx.”

Jay Cummings: Okay, that’s a crazy integral. And there are so many parts to it that, you know, one thing changes, any one of these one thing changes, and the answer is completely different.

Parshall: That’s Jay Cummings. He’s an associate professor of math at California State University, Sacramento. I’ve enlisted his help to figure out what the heck I’m looking at.

As much as solving integrals has haunted my nightmares since Calc II, the idea of an integral is actually pretty simple. Picture a line on a graph. Now imagine taking a colored pencil and shading in the area beneath that line, down to the bottom axis of the graph.

What we’re trying to find is the area of this colored region. For a straight line, this is super easy—it’s basic geometry. But the more complicated and curvy and weird your line gets, the more difficult it is to figure out the area underneath it. Now the integral in the November 11, 2013, post—that was difficult. The line on the graph looks like the spine of a long-necked dinosaur.

The original poster tried using a few computer programs, but none of them could give what’s called the “closed form” of the answer—that’s a precise and concise solution. Five minutes after it was posted, someone commented:

“Do you have any reason to believe there is a closed form for that horrid-looking thing?”

Gordon: And that was a very good question … because it would save everybody a lot of time if someone said, “This thing is impossible. Forget it. There’s no way.”

Parshall: Then, four and a half hours after the original post, there’s an answer:

“I equals 4 pi times the arccotangent of the square root of the golden ratio.”

The answer came from a user named Cleo. It was a new account with only one previous answer. Cleo provided no notes, no proof, no explanation—just a single hyperlink over the symbol for the golden ratio, which takes you to a definition of the golden ratio. Oof.

Cummings: Which is such a ridiculous answer. It’s like you get this sense of “Am I dealing with a supercomputer here, a theorem-prover that has not been released yet? Did ChatGPT start back in 2012 with integral solving?”

Parshall: The Stack Exchange community, which always showed their work, erupted in arguments in the comments section. Here’s one:

“I defer to Hamming: ‘The purpose of computing is insight, not numbers.’ Unless the result itself is particularly illuminating, I do not agree that it is an answer.”

Parshall: That last comment came from Ron Gordon, the patent agent and former physicist, who didn’t see a whole lot of value in Cleo’s bare-bones answer.

Gordon: I think at the end of the day, the value of a website like Stack Exchange lies in what knowledge you can impart to people. And I think just the bare answer to the question, by itself, doesn’t have that much value.

But it affected my determination to come up with a final solution for sure. And I spent the better part of a weekend doing it, writing it up. Took me about half a legal pad to work through it.

Parshall: It turns out Cleo had been right. Ron posted the full answer, which immediately started collecting upvotes from community members. A lot of them were in awe of the techniques he’d used to solve the problem. It was eventually posted to the subreddit r/Math under the title “Master of Integration.”

Gordon: It’s insane. This is one thing I did 10 years ago. I think I have better answers in the Stack Exchange world than that one, believe it or not. But yeah, Cleo also, you know, I think hits a nerve, too, obviously.

Parshall: Cleo’s drive-by answer had unleashed madness on Math Stack Exchange. Between 2013 and 2015, she’d go on to do this 37  more times, often popping in unreasonably quickly to solve incredibly complex integration problems with fully formed answers. She did not show even an iota of her work. Then she’d disappear again into the ether.

Anthony Bonato Experts really are divided about Cleo. You know, it’s clearly someone who has a real mastery of integration techniques…. Like, she mentions these strange functions, like, I’ve never heard of.

Parshall: That’s Anthony Bonato. He’s a mathematician at Toronto Metropolitan University.

Bonato: Some people have speculated that maybe Cleo is Stephen Hawking—or was Stephen Hawking—or, you know, the late Maryam Mirzakhani, the Fields Medalist.

Parshall: Food for thought, I guess.

Cummings: Or is this, I don’t know, Terence Tao, you know, just relaxing in the evening?

Parshall: For the record, Terence Tao, sometimes described as one of the greatest living mathematicians, confirmed via e-mail that he was not, in fact, Cleo.

Cummings: Or is this a Ramanujan…? Is Cleo another math genius from southern India who just is doing this in their spare time?

Parshall: That genius he’s talking about, that’s Srinivasa Ramanujan, one of the most enigmatic figures in mathematics history. You might have heard of him—Dev Patel played him in a 2016 biopic called The Man Who Knew Infinity.

[CLIP: Dev Patel in The Man Who Knew Infinity: “We need proofs of your work.” “But they are right, sir.” “I hadn’t completed that proof, how do you know?” “I just do.”]

Parshall: He was born in Tamil Nadu in 1887, but he comes up a lot when you talk about Cleo.

Cummings: He had this intuitive feel for math that was … frankly awe-inspiring…. He had no advanced math education. And yet, somehow, he came up with these incredible theorems.

Parshall: They seem to have struck the same nerve 100-some years apart.

Cummings: Because he didn’t include proofs. And that was sort of Ramanujan’s gift and curse. I mean, he was so, so talented, but he was never put into the educational box that says, “Here’s how you prove things; this is the path to take in order to do mathematics.”

Gordon: I think a lot of people who just hated being told, “Show your work, show your work, show your work…,” here’s someone flaunting not showing their work, and people are cheering behind that.

Parshall: But for Ron and for so many on Math Stack Exchange, all of the fun of their shared hobby is in showing your work. It’s not a dry explanation—it’s an adventure. Take Ron’s answer to that infamous 2013 integral.

Gordon: By the time I got to where I wanted it, it had like an eighth-degree polynomial in the denominator, which, under normal circumstances, would mean “No, you’re not going to be able to do this.” But it turned out that the polynomial had a lot of symmetry and I could then exploit that symmetry to deduce all the roots. I was able to reduce what I had to find from an eighth-degree polynomial to a quadratic, and from the quadratic, the golden ratio fell out.

Parshall: It turned out that Ron’s methods for solving the problem were compelling to a lot of people. His answer has earned almost 1,000 upvotes and is still shared around today.

Gordon: Do you ever watch The Big Bang Theory? There’s a scene where Sheldon has this big formula on his whiteboard and he goes, “Look at it. I feel like I just made a baby.” And I have to say, when he said that, I laughed so hard. Because there’s a lot of truth in that. When you come up with something that’s 4 pi arccotangent square root of phi, and you’ve derived it, you do feel like you created something.

Parshall: And Cleo created something, too, in her own way. But who she was, why she did it—nobody seems to know.

Parshall (tape): Do you have any personal thoughts on who Cleo is, what she does, why she does what she does?

Gordon: Absolutely not. I have no idea who Cleo is. In fact, a lot of the people I corresponded with and interacted with on the site, I know very little… I know very little of.

Parshall: Recently speculation has sparked back up again, thanks to a viral TikTok video about Cleo. Since then a user on Twitter has claimed to be Cleo but hasn’t offered any proof, and while some people are buying it, a lot of people aren’t. Whoever Cleo was, it seems that she was just very, very good at math—though some, like Bonato, suspect a computer might have been involved at some point.

Still, that doesn’t mean she was a bot, either. Computing ability for this kind of integration is still limited and would have been even more so in 2013.

Gordon: Given that the software couldn’t do these integrals, I doubt it. I’d be real curious to find out what she’s got her hands on.

Parshall: Cleo’s profile itself, which hasn’t been updated in seven years, tragically does not provide any clues. Today her bio reads:

“My real name is Cleo, I’m female. I have a medical condition that makes it very difficult for me to engage in conversations, or post long answers, sorry for that. I like math and do my best to be useful at this site, although I realize my answers might be not useful for everyone.”

But—but—I did wonder, “Has that always been her bio?” I thought I’d double-check so I went on the Internet Archive, pasted in her URL and clicked a snapshot that was taken in 2013 because, remember, kids, nothing on the internet is ever truly gone. And her bio was different back then. And guess who she quotes?

“‘While asleep, I had an unusual experience. There was a red screen formed by flowing blood, as it were. I was observing it. Suddenly a hand began to write on the screen. I became all attention. That hand wrote a number of elliptic integrals. They stuck to my mind. As soon as I woke up, I committed them to writing.’ —Srinivasa Ramanujan”

Then Cleo wrote:

“Remember, you are not locked into a single axiom system. You may invent your own, whenever you wish—just use your intuition and imagination.”

[CLIP: Theme music]

Parshall: Science, Quickly is produced by Jeff DelViscio, Tulika Bose, Kelso Harper, and Carin Leong. Our theme music was composed by Dominic Smith.

Don’t forget to subscribe to Science, Quickly wherever you get your podcasts. For more in-depth science news and features, go to ScientificAmerican.com. And if you like the show, give us a rating or review!

For Scientific American’s Science, Quickly, I’m Allison Parshall.