5篇AI生成的数学论文被接收！00后创始人洪乐潼融资14个亿
中文摘要
5篇AI生成的数学论文被接收，00后创始人洪乐潼融资14亿。
English Summary
Five AI-generated math papers accepted; post-00s founder Hong Letong raised 1.4 billion yuan.
Original Excerpt
8篇由同一个系统生成或形式化证明的数学论文
中文摘要
5篇AI生成的数学论文被接收，00后创始人洪乐潼融资14亿。
English Summary
Five AI-generated math papers accepted; post-00s founder Hong Letong raised 1.4 billion yuan.
8篇由同一个系统生成或形式化证明的数学论文