🚀 An AI startup just cracked the Chen‑Gendron conjecture and three other long‑standing math puzzles, using the Lean proof assistant and advanced automated reasoning. Their open‑source stack blends machine learning with theorem‑proving, showing how AI can push the frontiers of pure mathematics. Curious how they did it? Read the full story! #AI #LeanTheoremProving #ChenGendron #AutomatedReasoning

🔗 https://aidailypost.com/news/ai-startup-solves-chengendron-conjecture-cracks-four-unsolved-problems

Want do do a PhD in Computer Science in the heart of Europe? We are (still) hiring!

4 FWF-funded positions at TU Wien for doctoral students in our newly founded doctoral college on

Automated Reasoning (https://forsyte.at/docfunds/)

Come to Vienna (repeatedly ranked the world's most livable city) to work with an amazing team on on exciting topics at the intersection of security and artificial intelligence with Automated Reasoning at the core!

Deadline: November 27, 2025
Start: immediately (or soon after)
Details: https://forsyte.at/docfunds/

#phd #jobs #fwf #AutomatedReasoning

In our recent paper we make a connection between the embedded space and the actual problem space. #ML #automatedreasoning

Geometric Reasoning in the Embedding Space www.mdpi.com/3480882

Want do do a PhD in Computer Science in the heart of Europe? We are hiring!

10 FWF-funded positions at TU Wien for doctoral students in our newly founded doctoral college on

Automated Reasoning (https://forsyte.at/docfunds/)

Come to Vienna (repeatedly ranked the world's most livable city) to work with an amazing team on on exciting topics at the intersection of security and artificial intelligence with Automated Reasoning at the core!

Deadline: May 18, 2025
Start: October 2025 (or soon after)
Details: https://forsyte.at/docfunds/

#phdposition #phd #hiring #automatedreasoning #security #artificial_intelligence #FWF

Dear all,

📓 This is the official account of the Constraints Journal (https://link.springer.com/journal/10601).

📣 We will use this account to notify you of new publications, extra materials, CfPs and special issues.

💬 We look forward to connecting with the CP community, and thank ACM for hosting.

🚀 Please boost, tnx!

#AcademicMastodon
#ArtificialIntelligence
#AutomatedReasoning
#CombinatorialAlgorithms
#ComputationalLogic
#ConstraintProgramming
#OperationsResearch
#Optimisation
#Satisfiability