证明

• 人工智能

  40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变规则

  神秘大佬完成最终证明 40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了！ 数学大佬陶哲轩转发了这一消息，并欣慰表示： 这再一次体现了证明助手对于数学研究的协作是多么有用…

  2024年 9月 6日