数学柏拉图主义：数字是被发现的还是被发明的？由 admin2026年3月21日2026年3月22日从柏拉图到哥德尔，从Quine-Putnam到Benacerraf困境——数学对象是否独立于人类心智而客观存在？
AI与数学发现：机器能否成为数学家？由 admin2026年3月21日2026年3月22日从AlphaGeometry到FunSearch，AI正在改变数学发现的方式——但机器证明与人类洞察之间的鸿沟依然巨大。
