Searching for Holes in the Proof Space @WolframResearch

Uploaded January 2026 | Updated September 2026, 2 weeks ago

Given a list of rules, we can build a multiway graph. This graph represents a set of proof spaces for many theorems. Given a theorem in this graph, we can look for every possible proof. How can we define a continuous transformation from one path to another?

Enhancements to Time Series and Tabular Frameworks and New Model Fitting in V15

Course Preview: Introduction to Complex Analysis

Wolfram Colleague Conversations: Mohammad (Mads) Bahrami

Wolfram Language as a Notation for Computation

New in V15: Visualization, Graphs, Geography and Astronomy

From Synths to Biochemistry: Meet Wolfram System Modeler Engineers

$Future of Science and Technology Q&A (May 15, 2026) Stephen Wolfram hosts an unscripted Ask Me Anything about the future of science and technology for all ages. Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of this episode, feel free to submit a question you would like Stephen to answer in a future Q&A livestream here: https://wolfr.am/12cczmv5J 00:00 Start stream 00:14 As AI becomes able to generate knowledge faster than humans can absorb it, do you think the future bottleneck of science will become discovery itself, or human understanding? 4:47 If the scientific method were invented today in the age of AI and massive computation, do you think it would look fundamentally different from the version created centuries ago? 16:44 Recently at Brazil, several paralyzed people regain movement again, using an injection, but only in recent fracture, did you think in the future, paralyzed people can walk again? 21:20 How will we teach the scientific method to students if real science is done with huge computational systems? 24:23 Could there be a future where the most important scientific experiments happen entirely inside computational universes rather than physical laboratories? 27:19 Will there be endangered forms of human thinking that we need to preserve, the way we preserve languages? 37:27 Ive heard that if there were aliens a certain number of lightyears away and looked at Earth, they would see the Roman Empire, is it possible to use this theory to create a technology that does this for humans to look back on Earths history and confirm ideas that are only theories? 52:48 Will future people spend more time in real worlds or virtual ones? 1:01:38 the flat earth idea is extinct for the most part 1:03:18 Will made by humans become a luxury label someday? 1:07:35 Thoughts on data centers in space? 1:10:18 one thing i realized that was interesting was that when i had to deal with realtors, 9/10 realtors all started using Text Messaging, and only 1 of them ended up calling and ended up leaving a voicemail. so i think that people have gone away from verbally speaking, and have gone more towards communicating via text. or... they could be verbally speaking to their phones speech-to-text 1:13:16 Hello, I dont know enough about the value or the math behind this, but what do you think about Axiom Math, a Palo Alto-based startup building AI systems to mathematically verify whether computer code is correct and secure? 1:27:49 End stream Follow us on our official social media channels. X: https://x.com/WolframResearch/ Facebook: https://www.facebook.com/wolframresearch/ Instagram: https://www.instagram.com/wolframresearch/ LinkedIn: https://www.linkedin.com/company/wolfram-research/ Stephen Wolframs Twitter: https://twitter.com/stephen_wolfram/ Contribute to the official Wolfram Community: https://community.wolfram.com/ Stay up-to-date on the latest interest at Wolfram Research through our blog: https://blog.wolfram.com/ Follow Stephen Wolframs life, interests, and what makes him tick on his blog: https://writings.stephenwolfram.com/$

Agent-Based Modeling in Wolfram Language and Mathematica