![Science & Technology Q&A for Kids (and others) [Part 166] @WolframResearch](https://i.ytimg.com/vi/lupulncNy9I/maxresdefault.jpg)
Uploaded April 2026 | Updated September 2026, 2 weeks ago
Stephen Wolfram hosts a live and unscripted Ask Me Anything about science and technology for all ages. Find the playlist of Q&A's here: youtube.com/playlist?list=PLxn-kpJHbPx0iSxtfL7Kj6yx-RBXk9Zkl
Originally livestreamed at: 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:04 SW starts talking
00:26 Is there an actual use case for AI math proofs? Would they ever have come in handy in your work?
39:35 Will there be famous "AI proofs" the way there are famous human ones today?
41:32 How is it this related to a physical proof? Can anything be proved?
44:23 Should students still learn to construct proofs if AI can do it better?
47:03 Could there be proofs that are true but fundamentally impossible to communicate?
47:37 What's the strangest kind of proof you think could exist?
51:59 Should proofs be optimized for correctness, brevity, or interpretability?
56:09 Can AI resolve all zero day exploits before software is released and is attacked by exploit finding AI?
1:03:49 Is an AI hallucination a bug, or just part of how the system works?
1:09:09 Should proofs be optimized for correctness, brevity, or interpretability?
1:09:59 What makes a cat a cat...
1:14:06 End stream
Follow us on our official social media channels.
X: https://x.com/WolframResearch/
Facebook: facebook.com/wolframresearch
Instagram: instagram.com/wolframresearch
LinkedIn: linkedin.com/company/wolfram-research
Stephen Wolfram's Twitter: twitter.com/stephen_wolfram
Contribute to the official Wolfram Community: community.wolfram.com
Stay up-to-date on the latest interest at Wolfram Research through our blog: blog.wolfram.com
Follow Stephen Wolfram's life, interests, and what makes him tick on his blog: writings.stephenwolfram.com
Stephen Wolfram hosts a live and unscripted Ask Me Anything about science and technology for all ages. Find the playlist of Q&A's here: youtube.com/playlist?list=PLxn-kpJHbPx0iSxtfL7Kj6yx-RBXk9Zkl
Originally livestreamed at: 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:04 SW starts talking
00:26 Is there an actual use case for AI math proofs? Would they ever have come in handy in your work?
39:35 Will there be famous "AI proofs" the way there are famous human ones today?
41:32 How is it this related to a physical proof? Can anything be proved?
44:23 Should students still learn to construct proofs if AI can do it better?
47:03 Could there be proofs that are true but fundamentally impossible to communicate?
47:37 What's the strangest kind of proof you think could exist?
51:59 Should proofs be optimized for correctness, brevity, or interpretability?
56:09 Can AI resolve all zero day exploits before software is released and is attacked by exploit finding AI?
1:03:49 Is an AI hallucination a bug, or just part of how the system works?
1:09:09 Should proofs be optimized for correctness, brevity, or interpretability?
1:09:59 What makes a cat a cat...
1:14:06 End stream
Follow us on our official social media channels.
X: https://x.com/WolframResearch/
Facebook: facebook.com/wolframresearch
Instagram: instagram.com/wolframresearch
LinkedIn: linkedin.com/company/wolfram-research
Stephen Wolfram's Twitter: twitter.com/stephen_wolfram
Contribute to the official Wolfram Community: community.wolfram.com
Stay up-to-date on the latest interest at Wolfram Research through our blog: blog.wolfram.com
Follow Stephen Wolfram's life, interests, and what makes him tick on his blog: writings.stephenwolfram.com
![Science & Technology Q&A for Kids (and others) [Part 166]](https://i.ytimg.com/vi/lupulncNy9I/mqdefault.jpg "Science & Technology Q&A for Kids (and others) [Part 166]
Stephen Wolfram hosts a live and unscripted Ask Me Anything about science and technology for all ages. Find the playlist of Q&As here: https://www.youtube.com/playlist?list=PLxn-kpJHbPx0iSxtfL7Kj6yx-RBXk9Zkl
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:04 SW starts talking
00:26 Is there an actual use case for AI math proofs? Would they ever have come in handy in your work?
39:35 Will there be famous AI proofs the way there are famous human ones today?
41:32 How is it this related to a physical proof? Can anything be proved?
44:23 Should students still learn to construct proofs if AI can do it better?
47:03 Could there be proofs that are true but fundamentally impossible to communicate?
47:37 Whats the strangest kind of proof you think could exist?
51:59 Should proofs be optimized for correctness, brevity, or interpretability?
56:09 Can AI resolve all zero day exploits before software is released and is attacked by exploit finding AI?
1:03:49 Is an AI hallucination a bug, or just part of how the system works?
1:09:09 Should proofs be optimized for correctness, brevity, or interpretability?
1:09:59 What makes a cat a cat...
1:14:06 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/")
![Mathematical Games Hosted by Ed Pegg Jr. [Episode 42: Integer Sequences]](https://i.ytimg.com/vi/mMObTDM4AzA/mqdefault.jpg "Mathematical Games Hosted by Ed Pegg Jr. [Episode 42: Integer Sequences]
Join Ed Pegg Jr. as he explores mathematical games and puzzles.
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/
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/")
![Science & Technology Q&A for Kids (and others) [Part 167]](https://i.ytimg.com/vi/nD2UPqqugVU/mqdefault.jpg "Science & Technology Q&A for Kids (and others) [Part 167]
Stephen Wolfram hosts a live and unscripted Ask Me Anything about science and technology for all ages. Find the playlist of Q&As here: https://www.youtube.com/playlist?list=PLxn-kpJHbPx0iSxtfL7Kj6yx-RBXk9Zkl
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:18 Why do we have a brain when all of our cells have a brain aka nucleus?
8:03 If I made a very tiny robot the size of a dust speck, what would be the hardest thing for it to understand about the world?
10:26 Why did evolution settle on cells as the basic unit of life[LongDash]could there have been a completely different architecture?
23:42 If humans had evolved during the time of dinosaurs would we have had giant humans?
28:23 Is evolution still happening to humans in any meaningful way, or have we kind of stepped outside it?
34:36 Could there be fundamental computational limits to how complex biological organisms can become through evolution?
46:28 Why has evolution repeatedly converged on similar solutions—]like eyes, wings, and social behavior? Does that suggest deeper laws constraining biological design?
50:04 Perhaps pearls and seashells of gold instead of calcium?
51:31 is the fact that we have a somewhat centralized and unified brain just an anatomical coincidence? octopuses are thought to have somewhat independent brains in each arm...
56:42 Do you think the little brains they create for computing in labs now have a consciousness?
1:02:50 Do you ever think that there are types of evolution that might be more efficient in computing? In nature an organism has a genome, but digital strategies dont have to follow the same rules, so just curious if youve thought in this area.
1:08:55 Why do humans not have the ability to turn half their brain off to sleep like dolphins? That seems like a useful survival tactic
1:13:31 How does the brain turn chemical signals into specific tastes like sweet or bitter, and why do certain molecules taste the way they do?
1:23:26 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/")
![Live CEOing Ep 991: Language Design in Wolfram Language [Graphic Issues]](https://i.ytimg.com/vi/n_f2QjfmzxQ/mqdefault.jpg "Live CEOing Ep 991: Language Design in Wolfram Language [Graphic Issues]
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and functionality to Wolfram Language. If youd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram here: https://www.twitch.tv/stephen_wolfram
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/
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/")
![Live CEOing Ep 976: Language Design in Wolfram Language [Graphic Issues]](https://i.ytimg.com/vi/noMV_3-FbCs/mqdefault.jpg "Live CEOing Ep 976: Language Design in Wolfram Language [Graphic Issues]
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and functionality to Wolfram Language. If youd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram here: https://www.twitch.tv/stephen_wolfram
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/
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/")
