新知

新知

  1. 北大AI4Math董彬、刘若川等多位学者合作:《数学的一种现代重构——韦伊猜想的形式化证明与阐述》2026-11-11
  2. 专访数学家本・格林(Ben Green)与詹姆斯・梅纳德(James Maynard)《牛津数学畅聊AI系列》2026-11-9
  3. 与找停车位、看房、择偶相似的费曼点餐问题
  4. Neuron|伸手拿东西没瞄准,如何半路微调?美国团队揭示小脑输出通路在伸取纠正与学习中的分离
  5. “自助吃鸡”吃到爽,野生猛禽胖到飞不起来,被人类强制减肥
  6. 4000米深的海底,为什么会出现一根人造天线?
  7. 炎症让人变“社恐”?防卫医科大学团队揭示免疫预适应保护社交能力的机制
  8. 平地狂翻跟头!这种蛇遇到危险就化身“风火轮”滚着走,姿势帅呆了
  9. 再探“椭圆周长代数公式”的“命门”
  10. 数学家心声:《论AI与数学的进步:梦想一台数学通用机器》by 文森特·朗格(Vincent Runge)2026-10-27
加载失败,请点击重试