「ニューイヤーイヴ」を含む日記

2023-12-09

その少女はクレオといい、Math Stackexchangeという数学質問サイトで回答者として活動していた

クレオはとんでもなく複雑な数式をいとも簡単に解いてしまうのだが、どういうわけか彼女が回答するたびに質問サイトは「阿鼻叫喚」に包まれてしまう

というのも、彼女は数式の解を一行書き記すだけで、どうすればその解が求まるのかを一切説明せずに去ってしまうからだ

他のユーザーたちは「これは回答として適切ではない」「いや別にいいだろ」などと喧嘩を始めたり、本当にその解が正しいのかどうか何日も議論が紛糾する

そしていつも最後には、クレオの回答が正しいことが判明するのである

例えばある時、次の極めて複雑な積分の解に関する質問が投稿された

I=∫[−1→1] (1/x)√((1+x)/(1−x)) ln((2x²+2x +1)/(2x²−2x +1)) dx

一番最初についたコメントは、「そもそも解が存在する」こと自体を疑うものだった

しかし質問の投稿から４時間後、初めて回答が投稿される

そこに書かれていたのは、

I=4πarccot√ϕ

という一行の数式のみ

積分の解としてはあまりに奇妙な数式であり、どう考えても適当にでっちあげた数式にしか見えない

しかし、この数式は正しいことが判明するのである

ただし、「３日後」に。

以下のリンクを踏めば、他のユーザーが投稿した、何十行にもわたる複雑な証明を見ることができる

この他にも、クレオは数多くの複雑な数式の質問に答え続け、その度に一行だけ数式を残して去っていく

その度にユーザーたちは「こんな回答は何の価値もない」「こんなものは数学ではない」などと吹き上がるのだが、

中には「すげえ！またクレオがやったぞ」などと彼女を称賛するユーザーもいる

そんなクレオだが、2015年のニューイヤーイヴを最後に突然投稿が途絶え、その後の消息は不明となっている

一体彼女は何者なのだろうか。

いや、そもそも人であったのだろうか。謎は深まるばかりである