Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

FormalWeb3

Financiado

Web3 Platform for Formal Mathematics

Mathematics is today on the verge of a revolution. Formal, computer-verified proofs become ubiquitous and largely adopted as the new means of communication and collaboration. This led to landmark proofs, such as Hales's verificati... ver más

31/07/2025

UIBK

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

UNIVERSITAET INNSBRUCK No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2024-01-26

ERC-2023-POC: ERC PROOF OF CONCEPT GRANTS Objective:Objectives:The ERC Proof of Concept Grants aim at facilitating exploration of the commerci...

I+D

Cerrada hace 1 año

0% 100% 100%

1 Participantes

UIBK

150.00K€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

RTI2018-094403-B-C31 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 266K€ Cerrado

RTI2018-094403-B-C33 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 182K€ Cerrado

RTI2018-094403-B-C32 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 242K€ Cerrado

TIN2008-04547 SUBASTAS ROBUSTAS MEDIANTE LA INCORPORACION DE TECNICAS DE S... 93K€ Cerrado

RTC-2017-6779-7 v2 USO DE BLOCKCHAIN EN PLATAFORMA FINANCIERA BASADA EN BIG... 287K€ Cerrado

PID2019-104649RB-I00 TRADING ALGORITMICO: INTEGRACION O DISRUPCION 26K€ Cerrado

Duración del proyecto: 18 meses Fecha Inicio: 2024-01-26
Fecha Fin: 2025-07-31

Líder del proyecto

UNIVERSITAET INNSBRUCK No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 150K€

Descripción del proyecto Mathematics is today on the verge of a revolution. Formal, computer-verified proofs become ubiquitous and largely adopted as the new means of communication and collaboration. This led to landmark proofs, such as Hales's verification of the Kepler conjecture and Scholze's condensed mathematics recently validated by computers, generating considerable momentum in the mathematical community. Simultaneously, there is growing industrial demand for formal proofs of software and hardware. Similarly, Web3 constitutes a transformation of how data and collaboration are realized in a decentralized, intelligent, and interconnected way. In this project, we will develop a Web3 platform for formal proofs, designed to establish connections between mathematicians, researchers in formalization, communities, and businesses. This platform will also integrate state-of-the-art verification, AI, and autoformalization tools to assist in the creation of computer-understandable proofs. The proposed work will include the development of a Wiki for formal mathematics with integrated blockchain-based tokens that reward users for their contributions. We will provide translations for various logics and proof systems, and investigate the safety and security of the protocols. On the business side, we will conduct market research, engage potential 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores