25+ min ago  (949+ words) Since February this year, Axiom Prover has made 8 AI papers covering the most hardcore fields appear on ar Xiv, and 6 more are in preparation. The pace of setting questions in the morning and submitting answers in the afternoon has made…...

1+ hour, 36+ min ago  (817+ words) In the past year, the cost of using AI inference models has given many developers a hard time. In the thinking mode, even simple communication consumes a lot of tokens. This is a structural problem, not an engineering problem. So,…...

4+ hour, 47+ min ago  (788+ words) Generalizing the Coding Agent to general scenarios is a system-level competition. What we can be sure of is that Agents are becoming the core battlefield for large companies' AI, and the form of this competition is evolving along four main…...

5+ day, 19+ hour ago  (1192+ words) From the ultra-long text processing of LLMs, the realistic video generation models, the increasing maturity of Agents' autonomous planning and execution, to the entry of VLA and world models into the physical world, AI is constantly expanding its capabilities. The…...

6+ day, 15+ hour ago  (1757+ words) Lin Zhixia does the same thing every day: teaching AI to be more human. She listens to the Cantonese voice generated by the model repeatedly, judging where it lacks naturalness, where it has a mechanical flavor, and where it doesn't…...

6+ day, 20+ hour ago  (1648+ words) Inside, Deep Seek and Xiaomi are slashing prices like crazy. Outside, Anthropic and Google are introducing new products. Even Elon Musk can't sit still. Early this morning, Musk made a high - profile repost on the x AI platform, trying to…...

6+ day, 22+ hour ago  (519+ words) The technology is advancing at a breakneck pace, new demands are emerging, the old is giving way to the new, and the endgame is yet to be seen. The industry is both excited and anxious. With the rapid change of…...

1+ week, 2+ day ago  (1040+ words) eu. 36kr. com AI Reconstructs Biomedical Research: Med Peer Uses AI to Break Through Efficiency Bottlenecks in the Entire Link Currently, the integration process of AI technology and the biomedical research industry is accelerating. The industry is steadily upgrading towards intelligence,…...

1+ week, 2+ day ago  (1147+ words) The throne of Alpha Fold is in jeopardy! Nature published an article: Biohub, under Mark Zuckerberg, dropped a bombshell, releasing 1. 1 billion protein structure predictions in one go, 800 million more than the Alpha Fold database. The AI model ESMFold2 behind it claims…...

1+ week, 2+ day ago  (1694+ words) All along, we are familiar with two types of AI glitches. One is called hallucination. The model seriously spouts nonsense, fabricating non - existent papers and non - existent names in great detail. 1 One is called sycophancy. It always agrees with whatever…...