1. X
  2. Dan Roy
Log inSign up
Dan Roy
28.2K posts
Dan Roy profile banner
user avatar

Dan Roy

@roydanroy
@Google DeepMind. On leave, Canada CIFAR AI Chair and Former Research Director, @VectorInst. Professor, @UofT (Statistics/CS). Views are my own.
London
danroy.org
Joined June 2009
2,017
Following
67.6K
Followers
RepliesRepliesMediaMedia
  • Pinned
    user avatar
    Dan Roy
    @roydanroy
    May 8
    Just some personal thoughts now that the AI co-mathematician tech report is public... First, I'm so excited to see the co-mathematician team's hard work out for the world to preview. ๐Ÿ’ช+๐Ÿฆพ=๐Ÿ”ฅ The team has built a system for mathematicians, with mathematicians. The fact it's now
    user avatar
    Pushmeet Kohli
    Google DeepMind
    @pushmeet
    May 8
    The future of Math is mathematicians and AI agents working together. Very pleased to introduce @GoogleDeepMind's AI co-mathematician: a multi-agent system designed to actively collaborate with human experts on open-ended research mathematics. Mathematicians testing the agent
    Image
  • user avatar
    Dan Roy
    @roydanroy
    6h
    For those who don't know Morse code, Levent is saying the following: "Help. I'm stuck here in pretraining at Anthropic and they won't let me out until I hit my perplexity quota. I keep trying to do ridiculous things to alert my friends and family outside, like tweeting solutions
    user avatar
    levent
    @__alpoge__
    15h
    +++-+-+-+-+--+--+++-++----++--+----+-----+++---++-+---+++++++-+--+-+-+--++-+--+--+----+-+-+-+-++-++---+--++++--++-++++-+++++--+---++-+---+++++++++--+-+-+--++-+--+--+-----+++-+++-++-+-++++-++-+--+--+------++--+-++-+-+---+--+-+-+-+--++---+++++-----+++++++---+---+--+-+--+-+--+-++-++
  • user avatar
    Dan Roy
    @roydanroy
    Aug 10
    Deep question.
    user avatar
    Jianfeng Lu
    @JianfengLu_math
    Aug 9
    Questions after reading a few AI-generated proofs this week: Why ChatGPT cannot stop using made-up jargon when writing proofs? Is this a reflection of mathematicians' poor writing habits?
  • user avatar
    Dan Roy
    @roydanroy
    Aug 10
    Sumner for next Fields prize?
  • user avatar
    Dan Roy
    @roydanroy
    Aug 9
    Is this a normal way for dogs to sleep or is our new puppy a weirdo?
    Image

Log in or sign up for X

See whatโ€™s happening and join the conversation

Continue with phone
or
Log in with username or email
TermsยทPrivacyยทCookiesยทAccessibilityยทAds Infoยทยฉ 2026 X Corp.
Advertisement
Advertisement