AI4REASON z.u.

AI4REASON z.ú. is a nonprofit research institute based in Prague, Czech Republic, established in September 2025.

It conducts independent, world-class research in Artificial Intelligence, Automated Reasoning, and Machine Learning, with applications in mathematics, computer science, the natural sciences, and other areas of human knowledge.

Our Mission:

Advance fundamental and applied research in AI, automated reasoning, and machine learning.

Bridge mathematics, computer science, and the natural sciences through intelligent automation.

Transfer knowledge and technologies into education, science, and industry.

Serve the public interest by fostering open research, education, and a deeper understanding of AI and its impact.

What We Do:

Research & Innovation — basic and applied research in AI, automated reasoning, and related fields.

Collaboration — international cooperation with universities, research centers, and industry.

Education & Outreach — seminars, training programs, conferences, and open dissemination of results.

Open Science — tools, data, and results made widely accessible.

Governance:

The Institute is managed by a Board of Trustees and a Director, supported by an Assembly of Founders.

We operate transparently and reinvest all resources into our mission.

Founders:

Robert Veroff, Ph.D. — Professor Emeritus, University of New Mexico, USA

Stephan Schulz, Prof. Dr. — Professor, DHBW Stuttgart, Germany

Cezary Kaliszyk, Ph.D. — Professor, University of Melbourne, Australia

Josef Urban, Ph.D. — Distinguished Researcher, Czech Technical University in Prague, Czech Republic

Board of Trustees (Executive Board):

Robert Veroff, Ph.D. — Professor Emeritus, University of New Mexico, USA (Chair)

Cezary Kaliszyk, Ph.D. — Professor, University of Melbourne, Australia

Stephan Schulz, Prof. Dr. — Professor, DHBW Stuttgart, Germany

Director:

Josef Urban, Ph.D. — Distinguished Researcher, Czech Technical University in Prague, Czech Republic

First Sponsors:

Individual Sponsors:

Tomáš Mikolov — Chief Scientific Officer at Bottlecap AI, and a leading researcher in artificial intelligence and computational linguistics.

He is best known for pioneering work on neural language models and Word2Vec, which transformed modern natural language processing.

Ben Goertzel — Scientist, entrepreneur, and philosopher recognized for his work on artificial general intelligence (AGI).

Founder and CEO of SingularityNET, he advocates open, decentralized, and beneficial AI development.

Organizational Sponsor:

EUReason s.r.o. — A technology company based in Prague developing distributed, decentralized, and collaborative tools for formal mathematics.

First Activities:

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.

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.