AIによる「Unique Games Conjecture」証明の波紋：人間と機械の競争が理論計算機科学にもたらす変革

AIの数学・計算量理論への進出と、人間研究者による直前のマイルストーン達成の攻防を解説。

#TheoreticalComputerScience #AI #GraphTheory #AutomatedReasoning #ComputationalComplexity

📣 Open call: propose a research programme at the Bernoulli Center for 2028 in #mathematics, #theoreticalphysics or #theoreticalcomputerscience. Programmes last 2 to 9 weeks.

Deadline: 31 March 2027.

👉 bernoulli.epfl.ch/bernoulli-pr...

#EPFL #icepfl #BernoulliCenter

University of Cambridge (@cam.ac.uk) is hiring:
Postdoctoral Researcher in Theoretical Computer Science

#postdoc #computerscience #theoreticalcomputerscience

University of Innsbruck is hiring:
Senior Lecturer (Doctorate/PhD)

#lecturer #computerscience #theoreticalcomputerscience