Chandra Shekhar 🛡️ I'm not saying I'm not smart, I'm saying there are a gazillion many different ways of being “smart”, I am some of them, not at all others (or even downright stupid in some), and IQ scores measure an arbitrary and pretty meaningless combo of these smartnesses.

Double negation ncatlab.org/nlab/show/doub…

A math professor, Dave, has a problem with his sink, so he calls a plumber... The plumber comes over and quickly fixes the sink. The professor is happy until he gets the bill. He tells the plumber, "How can you charge this much? This is half of my paycheck." But he pays it

J'ai publié sur mon blog un rant (que je me promettais depuis longtemps d'écrire) sur la notion d'intelligence (naturelle), la question de sa mesure, et ce qu'on essaie de vous vendre quand on vous en parle: madore.org/~david/weblog/…

I am seeing the doomed future of AI math: just received another set theory paper by a set theory amateur with an AI workflow and an interest in the continuum hypothesis. At first glance, the paper looks polished and advanced. It is beautifully typeset and contains many correct

Richard Kelley Lean Not really, for several reasons. Formalizing a proof is extremely difficult, more difficult than proving the theorem. But further, even in cases where AI might eventually be able to do this--certainly it cannot do so reliably now---one must still check that the formalization

Applied category theory johndcook.com/blog/applied-c…

We don't even know what genes are | Philip Ball on biology's biggest mis... youtu.be/zaON7ud8kQM?si… via YouTube

A while back I had suggested a certain problem in modal graph theory to my Oxford student Wojciech Wołoszyn. What are the modal validities of graphs under the graph minor relation? He has now solved the problem, with the help of AI. He explains both the result and his AI process

And how nice it is, I suppose, to be forced back in a way from my recently expressed contentious views on math AI by the achievements of my own student. I shall need to think again and reconsider...

Ken Ono The more general fact is that every computably enumerable set admits a polynomial whose positive values are exactly the given set. So we have polynomials like this for the evens, the prime pairs, the Godel codes of the theorems of PA, the codes of the 4-colorable graphs, etc.

I just published Why Classic RAG Doesn’t Work (And What To Do About It) medium.com/p/why-classic-…

Today's lecture for my infinity class is on The Largest Tweetable Number Follow along on Infinitely More. infinitelymore.xyz/p/the-largest-… #InfinitelyMore #BookOfInfinity

6 février 1695: #CeJourLà naissance de Nicolas Bernoulli (†31/7/1726), mathématicien suisse fils de Jean Bernoulli. Ses travaux portent sur les courbes, les équations différentielles et les probabilités (il a énoncé le paradoxe de St.-Pétersbourg). fr.wikipedia.org/wiki/Nicolas_B… #maths

alz Hugo Duminil-Copin, French mathematician and 2022 Field Medalist told me he never participated in math competition and was very bad at it. Innovative mathematics requires creativity, intuition, intense concentration, and long reflections, sometimes spread over several years. Good

La formule BBP (ou formule de Bailey-Borwein-Plouffe) permet de calculer le n-ième chiffre après la virgule du nombre π en base 2 (ou 16) sans avoir à en calculer les précédents. Elle fut découverte en 1995.

Following an idea to its logical conclusion johndcook.com/blog/2018/12/1…

Cute, Cantor Bernstein in a single tweet:

11 février 1915 : #CeJourLà naissance de Richard Hamming (†7/1/1998), mathématicien américain connu pour ses travaux en théorie des codes (cf. code de Hamming, distance de Hamming ...). fr.wikipedia.org/wiki/Richard_H… #mathématiques #maths #math

16 février 1937 : #CeJourLà naissance de Yuri Manin (†7/1/2023), mathématicien russe dont les travaux portent sur la géométrie, la logique et la physique théorique. Il fait partie des premières personnes ayant eu l'idée d'un ordinateur quantique. fr.wikipedia.org/wiki/Yuri_Manin #maths