🤝
Make a deal with Steven Kelk
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
50
Account age
2 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🎁 Free analysisfor Steven Kelk
📊 Post engagement
3
Avg engagement / post
6%
Engagement vs followers
Jan 2024
On Mastodon since
🔥 Top post: I work in phylogenetics (the branch of computational biology con · 12 likes + reposts
📊 Activity & format
Posting cadence
1.9 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
0.8×
Follows 59 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
RE: https://mathstodon.xyz/@sioum/117052634264475088
A picture tells a thousand words:
RE: https://mathstodon.xyz/@11011110/116982103853931467
This editorial in Science by H. Holden Thorp (16 July) is definitely worth a read: "The history of Taylorism indicates that society should fight to protect the welfare and agency of t…
One relevant to my type of research: an AI-found refutation to the Dinitz-Garg-Goemans conjecture (about flow networks) was claimed a couple of days ago. See the wikipedia page below, and the links therein. The prompt has been made public …
Another one worth reading, by Kevin Buzzard. It highlights the rapid progress in auto-formalization and counter-example hunting.
* Human mathematicians are being outcounterexampled
https://xenaproject.wordpress.com/2026/07/20/human-mathema…
Last year there was much press attention for the gold-medal performance of several AIs at the International Math Olympiad (IMO). This year's iteration (2026) has just taken place, and there are reports coming in of very strong -- sometimes…
Humanity at the Threshold: A Declaration on Artificial Intelligence and Nuclear Weapons
Toward an Unarmed and Disarming Peace
Adopted by the participants of the Global Nobel Laureates Assembly
Borgo Laudato Si', Vatican – July 2026
See:
ht…
On 9th July Arvind Narayanan gave the keynote talk "What will be left for us to work on?" at ICML 2026 (International Conference on Machine Learning). Those of you who know Arvind's position will not be surprised at the general "don't pani…
"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics" (30 June 2026)
https://arxiv.org/abs/2606.31134
Autoformalization is using AI to translate a natural language proof into a mechanically verifiable languag…
Two articles relating to the Leiden Declaration:
* https://www.ams.org/news?news_id=7666
(June 30) As the U.S. adhering organization to the International Mathematical Union (IMU), the American Mathematical Society (AMS) is pleased to suppo…
"What it Means to Be a Mathematician When AI Does the Math"
Researchers debate motivation, purpose, and the field’s future
By Benjamin Skuse, IEEE Spectrum, 25 June 2026
https://spectrum.ieee.org/ai-in-mathematics
A new extra challenging long-horizon coding benchmark for AIs by Epoch AI and METR:
https://epoch.ai/MirrorCode
On 9th July Arvind Narayanan gave the keynote talk "What will be left for us to work on?" at ICML 2026 (International Conference on Machine Learning). Those of you who know Arvind's position will not be surprised at the general "don't pani…
"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics" (30 June 2026)
https://arxiv.org/abs/2606.31134
Autoformalization is using AI to translate a natural language proof into a mechanically verifiable languag…
Two articles relating to the Leiden Declaration:
* https://www.ams.org/news?news_id=7666
(June 30) As the U.S. adhering organization to the International Mathematical Union (IMU), the American Mathematical Society (AMS) is pleased to suppo…
"What it Means to Be a Mathematician When AI Does the Math"
Researchers debate motivation, purpose, and the field’s future
By Benjamin Skuse, IEEE Spectrum, 25 June 2026
https://spectrum.ieee.org/ai-in-mathematics
A new extra challenging long-horizon coding benchmark for AIs by Epoch AI and METR:
https://epoch.ai/MirrorCode
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
✅ Link-verified
Verified link
Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.
On Mastodon since
Jan 2024
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2024 — 2 years ago.
👁️Averages 3 views per post.
📤Posts about 1.9× per week.
🕵️ Fake follower check
Estimated84/100
Excellent
Credibility score
95%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 95% real, active audience · Low fake-follower risk.
- Strong engagement (~6.0% of followers engage each post) — an active, real audience.
- Verified account.
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Associate professor at the Department of Computing Sciences (DACS), Maastricht University. Interested in algorithmic graph theory, phylogenetics, fixed parameter tractability, combinatorics, algorithm engineering and proof assistants / computational proof.
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Carson Brown
17%
Daily CyberSecurity
15%
Michael Prentice
14%
AnitaSalemink
14%
Nancy Ellen Maitri Peden:toad:
11%
ピコズ
11%
More like this
Find more →
Mastodon
＋
Daily CyberSecurity
@dailycybersecurity@infosec.exchange
50
Followers
Mastodon
＋
Michael Prentice
@splaktar@hachyderm.io
50
Followers
Mastodon
＋
AnitaSalemink
@anitasalemink@mastodonapp.uk
50
Followers
Mastodon
＋
Nancy Ellen Maitri Peden:toad:
@npeden@toad.social
50
Followers
Mastodon
＋
Carson Brown ✓
@carson@social.lol
50
Followers
Mastodon
＋
ピコズ
@picoz@mastodon.cloud
50
Followers
Frequently asked questions
How much does Steven Kelk charge for a sponsorship?
Steven Kelk hasn't published fixed prices yet. Send a proposal through SocialDB and agree terms directly — your payment is held in escrow until the work is approved.
How do I contact Steven Kelk for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Steven Kelk, and once they accept, your payment is held safely in escrow and released when the work is approved. You don't need to track down an email.
How many followers does Steven Kelk have?
Steven Kelk has 50 followers on Mastodon.
✉ Message Steven Kelk
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with Steven Kelk
Booking an event / appearance is a Pro feature. Upgrade to book Steven Kelk for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Steven Kelk gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
🚀
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove