Apresentando o #JustinSunPrize , um novo programa de bolsa acadêmica que recompensa avanços em matemática.

Os contribuidores podem resolver problemas elegíveis, formalizar seus resultados no Lean e enviar provas verificáveis por máquina por meio do repositório GitHub de código aberto do Prêmio.

Com cinco faixas de premiação e um prêmio principal de US$ 1 milhão, o programa está aberto a contribuidores elegíveis do mundo todo.

Resolva. Verifique. Reclame.

Saiba mais:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2100319343670354387