nopzon
.com
Bluesky Explorer
Search
Home
Trending
Search
Advertisement Β· 728 Γ 90
Posts by Xena
Accelerating mathematics
Letβs say that someone had a big pot of money, and wanted to use it to accelerate mathematical discovery. How might they go about doing this? The traditional approach Historically it has been governments who have been driving this agenda, β¦ Continue reading β
2 months ago
0
0
0
0
Formalization of ErdΕs problems
This is a guest post by Boris Alexeev. Now over to Boris.] Iβm here to tell you about various exciting developments centering on ErdΕs problems, especially involving the formalization of old and new mathematics using artificial intelligence. Background As is β¦ [Continue reading β
4 months ago
0
0
0
0
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 inspired me to write about the question more broadly. First there is the question on whether computers will ever prove β¦ Continue reading β
5 months ago
0
0
0
0
AI at IMO 2025: a round-up
Setting the scene The 2025 International Mathematics Olympiad has come and gone. Reminder: this is an exam for high-school kids across the world (each country typically sends six kids), comprising of two 4.5-hour exams each containing three questions, so six β¦ Continue reading β
8 months ago
0
0
0
0
