iiinova — where your digital self keeps evolving

Reposted by Acer

SMBC Comics @smbccomics.bsky.social · 01/10/2026

That janitor just goes from building to building helping people. COMIC ◆ www.smbc-comics.com/comic/equati... PATREON ◆ www.patreon.com/ZachWeinersm... STORE ◆ smbc-store.myshopify.com

10-panel SMBC comic update. All the panels are dialogue-less. Two researchers are writing equations on a chalkboard. A janitor watches them from afar. The researchers leave as the janitor is still mopping the floor. The janitor walks up to the chalkboard and writes on it with purpose, admires what he wrote, and leave late in the evening. The two researchers return at dawn, and are shocked by what is written on the blackboard. Over their half-erased equations, the text "ChatGPT, do a breakthru, no mistakes, thankx."

1043981

Reposted by Acer

SMBC Comics @smbccomics.bsky.social · 08/08/2026

My first introduction to this actually real phenomenon was Acerfur. Ever after, whenever an online discussion of Lean gets too technical, I realize every avatar is in a fursuit. COMIC ◆ www.smbc-comics.com/comic/fur PATREON ◆ www.patreon.com/ZachWeinersm... STORE ◆ smbc-store.myshopify.com

5-panel SMBC comic update. Two women talk as they walk on a beach. The first asks "why do people say furries run every IT department?" This leads the second to start a passionate explanation over 4 panels, where she states: "that’s an outdated stereotype. The internet is indeed sustained by furries, but your modern furry is also the core user of automated proof solvers tied to machine learning. Furries don’t just run IT. They run math itself. Soon we will open nature’s book, written in the language of god, and only the furries will know how to read!" After the speech, the first woman reacts by saying "woof," as an expression similar to "yikes" or "wow," and the second woman responds "precisely," associating it with the sound of an animal.

1132097

Reposted by Acer

Daniel Litt @littmath.bsky.social · 12/05/2026

New project: problemsilike.com, a website collecting open problems that I, personally, like, with comments on their context, difficulty, and interest.

Conjecture 1.1.1 of "Algebraicity and integrality of solutions to differential equations."

2449

Acer @acerfur.bsky.social · 11/04/2026

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

160

Acer @acerfur.bsky.social · 23/03/2026

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.

3204

Acer @acerfur.bsky.social · 18/02/2026

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.

030

Acer @acerfur.bsky.social · 18/02/2026

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…

250

Reposted by Acer

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 26/01/2026

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...

erdosproblems.com

Erdős Problems Blog - A retrospective on problem 728 and the use of AI on Erdős problems

061

Reposted by Acer

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 14/01/2026

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.

0103

Acer @acerfur.bsky.social · 12/01/2026

Chat do I go to San Francisco to work on reasoning for mathematics at OpenAI

450

Reposted by Acer

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 11/01/2026

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).

132

Acer @acerfur.bsky.social · 09/01/2026

I gotta get me some fun art of my fursona writing some funny maths on a blackboard one of these days

250

Reposted by Acer

Zach Weinersmith @zachweinersmith.bsky.social · 07/01/2026

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.

715019

Acer @acerfur.bsky.social · 04/01/2026

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?

260

Acer @acerfur.bsky.social · 20/12/2025

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.”

030

Reposted by Acer

Keff 🍊 @kefyor.bsky.social · 22/10/2025

Category theory is a cool field of math because we can use pretty diagrams to easily describe how things compose...

Commutative diagram of a split colax coalgebra of a certain class.

5425

Reposted by Acer

🏳️‍⚧️ Kiara Pendragon ∍⧽⧼∊ Godslayer 🏳️‍🌈 @aapur.bsky.social · 08/08/2025

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

171997690

Acer @acerfur.bsky.social · 31/03/2025

I fucking love the Schneider-Lang theorem Ok byeee

020

Acer @acerfur.bsky.social · 25/12/2024

Quite late but merry Christmas

030

Reposted by Acer

Sketchy [COMMS OPEN] @sketchytigers.bsky.social · 19/12/2024

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

19915

Acer @acerfur.bsky.social · 18/12/2024

I really should use this more but there’s still too much I miss from twitter atm

230

Acer @acerfur.bsky.social · 01/11/2024

Idk why but I find it strangely harder to post over here than on Twitter lol

030

Acer @acerfur.bsky.social · 25/10/2024

Haven’t posted on here in a very long time- wondering if I should start posting here more often

040

Acer @acerfur.bsky.social · 18/10/2023

Just learnt that through sieve methods, it is possible to show Fermat’s last theorem is true for infinitely many prime exponents- neat!

020

Acer @acerfur.bsky.social · 02/10/2023

So hello all I’m still alive just haven’t been around on Bluesky much- been more active on Twitter… to anyone reading this, how are you doing? :)

220

Acer @acerfur.bsky.social · 25/08/2023

Here’s something cool that I think not a lot of people are aware of. Typing ‘pride’ into Desmos gives you one of two LGBTQ+ 🏳️‍🌈 flags!

0113

Acer @acerfur.bsky.social · 21/08/2023

I want to make a post embracing my furry side on here not just my mathematical side… so here’s a meme for the best of both worlds :3

130

Acer @acerfur.bsky.social · 21/08/2023

This continues to be one of my favourite mathematical memes.

010

Acer @acerfur.bsky.social · 21/08/2023

Simpler post for today but I always found these prime product identities quite beautiful. It is also possible to similarly manipulate the Euler products of other Dirichlet L-functions to give similar results!

Euler product identities for special values of the Riemann zeta function.

040

Acer @acerfur.bsky.social · 20/08/2023

Stumbled upon a neat Wikipedia page today: en.wikipedia.org/wiki/Infinite_comp… I think it may very well have the craziest image files out of any maths Wikipedia page I’ve ever seen…

010

Acer @acerfur.bsky.social · 18/08/2023

Setting the tone for my page: Exploring some esoteric ideas and new perspectives on favourite problems. Starting with the Collatz conjecture: it claims all positive integers end in a trivial cycle via operations based on parity. Lesser-known fact: it can also be expressed as a functional equation.

Functional equation restatement of the Collatz conjecture.

030

Acer @acerfur.bsky.social · 17/08/2023

Hello everyone! Just joined BlueSky and this is my first post here wooooo!! Looking forward to being a part of this community. 😁💙

0100