# SPARK & quote Sam Altman: "No longer .. Gonna Be Able to Patch All the Bugs **URL:** \ **Category:** General\ **Tags:** spark\ **Created:** [October 24, 2026, 7:14am UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891 "2026-10-24T07:14:31Z")\ **Posts on this page:** 10\ **Page:** 1
**Author:** ![BlueAlmost](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/bluealmost/32/953_2.png) [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Post date:** [October 24, 2026, 7:14am UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/1 "2026-10-24T07:14:31Z")
At a Stanford Graduate School of Business appearance Sam Altman was recently quoted as saying “I no longer think we’re going to be able to just patch all the bugs” (source: Gizmodo, Oct 23, 2026, byline AJ Dellinger). Question: In the age of AI being so good at finding security holes in software, would SPARK (say GOLD level?) be able to remove this threat? Disclaimer: I know almost nothing about SPARK. ---
**Author:** ![Lucretia](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/lucretia/32/17_2.png) [@Lucretia](https://forum.ada-lang.io/u/Lucretia)\ **Post date:** [October 24, 2026, 7:21am UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/2 "2026-10-24T07:21:19Z")
That’s quite literally a good use for this ai stuff, finding bugs. So, just proves he doesn’t know what he’s talking about. ---
**Author:** ![BlueAlmost](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/bluealmost/32/953_2.png) [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Post date:** [October 24, 2026, 7:48am UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/3 "2026-10-24T07:48:48Z")
Fair enough. But the question was trying to ask if the strict use of SPARK would make it almost impossible to **have** any bugs to find (regardless of whether AI was used or not)? ---
**Author:** ![RobG9876](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/robg9876/32/663_2.png) [@RobG9876](https://forum.ada-lang.io/u/RobG9876)\ **Post date:** [October 24, 2026, 9:24am UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/4 "2026-10-24T09:24:35Z")
My 2 cts. First, AFAIK SPARK helps to prove the absence of errors in code. It doesn’t prove absence of errors in design. Second given the scale and the amount of code that needs to be changed to SPARK, it is totally unrealistic. Third, since SPARK code is a subset of Ada and Ada wasn’t designed to solve AI implementation I don’t think SPARK is the solution to Altman’s problems. Maybe Altman himself is part of the problem. SPARK “thinking” and good design for new sw is a way forward. But I am afraid that the intellectual task to do this is to large and to complex for people who can generate code with the click of a button. ---
**Author:** ![ksson](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/ksson/32/1082_2.png) [@ksson](https://forum.ada-lang.io/u/ksson)\ **Post date:** [October 24, 2026, 10:05am UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/5 "2026-10-24T10:05:10Z")
Personally I think SPARK can be part of the solution. Indeed you still need good design, and you need to check the contracts you write (or let the AI write) match what you want. If you have that, you can eliminate most bugs in the code that’s fully in SPARK. When generating SPARK with agents, the only types of crashes I ever had were stack overflows, as SPARK doesn’t check for those. ---
**Author:** ![SadClouds](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/s/22d042/32.png) [@SadClouds](https://forum.ada-lang.io/u/SadClouds)\ **Post date:** [October 24, 2026, 10:26am UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/6 "2026-10-24T10:26:22Z")
A programming language is just one of the tools to develop software. There are many other additional tools and methodologies that are used to make sure the software requirements, design, implementation and testing are done correctly. If you look at a lot of open source (and commercial) software you will find badly documented spaghetti code. This is because many of the people who write that code engage is coding rather than software engineering. You can write safe and secure software in any programming language, even assembly, provided you invest enough time and effort to review and verify it. ---
**Author:** ![kevlar700](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/kevlar700/32/1118_2.png) [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Post date:** [October 24, 2026, 8:09pm UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/7 "2026-10-24T20:09:09Z")
> [@Lucretia](#): > > That’s quite literally a good use for this ai stuff, finding bugs. So, just proves he doesn’t know what he’s talking about. AI will not find all the overflows, ever. You can use SPARK to do that for code that is rewritten. Logic errors are less likely with higher levels of SPARK but still possible as already said the design could be wrong but a wrong cryptographic design for example is quite rare (ignoring e.g. json web tokens). ---
**Author:** ![Lucretia](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/lucretia/32/17_2.png) [@Lucretia](https://forum.ada-lang.io/u/Lucretia)\ **Post date:** [October 24, 2026, 11:18pm UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/8 "2026-10-24T23:18:42Z")
I didn’t say it could, i said it could be a good use for finding bugs, whatever it finds is still better than what the source was before. ---
**Author:** ![kevlar700](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/kevlar700/32/1118_2.png) [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Post date:** [October 27, 2026, 1:04pm UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/9 "2026-10-27T13:04:22Z")
> [@Lucretia](#): > > I didn’t say it could, But Sam and I kind of hate to agree with him (considering all the nonsense he has stated) apparently said “all the bugs” which should have been obvious. ---
**Author:** ![pyj](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/pyj/32/5_2.png) [@pyj](https://forum.ada-lang.io/u/pyj)\ **Post date:** [October 27, 2026, 1:12pm UTC](https://forum.ada-lang.io/t/spark-quote-sam-altman-no-longer-gonna-be-able-to-patch-all-the-bugs/4891/10 "2026-10-27T13:12:01Z")
I do believe the future is a parallel of [Functional Core, Imperative Shell](https://functional-architecture.org/functional_core_imperative_shell/), “Verified Core, Unverified Shell.” Verified core and leaf behavior, and then wrap it with less unverified code (less critical or things which are more difficult to verify).