Загрузка видео...
Не удалось загрузить видео
Introducing the #JustinSunPrize. Rewarding Breakthroughs in Classic Mathematical Challenges Learn more 👇
424,025 просмотров • 12 дней назад •via X (Twitter)
Комментарии: 3

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 🇺🇸 '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 👏📐
Похожие видео
An Icon Returns... Introducing the #Atari2600+🕹️ Learn more at:
Atari
271,824 просмотров • 3 лет назад





