📢 Математика получает новое пространство… и приз Justin Sun вкладывает доказательство в самое сердце соревнования 🏆📐
Justin Sun Prize предлагает вознаграждения, которые могут достигать $1M за важные достижения в фундаментальной математике, с акцентом на официальные доказательства, которые способны проверять машины.
🧠 Программа включает 66 задач, связанных с решениями и формальными доказательствами, и открывает доступ к различным разделам фундаментальной математики.
💻 Идея не только в том, чтобы прийти к правильному ответу, но и в том, чтобы преобразовать результат в Formal Proof — проверяемое с помощью программных инструментов доказательство. Это создает четкое пересечение математики и ИИ.
🤖 Согласно объявлению, среди первых победителей — исследовательская команда OpenAI с работой, связанной с задачей Navier-Stokes.
🌍 Также участие не зависит от рекомендаций или академических заслуг: важна сама вкла́дка — удалось ли решить задачу и доказать ее в требуемом виде.
🎯 Итог: приз предлагает другой подход к вознаграждению за достижения в математике — сочетает фундаментальную математику, проверяемые доказательства и ИИ, с наградами до $1M. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
Justin Sun Prize предлагает вознаграждения, которые могут достигать $1M за важные достижения в фундаментальной математике, с акцентом на официальные доказательства, которые способны проверять машины.
🧠 Программа включает 66 задач, связанных с решениями и формальными доказательствами, и открывает доступ к различным разделам фундаментальной математики.
💻 Идея не только в том, чтобы прийти к правильному ответу, но и в том, чтобы преобразовать результат в Formal Proof — проверяемое с помощью программных инструментов доказательство. Это создает четкое пересечение математики и ИИ.
🤖 Согласно объявлению, среди первых победителей — исследовательская команда OpenAI с работой, связанной с задачей Navier-Stokes.
🌍 Также участие не зависит от рекомендаций или академических заслуг: важна сама вкла́дка — удалось ли решить задачу и доказать ее в требуемом виде.
🎯 Итог: приз предлагает другой подход к вознаграждению за достижения в математике — сочетает фундаментальную математику, проверяемые доказательства и ИИ, с наградами до $1M. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
