News & Activities

Stay up to date with the latest research, events, and announcements from AI4REASON.

November 19 2025 — Partnership with Ben Goertzel and SingularityNET

We are pleased to announce a new collaboration with Ben Goertzel and
SingularityNET, to advance research at the intersection of AGI, formal reasoning, and mathematics.
This partnership supports our efforts in autoformalization, interpretable intelligence, and open, verifiable AI research.

As part of launching this collaboration, AI4REASON has today received the first installment of an unrestricted gift from Ben Goertzel.

Read the official announcement here: BenGoertzel_AI4REASON.pdf
Learn more about our Sponsors →

October 16 2025 — Unrestricted Gift from Tomáš Mikolov

We are honoured to receive an unrestricted gift from Tomáš Mikolov,
Chief Scientific Officer at Bottlecap AI.
This generous contribution supports our mission to advance independent, world-class research in Artificial Intelligence, Automated Reasoning, and Machine Learning.

Read the official announcement here: Mikolov_AI4REASON.pdf
Learn more about our Sponsors →

October 7 2025 — Significant Prover9 Result

AI4REASON co-founder Bob Veroff has announced an important result in automated reasoning:
a complete Prover9 proof that commutative AIM (AIM + x * y = y * x) is nilpotent of class 3.
This represents one of the most complex automated reasoning results ever completed with Prover9.

Read the full article →

September 29 2025 — Website Launch

The official website of the AI4REASON Institute is now live at ai4reason.eu.
It provides an overview of our mission, team, sponsors, and research activities.
Further updates about ongoing projects and collaborations will appear here.

September 24 2025 — Institute Registered and Launched

The AI4REASON Institute (AI4REASON z.ú.) was today officially registered in Prague, Czech Republic,
as a nonprofit research organization dedicated to advancing artificial intelligence, automated reasoning, and machine learning.
The Institute was founded by leading researchers in the fields of automated reasoning and its AI and machine learning aspects.

Coming Soon

We will regularly post:

Announcements of seminars, talks, and calls for collaboration.
Research highlights and project reports.
Opportunities for students and researchers.

Stay tuned!

Business ID (IČ): 23753161