Blog

The paper provides a practical overview of the application of artificial intelligence in mathematics, with an emphasis on how LLM models can assist in proving complex claims and theorems.

The authors present two real-world business cases demonstrating how ISTRA TECH applied artificial intelligence to specific projects developed for the market.

The latest version of the paper elaborates on the concept of the popular mathematical puzzle “What is the shortest path between the ant and the drop of honey?”. In this paper, the author fully solves this problem for regular prisms and cylinders, providing a detailed mathematical insight into geometry and the analysis of shortest paths.

In September 2023, Java 21 brought a revolution through virtual threads, while Oracle, in version 26ai (23ai), introduced the concept of “virtual transactions.” In the following sections, discover how the synergy of these technologies, along with a “third player,” is fundamentally changing the architecture of modern web applications.

This paper investigates Java virtual threads and their efficiency in parallel programming compared to non-virtual threads.

The mathematical puzzle “What is the shortest path between an ant and a drop of honey?” gets new possible solutions.

The paper presents the basics of causal inference, which is important today for achieving more advanced artificial intelligence…

An interesting mathematical game: “What is the shortest path between an ant and a drop of honey?”, got its sequel…

The paper briefly describes the basics of mathematical logic, logic programming, Prolog language and Prolog code from the book “The Java Virtual Machine Specification”.

In the last few years, functional programming has gained a lot of popularity over imperative programming. In the paper, the author gives an overview of functional and logic programming…