Log inSign up
user avatar
Thomas Bloom
@thomasfbloom
Royal Society University Research Fellow at the University of Manchester. Mathematician and owner of erdosproblems.com. He/him/his.
Manchester, UK
thomasbloom.org
Joined December 2020
92
Following
4,948
Followers
RepliesMedia
  • user avatar
    Thomas Bloom
    @thomasfbloom
    Aug 4
    This is a real worry of mine (for both RH and other problems) - one can imagine the rush of headlines crowing "AI superintelligence solves hardest problem", and not recognising that the AI was putting the final polish on a massive programme built by decades of human work.
    user avatar
    Yiannis Sakellaridis
    @yiannissak
    Aug 4
    Replying to @yiannissak
    After years of Peter Scholze developing and openly sharing his ideas of constructing “the curve” corresponding to a number field, an AI system pieces together the ideas Peter has shared and completes the proof of the Riemann Hypothesis. 27/
  • user avatar
    Thomas Bloom
    @thomasfbloom
    Aug 4
    This is very well-put: "AI [is not] something that replaces a single human worker, but...AI is really a new world-mind — a technology that takes the accumulated findings of individual humans (or robots, or other sensors) and integrates them into a general picture of the world."
  • user avatar
    Thomas Bloom
    @thomasfbloom
    Aug 2
    There is a lot of recent progress; but a lot of this is explained by the huge rise in awareness for many of these problems in the last couple of years. One cannot extrapolate meaningfully from this graph. A short thread about why. 1/
  • user avatar
    Thomas Bloom
    @thomasfbloom
    Aug 1
    Wow. For me the disproof of the exponential bounds for the multicolour triangle Ramsey number is the most surprising. I wonder how many ever seriously thought it was false? I look forward to digesting the argument, which looks quite short.
    user avatar
    Sebastien Bubeck
    @SebastienBubeck
    Aug 1
    yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann