SOURCE-LINKED INTELLIGENCE
Web3 Platform for Formal Mathematics
customers, clarify intellectual property rights and formulate licensing solutions. The project builds on the success of our ERC project SMART, where we have already developed software that harnesses artificial intelligence for advanced logical reasoning and proposed novel approaches to decentralizing proof verification using blockchain technology. In the current proof of concept project, we aspire to expand these software capabilities into a holistic Web3 platform that will serve as a collaborative hub, enabling diverse stakeholders to collaboratively address practical verification and formalization challenges while rewarding users for their contributions.
Read original source ↗ Open in workspace
- recordType
- award
- status
- SIGNED
- region
- EU
- value
- 150000
- unit
- EUR
Evidence & attribution
European Commission, CORDIS Horizon Europe project dataset. Metadata adapted.
License: CORDIS reuse policy
First collected: 2026-09-20T02:21:08.944Z. This is not the publication date.