Загрузка видео...

Не удалось загрузить видео

На главную

Introducing the #JustinSunPrize. Rewarding Breakthroughs in Classic Mathematical Challenges Learn more 👇

424,025 просмотров • 12 дней назад •via X (Twitter)

Комментарии: 3

Фото профиля Nueng Handsome
Nueng Handsome12 дней назад

This $1 million top prize plus four other tiers is open to every person and even AI with computer checked proofs. That could pull many new solvers into famous unsolved math problems.

Фото профиля Gudasol 🜛 EASY 🍹#1 on XPR 🪙 FALA 🇺🇸 '28
Gudasol 🜛 EASY 🍹#1 on XPR 🪙 FALA 🇺🇸 '2812 дней назад

I look forward to applying. Thank you Sun!

Фото профиля 𝐂𝐑𝐘𝐏𝐓𝐎 𝐓𝐑𝐀𝐃𝐄𝐑
𝐂𝐑𝐘𝐏𝐓𝐎 𝐓𝐑𝐀𝐃𝐄𝐑12 дней назад

A fantastic initiative combining mathematics, artificial intelligence, and formal verification through Lean. A great step to support researchers and contributors worldwide 👏📐

Похожие видео