> It's not even clear if AI was used to find the bug: they mention modeling the software with an "ai native" language, whatever that means. Could the "AI nativ

> It's not even clear if AI was used to find the bug: they mention modeling the software with an "ai native" language, whatever that means. Could the "AI native language" they used be Apache Drools? The "when" syntax reminded me of it... https://kie.apache.org/docs/10.0.x/drools/drools/language-reference-traditional/index.html https://kie.apache.org/docs/10.0.x/drools/drools/language-re... (Apache Drools is an open source rule language and interpreter to declaratively formulate and execute rule-based specifications; it easily integrates with Java code.)