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,643 Following

3,640 Followers

Replies Reposts Media

Harris Chan
@SirrahChan
Oct 28
Sound ON 🗣🔊 Genie 4 lets you step into a live world with native audio. Talk with characters in real time and steer scenes on the fly, powered by Gemini reasoning in the loop. Super lucky to work with such an awesome team over the past year. Excited to see what you build! 🌐
Google DeepMind
@GoogleDeepMind
Oct 27
02:27
This is Genie 4, our most realistic and interactive world model yet. 🌐 Explore dynamic environments in real time to see how the scene responds, sounds, and how the people in it move, react, and speak.
1
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,