Acer
@AcerFur
Furry pure maths student @Cambridge_Uni. | 🇬🇧🇵🇹 22 He/Him | prev: @OpenAI | Opinions are my own.
1.7K Following 10.9K Followers
btw Google I don't think the arbitrary element naming makes sense in making it clear which model(s) are better, like at least increase in reactivity, electronegativity, go down a group, or smth... Argon is inert, and Carbon is entirely unrelated? I don't get the naming
Show more
I try not to let hype steer my Bayesian priors on these things, but my actual *personal* belief is RH may very likely fall by the end of next year.
Sure, people want to see F_1-geo, noncom algebra, Deninger cohomology, etc, but I think AI will soon be capable of theory building.
Show more
@YGandelsman Unfortunately people just want capable models available that they can run on their computers without understanding the destructive ramifications possible from this lol
Internship over, time to go finish my degree.
Had a great time at OpenAI. I am now certain 2027 will see the dawn of mathematical superintelligence and it excites me to eventually likely see a typical century’s worth of mathematical progress happen in the span of a few months.
Show more
Happy 200th birthday to Bernhard Riemann
4) Shifting focus to the long gaps result, I was amazed by how elementary the proof is and how it seemingly slipped by all analytic number theorists (the Lean formalisation is only 4.5k LoC!) and is SoTA, improving further beyond the result found by Sol on Erdős problem 4.
Show more
1/7 Okay, I’ve spent my lunch digesting the paper more and I think Claude didn’t make much of the contribution here. A lot of the key work was of BGSTB24/25 which I was familiar with when these papers released and were pretty big deals.
Show more
