News for hackers. Stuff that matters.
Re:Monumental Proof Settles Geometric Langlands Conjecture by vinnyvichy on Saturday July 20, 2024 @01:27AM (#41014300)
Can you say more about computability of "conformal models" in the Langlands context (beyond vibes, perhaps cites)? In my understanding, "conformal models" are by construction computable..
Re:Monumental Proof Settles Geometric Langlands Conjecture by proof_by_vibes on Friday July 26, 2024 @06:47PM (#41083013)
Oops, yeah, my bad. I've been doing a deep dive into lean4 and ended up conflating the use of the term computability from that context. Sorry, for the confusion!