What are you doing now? I feel like after I graduate I'm gonna have to find a new field.
aio
joined 2 years ago
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.
view more: next ›
No, it was literally an asymptote.