数学界重大突破! 就在最近,GPT-6 Astra又在哥德巴赫猜想上取得新进展了。 网友Captain Sude宣布:Astra已成功证明了关于刘维尔函数的一项类哥德巴赫猜想! 具体来说,它无条件证明了哥德巴赫猜想的Liouville弱形式。 更惊人的是,跟我们的想象不同,这一次,Astra并不只是靠着大力出奇迹的算力碾压——它做出l非常优雅的逻辑推理。 并且,这个证明现在已经通过了Lean 4的形式化验证。 摘不下的明珠 在这之前,哥德巴赫猜想这个幽灵,已经折磨了人类数学家近三个世纪。 1742年,哥德巴赫在欧拉的信中提出这个猜想:「任一大于2的偶数,
最新赛事动态
券商私募资管规模连续10个月环比增长
今年以来,券商私募资管规模保持稳健增长。中国证券投资基金业协会公布的最新数据显示,截至7月末,券商私募资管规模达6.62万亿元,环比增长2.27%,较去年末增长14.16%,规模创下近12个月新高,并连续10个月保持环比增长。从产品结构来看,在固收类、权益类、期货和衍生品类、混合类四类产品中,固收类产品稳居主导地位。截至7月末,固收类产品规模为5.22万亿元,较去年末增长11.43%,占券商私募资管产品总规模的比例为78.83%。(证券时报)

