https://proofsandprompts.com/2026/11/12/on-ai-and-progress-in-mathematics-dreaming-a-mathematical-universal-machine/ 2026-11-12T09:50:24Z Proofs and Prompts en On AI and Progress in Mathematics: Dreaming a Mathematical Universal Machine 2026-11-12T15:00:00Z Blog https://proofsandprompts.com/2026/11/12/working-with-the-ai-companies-is-a-losing-strategy/ 2026-11-12T09:42:38Z Proofs and Prompts en Working with the AI Companies is a Losing Strategy 2026-11-12T12:00:00Z Blog https://proofsandprompts.com/2026/11/12/sharing-two-worries-about-ai/ 2026-11-12T09:27:58Z Proofs and Prompts en Sharing two worries about AI 2026-11-12T10:00:00Z Blog https://proofsandprompts.com/2026/11/11/mathematics-as-a-spiritual-endeavor/ 2026-11-11T11:00:02Z Proofs and Prompts en Mathematics as a spiritual endeavor 2026-11-11T15:00:00Z Blog https://proofsandprompts.com/2026/11/11/on-the-great-hypocrisy-behind-human-understanding/ 2026-11-10T10:06:19Z Proofs and Prompts en On the great hypocrisy behind « human understanding» 2026-11-11T12:00:00Z Blog https://proofsandprompts.com/2026/11/10/why-we-should-reject-ai-in-academia/ 2026-11-10T10:36:23Z Proofs and Prompts en Why we should reject AI in academia 2026-11-10T15:00:00Z Blog https://proofsandprompts.com/2026/11/10/im-giving-my-theorems-away/ 2026-11-10T10:06:17Z Proofs and Prompts en I'm giving my theorems away 2026-11-10T12:00:00Z Blog https://proofsandprompts.com/2026/11/10/quo-vadis-mathematics/ 2026-11-10T10:24:16Z Proofs and Prompts en Quo vadis, Mathematics? 2026-11-10T10:30:00Z Blog