Theorem proofs are also starting to come down to cost: Mistral open-sourced Leanstral 1.5, costing about $4 per problem.
Related
Myanmar's AI-driven telecom fraud industry exposed: Starlink becomes key infrastructure, encrypted payments and OpenAI/Google models incorporated into toolchains.
A leaked investigative report from a Myanmar scam Odaily park reveals that global telecom fraud is rapidly evolving towards an "AI industrialization + cross-border encrypted payment" system. These fraud networks use cryptocurrencies to transfer funds and employ automated tools based on large models for multilingual script generation, identity spoofing, and emotional manipulation. The investigation shows that these systems heavily utilize OpenAI's ChatGPT and Google's Gemini to support "large-scale social media fraud," while funds are rapidly laundered and transferred through on-chain payments and cross-border channels, forming a two-tiered structure of "AI customer acquisition + encrypted settlement," enabling the fraud industry to achieve high automation and transnational expansion capabilities. Furthermore, Elon Musk's Starlink has become the leading network service provider in the Myanmar scam industrial park, with US ISPs handling nearly one-fifth of the park's traffic. In response to the allegations, OpenAI stated that fraudsters using ChatGPT behave in a manner highly similar to ordinary users, making identification difficult. However, they have been using behavioral pattern recognition and risk control systems to ban approximately 100,000 suspicious accounts monthly. Google stated that its AI models have security safeguards in place and emphasized its commitment to "responsible AI development" to limit the use of tools for fraudulent and other illegal purposes. (Red Star News)
Meituan open-sourced its trillion-parameter large-scale model LongCat-2.0, and simultaneously released the inference code for domestically developed Chinese card processors.
According to Beating's monitoring, Meituan has officially open-sourced its trillion-parameter large-scale model, LongCat-2.0, with a total of 1.6T parameters and an average activation of approximately 48B, designed specifically for real-world agentic coding tasks. Architecturally, it innovatively introduces LongCat sparse attention and N-gram embedding. The former reduces fragmented memory access through flow-aware indexing and hierarchical indexing, accelerating training and inference with millions of contexts; the latter, while achieving nearly 97% sparsity in MoE, invests 135B parameters into the embedding layer, balancing parameter gains and structural stability. Post-training employs multi-teacher online distillation, categorizing experts into Agent, Inference, and Interaction types, seamlessly integrating them on a domestic computing power cluster through the MOPD architecture. As the industry's first trillion-parameter model to complete inference on a 50,000-card domestic computing power cluster, LongCat-2.0 validates the mature capability of domestic chips to handle complex large-scale model tasks. To address the multiple limitations of domestically produced Chinese chips in terms of memory, bandwidth, and interconnects, Meituan has made breakthroughs in three areas: model, chip adaptation, and deployment. At the model level, ScMoE leverages the core control capabilities of domestically produced chips to achieve physical core-level parallelism for Dense and MoE branches, combined with KV-cache partitioning to alleviate the pressure on ultra-long context memory. At the chip adaptation level, Super Kernel reduces operator startup overhead, and Weight Prefetch hides I/O latency, maximizing hardware utilization under constrained conditions. At the deployment level, PD separation is adopted to balance TTFT and TPOT, along with asynchronous Expert-Parallel load balancing to solve load unevenness under high EP (efficiency level). This open-source release simultaneously provides multiple precision versions, including BF16, FP8, and INT8, and fully opens up inference results optimized for domestic computing power, aiming to enable existing domestically produced cards and even older cards to smoothly deploy trillion-model inference services. --------------------------------- Click the original link below to join the Beating · Lark AI news channel and monitor global AI hot topics and news 24/7.
Myanmar's telecom fraud AI industrialization exposed: Starlink becomes key infrastructure, encrypted payments and OpenAI/Google models are incorporated into the toolchain.
According to a report by Red Star News, citing Mars Finance, an investigative report leaked from a scam industrial park in Myanmar reveals that global telecom fraud is rapidly evolving towards an "AI industrialization + cross-border encrypted payment" system. These fraud networks use cryptocurrencies to transfer funds and employ automated tools based on large models for multilingual script generation, identity spoofing, and emotional manipulation. The investigation shows that these systems heavily utilize OpenAI's ChatGPT and Google's Gemini to support "large-scale social fraud," while funds are rapidly laundered and transferred through on-chain payments and cross-border channels, forming a two-tiered structure of "AI customer acquisition + encrypted settlement," enabling the fraud industry to achieve a high degree of automation and transnational expansion. Furthermore, Elon Musk's Starlink has become the leading network service provider in the Myanmar scam industrial park, with US ISPs handling nearly one-fifth of the park's traffic. In response to the allegations, OpenAI stated that the behavior of fraudsters using ChatGPT is highly similar to that of ordinary users, making identification difficult, but they have already blocked approximately 100,000 suspicious accounts monthly through behavioral pattern recognition and risk control systems. Google stated that its AI models have safety barriers in place and emphasized its commitment to "responsible AI development" to limit the tools from being used for illegal purposes such as fraud.
OpenAI's Astra Becomes Its First AI Model With 'Critical' Hacking Abilities
The unreleased model can find zero-day vulnerabilities and chain them into working exploits without a human walking it through each step, and access to that capability is starting with a small group of testers.
Binance Alpha Blind Box Opens Airdrop Prize Pools for AKEDO and ULTILAND
According to Foresight News , Binance Alpha Blind Box has opened airdrop prize pools for AKEDO (AKE) and ULTILAND (ARTX). Users holding at least 245 Binance Alpha Points can claim a token airdrop on the Alpha event page. Upon claiming, users will be assigned to different reward tiers and receive one of the following rewards: 155,555, 194,444, or 555,555 AKE tokens; or 235, 292, or 835 ARTX tokens. Rewards are distributed on a first-come, first-served basis. If rewards are not fully distributed, the points threshold will automatically decrease by 5 points every five minutes. Claiming the airdrop will cost 15 Binance Alpha Points. Users must confirm their claim within 24 hours on the Alpha event page; otherwise, they will be considered to have forfeited their airdrop claim.
The People's Bank of China and Hong Kong regulators support the joint establishment of a fixed-income and currency electronic trading platform in Hong Kong.
PANews reported on July 7 that the People's Bank of China, the Hong Kong Monetary Authority, and the Hong Kong Securities and Futures Commission jointly announced their welcome to the China Foreign Exchange Trading Center and the Hong Kong Stock Exchange for jointly establishing a Hong Kong electronic fixed income and currency trading platform. This initiative aims to deepen cooperation between the mainland and Hong Kong financial markets and consolidate Hong Kong's position as an international financial center and offshore RMB business hub. The announcement stated that the platform will be based in Hong Kong, oriented towards the international market, and will adhere to international market standards and Hong Kong regulatory requirements. It will strive to create an open, fair, efficient, and stable fixed income and currency trading infrastructure, and will enhance trading efficiency and transparency, promote price discovery, reduce transaction costs, and explore technological innovation to empower financial services. The specific launch date of the platform will be announced in due course.