数学界进入“证明过剩”时代？OpenAI称一款内部模型已解决100多道长期开放的数学问题

数学界进入“证明过剩”时代？OpenAI称一款内部模型已解决100多道长期开放的数学问题

量子位

北京

0

• 谢霆锋演唱会，一幕真的是神颜的，这年龄太能打了

  阳光幽默馆 打开APP

  

• 大潘 爆笑小品！刚才都亲上了，你咋不吸呢？我嫌E心

  骑着蜗牛追导弹85 打开APP

  

• 67：28！岛内统计结果出炉，赖清德对陆下黑手，向全岛隐瞒了真相

  附允历史观 打开APP

  

• 年终奖我最后一名仅300，我笑着离职，三天后副总急得跺脚

  吃货的分享 打开APP

  

• 素未谋面的孙子找上门

  笨尼尼子 15跟贴

  

• 损失最大的不是武器和基地，详解美国公开的对伊战争损失清单

  梦总会实现的呢

  

• 还没结婚，婆婆就盯上我家买的房子！

  涵奈Kanna 148跟贴

  

• 英国国王亨利八世，喜新厌旧到极致，堪称渣男界典范

  丰收影说 1跟贴

  

• 美媒：中国竟然出动了战略核轰炸机！

  异常清晰的梦

  

• 抚养孤女九年，转头变卖她房子给儿子娶媳妇！超哥怒斥等着吃牢饭

  白浅娱乐聊

  

• 十万志愿军被围绝境，毛主席一天四封电报如何翻盘？

  时光流转追梦人

  

• 女总裁听到小伙来了，竟连画都不画了，立马出去见他

  白浅娱乐聊

  

• 越南为何在中国即将变成第一强国之时，却选择像西方学习？

  糖果手工看看 49跟贴

  

• 月薪3千索66万彩礼全款房+30万车，婚礼又提3年不生,男方当场退婚

  洛天依 5跟贴

  

• 亲戚没边界感，千万别惯着

  阿天爱旅行 10跟贴

  

• 讲真，是球网先动手的！！！

  新媒体 77跟贴

  

• 论背景音乐的重要性！！

  新媒体 2跟贴

  

• 旁边有个抢活的…怎么办？人都过去了？

  新媒体

  

• 多喝热水，热水治百病！

  新媒体 69跟贴

  

• 这滑的挺远的哈，棒棒哒

  新媒体 2跟贴

  

• 战斗民族糗事汇，每个都是爆笑

  新媒体 8跟贴