Harris Chan

@SirrahChan

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

Toronto, Ontario

Joined January 2013

1,642 Following

3,631 Followers

Replies Reposts Media

Harris Chan
@SirrahChan
Oct 5
Congratulations to @MishaLaskin and the amazing team at @reflection_ai on the Beam launch!
Reflection
@reflection_ai
Oct 5
Introducing Beam: a highly efficient agentic open model with 501B total parameters and 23B active. - Frontier reasoning efficiency - Advances the Western open frontier on coding & agentic tasks - Trained end-to-end from scratch Full weights release this month. Learn more about
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,