
В’єтнам має горді традиції математичної видатності. 🇻🇳 Від медалістів ММО до лауреата Філдсівської премії Нго Бао Чоу, в’єтнамські таланти вже зробили свій внесок у глобальну математику. Зараз премія Джастіна Суна може створити ще одну можливість для цього таланту засяяти. Новий пілотний проект MathDB охоплює 50 математичних задач із нагородами за задачу до $1 млн. Під керівництвом професора Калтеха Тоні Юе Ю та його команди, MathDB вводить формальний процес перевірки рішень, верифікації Lean-доведень та визнання чіткого пояснення математичних відкриттів. Що робить це особливо цінним для дослідників — це структура нагород: • 50% — за математичне рішення • 30% — за формалізацію Lean • 20% — за доступне математичне пояснення Це означає, що програма визнає не лише знаходження відповіді, а й строгу верифікацію та зрозуміле пояснення складних відкриттів іншим. Для в’єтнамських математиків, колишніх учасників ММО та незалежних дослідників це може бути значущим стимулом для дослідження складних відкритих проблем та співпраці з ШІ. Тим часом В’єтнам поступово формує чіткіший правовий каркас для криптовалют та цифрових активів. Пілотна рамка уряду для ринку криптоактивів, запроваджена за резолюцією 05/2025/NQ-CP, є важливим кроком до більш структурованої та регульованої екосистеми. Ці розвитки створюють цікавий перетин між науковими дослідженнями, ШІ та блокчейн-нагородами. Уявіть, як більше в’єтнамських дослідників працюватимуть над довгостроковими математичними проблемами, з роботою, яка незалежно верифікується та визнається на міжнародній арені. В’єтнам уже продемонстрував свою здатність виховувати винятковий математичний талант. Ініціативи, такі як премія Джастіна Суна, можуть надати додатковий стимул цьому таланту для прагнення до революційних досліджень та розширення меж людських знань. Наступний прорив може прийти з В’єтнаму. @justinsuntron @JustinSunPrize
