Apr 7
3/ I am excited to join a distinguished group of colleagues at the ST Center to celebrate eight decades of excellence in the Korean mathematical community. šāØ
website: kms.or.kr/conference/meetingā¦
#KMS80 #Mathematics #AI #AxiomMath #Seoul2026
Apr 7
2/ Iāll be be discussing the evolving role of AI for Math and sharing insights from our Xwork at @axiommathai . It's a fascinating time to explore how these technologies are impacting the future of mathematical research. @leanprover
1
15
2,676
Mar 27
Claude - the Philosopher
ChatGPT - the Polymath
Grok - the Rebel
AxiomMath - the Scientist
DeepSeek - the Strategist
Draimo(What I'm Building) - the Operator
Cursor - the Craftsman
1
3
90
Mar 26
Weāre thrilled to open-source Axplorer at @axiommathai today! Itās a powerful tool for discovering the outlier constructions in mathematics researchānow free for the entire math community. Tell us what you find with it. Mahalo šš #OpenMath #AxiomMath
Mar 26
We open-sourced Axplorer.
Axplorer builds on PatternBoost; it discovers outlier math constructions to attack open problems.
On TurƔn 4-Cycles, No 5 Points on Sphere, and Isosceles-Free Sets, Axplorer matched SOTA w/ a fraction of compute cost and time.
It's now in your hands.
4
48
4,644
Feb 26
How does this compare to the formal results obtained by AxiomMath, Math Inc, and Numina? Their perfect score on the Putnam indicates that the gap between formal and natural language theorem proving has closed, a big development and win for these approaches!
2
3
14
1,007
Feb 2
Outside my work at @axiommath, I apply math/physics to advise elite swimmers. šāāļøš
Iāve worked a lot with World Champs Kate Douglass & Alex Walsh. Hereās a butterfly kick test. One optimizes the vortex; the other minimizes drag.
Can you spot the difference? Is one faster? š
4
2
100
11,458
Jan 21
Being a mother, love, care and attention can never be automated for my kidsā¦ sharing my experiences and stories and wisdom with them and making sure they know they are loved, valued and safe š
6
181
Jan 20
Not to automate - Bedtime stories with kids, bedtime stories with kids.
To automate - repairs/maintainance/repetative tasks.
Iām 50/50 on weather we should automate all chores like cooking/cleaning/lawn mowingā¦probably
2
80
Jan 20
You are very cool - thanks for all that you do!
I've witnessed socratic conversation instill extraordinary changes into children, particularly when it's bottom-up and students are willing to take the lead, with teacher as guide. This should never be automated
2
219
Jan 20
I never want to see creative works automated. By this I mean specifically, I don't want AI generated art, or songs, or books, or films. Using AI to find errors, to learn how to fix something, that's good. Education and data analysis/arrangement are ideal uses for AI, to me.
6
204
Jan 20
Thatās a thoughtful question. I feel that we have already automated human emotions to a large extent.
The idea of automation is exciting - and youāre right, itās math.
Considering evolution : we have to be able to give back something that will fill the space.
5
256
Jan 20
AI will be a boon for the principled thinker, who chooses to follow curiosity and do things RIGHT rather than exploit the LCD for self gain. This is why I still use eMacs. Unfortunately almost no one else does. So AI will be a curse for most who use it.
1
3
518
Jan 20
There are many many students who need humans to bring them through the work of being numerate, of a basic and strong math foundation. They are being cast aside today and they need our help.
2
147
As a mum to a child with autism,Iām interested in ways AI can empower children with special needs.I believe technology can be designed to automate support in areas like emotional regulation, sensory needs (like deep pressure) and communication and help with social anxiety too..
1
7
168
Jan 20
10/ Iād genuinely love to hear what youāre seeing, especially from educators, students, parents, and builders. What should we automate, and what should we never automate?
47
15
466
52,403
Jan 20
9/ Two questions I keep coming back to:
š If a tool took the busy work off your plate tomorrow, what meaningful project would you finally start?
š And what āhuman momentā recently reminded you technology is just the tool, not the point?
19
65
754
61,248
Jan 20
8/ This is where math and education meet for me now: helping people learn more deeply, teachers teach more humanely, and institutions serve students better.
1
14
405
52,470
Jan 20
6/ These systems can be terrific at pattern and scale. But they canāt replace empathy, judgment, or wisdom in the gray areas where there isnāt a single right answer.
7
29
627
67,923
Jan 20
5/ I care about that because life isnāt an optimization problem to be solved. Itās about depth of experience and meaning.
3
62
712
74,138