explore | Grilled Cheese

Theorem of the Day (October 7, 2026) : The Prime Number Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/avitKa5
notes : buff.ly/YyDoHpk

#mathematics #maths #math #theorem

The Steiner deltoid as the tangent envelope of Wallace-Simson Lines in Isabelle/HOL. ~ Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz. isa-afp.org/entries/Stei...

#IsabelleHOL #ITP #Math

Steiner's line theorem in Isabelle/HOL. ~ Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz. isa-afp.org/entries/Stei...

#IsabelleHOL #ITP #Math

OpenAI just dropped 722 math papers from an unreleased internal model on GitHub, grouped into 372 results. Topics include the quasi Riemann Hypothesis, Unique Games Conjecture, special cases of the Hodge Conjecture, and free group factors.

#OpenAI #math

aidisruption.ai/p/meta-bring...

The recent news about new #math results produced with #AI immediately made me think of Isaac Asimov’s The Feeling of Power. 🤔

archive.org/details/1958...

Problem for October 7th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon

Créez votre propre boulier-compteur pour mieux aider les enfants en arithmétique. #boulier #math animassiettes.com/pr...

OpenAI shares mathematics research catalogue https://lobste.rs/s/z0lxub #math #ai

37077057426433358^4+20078*5318345422336273^4=45998418015578786^4+20078*5089908598333393^4

#math #numberthoery #diophantineequation

Quick conversion challenge 🌡️

100°F is approximately:

A) 32°C
B) 38°C
C) 42°C
D) 50°C

What's your answer?

#Math #Conversions #Science #NexCalco

Me: "I can calculate this in my head."

Also me 5 seconds later:

🧮 Calculator please.

😂

#Math #Funny #Calculators #NexCalco

Things we calculate more often than we admit:

• Percentages
• Discounts
• Tips
• Loan payments
• Salaries
• Taxes
• Unit conversions

What's the calculation you make most often?

#Calculators #Math #Productivity #NexCalco

In a more normal world, the mathematician would use the LLM as a tool, verify the results / proof, and when satisfied, publish the work while citing the LLM(s) as tool(s).

#research #math #AI #LLM

Another reaction to Quasi-Riemann Hypothesis by Alex Kontorovich (Distinguished Professor of #Math at @RutgersU):