正文
解决问题和将其形式化证明都应获得认可。
X账号：#JustinSunPrize同时认可问题解决与证明形式化
X账号 @justinsuntron 表示，解决问题和将其形式化证明都应获得认可。
事实要点
Both solving the problem and formalizing the proof deserve recognition.
That’s how the #JustinSunPrize is structured.
AI 辅助解读
以下为辅助分析，与已报道事实分开展示；重要信息请进一步核实。
信息来自单一社交账号，内容是对奖项设置理念的表述，缺少独立来源或可核实细节。
对读者的影响
核对本事件的后续条件：关注JustinSunPrize是否发布正式规则、评选结果或奖励安排。
风险与未知
- 关注JustinSunPrize是否发布正式规则、评选结果或奖励安排。
同事件进展
正在加载事件时间线…