Skip to content
Proofs and Prompts
Notes from the common room
Start here
Posts
Submit
Newsfeed
Forum
Contributors
About
Search
Discovery
4 November 2026
Picasso rephrased: AI is useless
by
Joachim von zur Gathen
AI companies
·
Discovery
·
Problem solving
9 comments
on Picasso rephrased: AI is useless
13 October 2026
Warrants, dinosaur bones, and resolving conjectures with AI
by
Joseph Tooby-Smith
Discovery
·
Norms
·
Warrant
5 comments
on Warrants, dinosaur bones, and resolving conjectures with AI
12 October 2026
Where is mathematics, physically?
by
Antonio J. Pan-Collantes
Discovery
·
Reflection
17 comments
on Where is mathematics, physically?
11 October 2026
On our existential crisis and trustworthy AI
by
Michel Schellekens
Computer Science
·
Discovery
·
Reflection
10 comments
on On our existential crisis and trustworthy AI
25 September 2026
From non-sofic to non-hyperlinear groups: the new messiness of discovering and announcing big results
by
Francesco Fournier-Facio
Announcement
·
Discovery
·
Personal experience
31 comments
on From non-sofic to non-hyperlinear groups: the new messiness of discovering and announcing big results
24 September 2026
All the math we will not see
by
Alessandro Della Corte
Discovery
·
History
·
Reflection
11 comments
on All the math we will not see
13 September 2026
The Platonist view
by
Uri Bader
Discovery
·
Platonist
·
Reflection
9 comments
on The Platonist view
Loading Comments...
Write a Comment...
Email (Required)
Name (Required)
Website