@anndooms.bsky.socialBeautiful Barcelona with Nuno Crato
@jalonso.eurosky.socialZFLean: a Lean 4 library for doing core mathematics inside Mathlib's model of ZFC set theory. ~ Vincent Trélat, Matteo Pouillat. github.com/VTrelat/ZFLean
@janmr.comLearning representations by back-propagating errors — the seminal paper that popularized backpropagation for training neural networks — was published on this day 40 years ago www.cs.toronto.edu/~hinton/page... #math #onthisday #machinelearning #neuralnetworks
@petraschwer.bsky.socialInterested in what members of the mathematical community think on the recent release of hundreds of preprints on openproblems? I recommend reading the snapshot of immediate reactions collected on proofs and prompts!
@paysmaths.bsky.socialTheorem of the Day (October 9, 2026) : The Cantor–Bernstein–Schröder Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/FyfhBiJ
notes : buff.ly/0Hv7RpC
@jalonso.eurosky.socialZFLean: a framework for set-level mathematics in Lean. ~ Vincent Trélat, Matteo Pouillat. arxiv.org/abs/2604.24195
@jalonso.eurosky.socialFormally certifying the vertex set of a polyhedron faster than informal enumeration. ~ Xavier Allamigeon, Yazid Id-Sahra, Pierre-Yves Strub. arxiv.org/abs/2610.11913
@jalonso.eurosky.socialA Lean~4 framework for the radii polynomial method. ~ Fengyang Wang. arxiv.org/abs/2610.023...
@andreasreisbooks.bsky.socialDaily cozy math 🌙 How much is 66 + 64 − 36? Solution step by step in today's video - follow for a new puzzle every day. Free math tools: lern-digital.de #math #mentalmath #cozy
@fabricframes.bsky.social
@imathtutor.bsky.social
@coughlinbrett.bsky.social
@jeandeslunes.bsky.social
@dan-fuzz.bsky.social
@winbuzzer.com
@wesfryer.com
