No, it was literally an asymptote.

What are you doing now? I feel like after I graduate I'm gonna have to find a new field.

If it's actually exploiting a bug in a formal system, no. If it's a natural-language (unformalized) document which no one can understand, no. On the other hand a formal proof not using bugs which can't be understood, is still considered a proof, though its value is lower than an understandable proof (because as you said in another comment, the real value is in understanding rather than theorems). The prototypical example before LLMs was the proof of the four-color theorem which relied on computer-checked casework.

they pronouns

he

his

?

It's also vibe coded.

article is llm-generated

dan olson jumpscare

rationality is when i spend hours arguing on the internet about whether Omega could defeat Super Saiyan Goku

Irulan is an acronym of “urinal”

✍️🔥 thank you i will never be able to un-see it

serial killer
serial killer
serial killer
serial killer
serial killer
serial killer
serial killer
cool guy
serial killer
serial killer

In his very lukewarm defense, the rough CS equivalent to publishing a paper in a journal is presenting your paper at a conference. According to DBLP he has had three papers in AGI '06 '07 and '11 (which i would not call a serious conference) and one workshop paper (generally a tier below actual acceptance to the conference) at AAAI '15.