Uploaded March 2026 | Updated September 2026, 2 weeks ago
Robert Hällqvist (Saab Aeronautics) and Jörg Schminder (Linköping University) discuss aerospace modeling workflows and model flight mechanics.
Get a 30-day trial of System Modeler: https://wolfr.am/WSM-Trial-YouTube
Learn more about System Modeler: https://wolfr.am/WSM-Learn-More
Explore Wolfram technology: wolfram.com
Robert Hällqvist (Saab Aeronautics) and Jörg Schminder (Linköping University) discuss aerospace modeling workflows and model flight mechanics.
Get a 30-day trial of System Modeler: https://wolfr.am/WSM-Trial-YouTube
Learn more about System Modeler: https://wolfr.am/WSM-Learn-More
Explore Wolfram technology: wolfram.com
![Live CEOing Ep 985: Language Design in Wolfram Language [Wolfram Financial Framework]](https://i.ytimg.com/vi/laUtAaMhc_w/mqdefault.jpg "Live CEOing Ep 985: Language Design in Wolfram Language [Wolfram Financial Framework]
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/")
![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/")
