1
$\begingroup$

I should prepare some paper for a colloquium (kinda student-task) and it should cover the following points:

(1) at least one notable discovery in theoretical informatics (or computer science)

(2) at least one open problems in theoretical informatics

(3) an example of short notable proof of some result in theoretical informatics

Can you draw some examples of it? Or some sources?

I would like that it was related with computational linguistics or natural language processing.

Thank you

$\endgroup$

closed as too broad by Evil, Kyle Jones, Thomas Klimpel, Juho, dkaeae Aug 5 at 7:26

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.