Harris Chan

@SirrahChan

Research Scientist at @GoogleDeepMind, ML PhD @UofT/@VectorInst. EngSci Grad. Former Canadian Rubik's Cube Champion.

Toronto, Ontario

Joined January 2013

Replies Reposts Media

Harris Chan
@SirrahChan
Jul 22
It (only) took around 5.5 hours of thinking/working time in the convo ⏳️🕝
Dmitry Rybin
@DmitryRybin1
Jul 22
Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years. The graph below has fractional flow cost 58. Any unsplittable flow (with capacity violation <=15) has cost at least 60. Chat with GPT 5.6 Pro where this was found: chatgpt.com/share/6a60b2eb…
1
Harris Chan
@SirrahChan
Jul 22
Classical reductions already guarantee a Yagzhev-form counterexample in some higher dimension. This note makes that consequence fully explicit in dimension 19. Explicit map + two independent exact verifiers (SymPy + Python std library): harrischan.com/docs/yagzhev-1…
levent
@__alpoge__
Jul 20
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,
2
Harris Chan
@SirrahChan
Jul 21
This note makes the Dixmier & Poisson consequences explicit and fully checkable: the inverse-Jacobian Weyl lift and cotangent Poisson lift, direct proofs of injectivity + non-surjectivity for every rank n≥3, and two verifiers. harrischan.com/docs/weyl-pois…
levent
@__alpoge__
Jul 20
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,
Harris Chan
@SirrahChan
Jul 20
Jacobian-Vector Products been real quiet since this dropped.
levent
@__alpoge__
Jul 20
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,
Harris Chan
@SirrahChan
Jul 7
Huge congratulations to Vlad Mnih & co-authors on the ICML 2026 Test of Time Award for A3C! From using A3C on my very first paper to later interning for Vlad, joining his team, and collaborating with @_timharley on SIMA 2, so grateful to work with such inspiring researchers 🙏
ICML Conference
@icmlconf
Jul 5
Replying to @icmlconf
🏆Finally, the Test of Time Award: Asynchronous Methods for Deep Reinforcement Learning Originally published at #ICML2016