2025-01-30 10:31:00
A quarter century ago this minute ... a century-old problem was solved when out of my Mathematica program popped the shortest possible axiom system for logic ... though to this day nobody understands the computer-generated proof...
2025-01-30 10:30:16
25th Anniversary of the Wolfram Axiom: Can We Understand the Proof? https://x.com/i/broadcasts/1lPJqOvrQgPKb
2025-01-30 04:41:56
Business, Innovation and Managing Life (January 29, 2025) https://x.com/i/broadcasts/1OyKAZLjEjeGb
2025-01-25 04:37:25
Science & Technology Q&A for Kids (and others) [Part 155] https://x.com/i/broadcasts/1kvJpbyYpDbKE
2025-01-24 03:30:11
Exploring Wolfram Language V14.2 https://x.com/i/broadcasts/1ypJdppZWLyJW
2025-01-24 03:06:59
Launching Version 14.2 of Wolfram Language & Mathematica: big data meets computation & AI...
https://writings.stephenwolfram.com/2025/01/launching-version-14-2-of-wolfram-language-mathematica-big-data-meets-computation-ai/
