Anthropic’s Claude has been used to produce a computer-verifiable formalization of Fermat’s Last Theorem, a milestone that connects a major U.S. AI lab with a researcher trained in China’s most prominent computer-science program.
Shenzhen’s Longgang District has turned a local commercial corridor into a test case for AI service delivery. People’s Daily reported on September 5 that the district opened what local authorities describe as China’s first AI Service Street on September 4, linking research and development, application scenarios, industrial support, and services for businesses and residents.
Beijing is bringing generative models, genomic tools, automation, and humanoid robotics into the same agricultural showcase. Xinhua reported on September 5 that the 33rd China Beijing Seed Industry Congress, held in Fengtai from September 4 to 5, featured more than 600 technology achievements from 138 research institutions, seed companies, and service providers.
China’s experiment with AI-generated drama has reached a more visible stage. South China Morning Post reported on September 5 that Later Journey to the West premiered on Hunan TV on August 31 as the first fully AI-generated long-form series to run in a prime-time slot on a major Chinese satellite broadcaster.
China’s listed companies produced their strongest profit growth in years during the second quarter, but the results were not enough to sustain a market rally in AI-related stocks. Bloomberg reports that a China International Capital Corp.
China is putting small and medium-sized enterprises at the center of its next industrial AI push.
Guangxiang Technology is proposing a different role for world models in industrial robotics: use one to train the robot, then remove it before the robot goes to work.
Feidu Tech, known in Chinese as 飞渡科技, has used Beijing’s HICOOL entrepreneurship competition to position itself as a Chinese contender in spatial intelligence and Physical AI.
