Comparing Set Theory and Type Theory: Mathematical Foundations and Their Evolution
21 Nov 2025
Read the full articleYou might also wanna read
Mathematicians confront AI's rapid progress in proving theorems, including Fermat's last theorem
At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI
newscientist.com·6d agoMathematicians confront AI's rapid progress in proving theorems, including Fermat's last theorem
At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI
newscientist.com·6d ago
Coding Agent Formalization of Numerical Analysis Reveals Flaws in Compilation-Based Quality Metrics
Recent work has demonstrated that coding agents can formalize entire advanced mathematics textbooks in Lean 4, yet existing efforts concentr
arxiv.org·1mo ago
Formal or not formal? That is the question in AI for theorem proving.
So it’s an interesting time for computers-doing-mathematics. A couple of interesting things happened in the last few days, which have inspir
AI's rapid progress in solving advanced math problems sparks debate among mathematicians
Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there will still be r
newscientist.com·1mo ago
The non-constructive proof: How mathematicians solve problems without answering them
How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – but 100 years on,
newscientist.com·5d ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.