We are organizing a meeting, to be held the 3rd and 4th of February 2025, to discuss unconventional approaches to AI and Machine Learning as well as various adjacent topics, such us AI assisted Automated Theorem Proving. If you are interested in participating let us know.