# \#ai

**URL:** https://forum.ada-lang.io/tag/ai/87.md

[Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md)

---

## [Building trust in AI generated artifacts: GNAT Foundry - Intersection](https://forum.ada-lang.io/t/building-trust-in-ai-generated-artifacts-gnat-foundry-intersection/4742)

<div class="topic-metadata">

**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\
**Replies:** 28\
**Last updated:** [September 30, 2026, 8:35am UTC](https://forum.ada-lang.io/t/building-trust-in-ai-generated-artifacts-gnat-foundry-intersection/4742 "2026-09-30T08:35:30Z")

</div>

We spoke about this on the Ada SPARK Office Hours last Friday (recording to follow). The team at AdaCore has built a demonstration project to highlight how deterministic tools with Ada SPARK can be used to build trust in…

---

## [SPARK, floting points and the Colibri solver](https://forum.ada-lang.io/t/spark-floting-points-and-the-colibri-solver/4631)

<div class="topic-metadata">

**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\
**Replies:** 7\
**Last updated:** [August 22, 2026, 9:52pm UTC](https://forum.ada-lang.io/t/spark-floting-points-and-the-colibri-solver/4631 "2026-08-22T21:52:05Z")

</div>

Dear all, I would like to share with you an experiment. Now that I am using AI for quite a few things I do not have time to do by hand, I got the idea to revisit the possibility of enabling the Colibri family of SMT sol…

---

## [Ada SPARK Office Hours - 2026-08-14](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-08-14/4629)

<div class="topic-metadata">

**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\
**Replies:** 5\
**Last updated:** [August 20, 2026, 12:05pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-08-14/4629 "2026-08-20T12:05:13Z")

</div>

This Friday is the next instance of our Ada SPARK Office Hours. There is a slight chance that @sttaft may step in and attend. Proposed topics: Continued discussion on AI usage, specifically open models Alire crate dis…

---

## [Ada SPARK Office Hours - 2026-07-31](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-07-31/4601)

<div class="topic-metadata">

**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\
**Replies:** 8\
**Last updated:** [August 11, 2026, 10:41pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-07-31/4601 "2026-08-11T22:41:53Z")

</div>

All, We will hold our office hours again: 2026-07-31T14:00:00Z (UTC)→2026-07-31T15:00:00Z (UTC), more info here: As to topics, I am very open. I finally had some time to benchmark open models against the commercial …