Appears on
Articles10
X
Fermat’s Last Theorem — how it’s going
0
Xena1y agoX
Can AI do maths yet? Thoughts from a mathematician.
0
Xena1y agoX
Think of a number.
0
Xena1y agoX
What is a quotient?
0
Xena1y agoX
Think of a number: an update
0
Xena1y agoX
AI at IMO 2025: a round-up
0
Xena11mo agoX
Formal or not formal? That is the question in AI for theorem proving.
0
Xena8mo agoX
Formalization of Erdős problems
0
Xena7mo agoX
Accelerating mathematics
0
Xena5mo agoX
Formalizing Fermat workshop
0
Xena1mo ago