Acer
@acerfur.bsky.social
Pure mathematics student at Cambridge. Loves analytic NT. | 🇬🇧🇵🇹 He/Him | 21 Bi/Demi | SFW | pfp: @tazzthewolf
New project: problemsilike.com, a website collecting open problems that I, personally, like, with comments on their context, difficulty, and interest.
New joint paper of mine with Terence Tao and others! Very happy with this work :) arxiv.org/abs/2605.00301
Primitive sets and von Mangoldt chains: Erdős Problem #1196 and beyond
A set of integers is primitive if no number in the set divides another. We introduce a new method for bounding Erdős sums of primitive sets, suggested from output of GPT-5.4 Pro, based on Markov chain...
arxiv.org
I shouldn’t let such things bother me, but it does make me bitter when people forget that I do know how to solve things on my own e.g. Erdős 481 and 1/2 of 43, and do have published papers now… so whilst I’m not officially a mathematician, I think I’m closer to it than a random on Twitter lol
Fun little fact about my fursona: I have the Riemann zeta function plotted on the critical line on my back hah Alas, RH was the problem that got me very interested in maths.
I think about Move 37 often. It will be so incredible one day when (hopefully safely!) we can get the models to come up with these creative breakthroughs in scientific domains. A novel cancer drug, a RTP superconductor, a proof of RH, etc, etc. are all things that would net benefit humanity.
Guh I hate that hardly any of the accounts I follow and interact with are on this platform. Would have abandoned Twitter a long time ago if not for that…
A new blog post by @acerfur.bsky.social describing his experience as a pioneer of using AI tools to solve Erdős problems: www.erdosproblems.com/forum/thread...
Erdős Problems Blog - A retrospective on problem 728 and the use of AI on Erdős problems
erdosproblems.com
AI is capable now of generating new interesting mathematics. But it's much easier for it to generate plausible-sounding nonsense. I am concerned that the latter, copied and promoted by users with no understanding of the mathematics, is going to drown out the former.
Chat do I go to San Francisco to work on reasoning for mathematics at OpenAI
One of the big challenges now in using AI for mathematics is the credit/attribution problem. AI has a tendency to use observations/techniques without giving credit as to where it 'learnt' about them (mainly because it's forgotten itself).
I gotta get me some fun art of my fursona writing some funny maths on a blackboard one of these days
Looks like we might have the first time AI directly solved an open Erdos problem: github.com/teorth/erdos... A couple times recently this appeared to be the case only to turn out to be a successful deep lit review by AI.
Here’s a fun problem I had been thinking about over the last year that I eventually solved: Does there exist a non-trivial entire function f(z) = \sum_{n\geq 0} a_n z^n with the property that f(n) = a_n for n \in \bN? Turns out the answer is yes! Can you find such a construction?
BREAKING: Epstein files contain proof of Riemann hypothesis, says individual familiar with the matter. “Unfortunately the pages are all redacted, so the public will never be quite sure.”
Category theory is a cool field of math because we can use pretty diagrams to easily describe how things compose...
I already have a "team of Ph.D. level experts" in my pocket. It's called being in a discord server with a bunch of furries
NBC News@nbcnews.com · 12mo agoOpenAI releases the newest version of the AI model that powers its popular ChatGPT chatbot, with CEO Sam Altman promoting it as like having a “team of Ph.D. level experts in your pocket.”
Yo you should totally commission me to draw your furry dudes My commissions are currently open on kofi. LIMITED SLOTS!! ko-fi.com/sketchytiger... #furry #commsopen #commissions
I really should use this more but there’s still too much I miss from twitter atm
Idk why but I find it strangely harder to post over here than on Twitter lol
Haven’t posted on here in a very long time- wondering if I should start posting here more often
Just learnt that through sieve methods, it is possible to show Fermat’s last theorem is true for infinitely many prime exponents- neat!