According to Jin10, Apple (AAPL.O) plans to launch an "upgraded" device rental plan in the United States on July 28.

Apple (AAPL.O) and Klarna have launched an "upgrade" device rental plan. According to Jin10, the two companies introduced the plan together.

Apple (AAPL.O) will launch an "upgraded" device leasing plan to stimulate sales. According to Jin10, no further details were provided.

Vitalik said on X that a new type of "advanced programming language" worth trying is one that compiles to Lean or similar systems, with a focus on making definitions and theorems as easy for humans to read as possible. According to ChainCatcher, he said the goal is not to make proofs easier to read, since proofs only need to be correct, but to clarify the definitions and theorems themselves. He described a possible use case in which AI outputs a long proof, and readers need to understand as easily as possible which exact claims were actually proven.

Vitalik said on X that a new type of advanced programming language worth trying is one that compiles to Lean or HOL. According to Odaily, he said the focus should be on making definitions and theorems as easy for humans to read as possible, rather than the proofs themselves. He said the idea is for AI to produce long proofs while readers can more easily understand the exact claims those proofs establish.

Nvidia Corp. said its latest Rubin chip designs are reaching customers and will help solidify its leadership in the artificial intelligence industry, according to Bloomberg. The semiconductor company has been at the center of the AI boom.

According to CNBC, Nvidia released new specifications for its data center CPU, Vera, and said the chips were delivered in June to clients including OpenAI, Anthropic and SpaceX. The company said Vera is its first server CPU designed from the core, rather than built on an off-the-shelf Arm design, and that it is intended to address bottlenecks in AI agents. Nvidia said Vera offers 50% better performance for AI agents than x86 chips and will be sold on its own, paired with its GPUs, in a liquid-cooled rack of 256 chips, and in a Vera Rubin system. The company also said OpenAI plans to deploy Vera chips in large quantities starting this quarter. Analysts cited in the article said the move could challenge Intel and Advanced Micro Devices in server CPUs, while Nvidia said the overall server CPU market could eventually reach $200 billion.

Longsys Technology’s final strategic placement subscription result has been released. Thirty strategic investors were initially allocated 3.344 billion shares, while their final subscription totaled 1.667 billion shares, about half of the initial allocation. According to Odaily, the market has speculated about the change, which is said to be related to common industry practice. The report said the initial allocation is often designed at the regulatory upper limit to leave room for adjustments, and Longsys Technology’s placement cap was 3.344 billion shares, or 50% of the offering, before later reallocation based on actual conditions. According to Odaily, although the final subscription volume fell, the 30 strategic investors’ actual subscription amount remained consistent with their originally committed amount of 14.437 billion yuan. The difference was transferred to the online subscription tranche, increasing the winning rate for online investors.

Năm 2026, thị trường tiền điện tử sẽ chuyển từ "kể chuyện và thổi phồng giá" sang "ai có người dùng thực và doanh thu thực sẽ tồn tại".

Jinse Finance ra mắt "Jinse Web3.0 Daily", cung cấp cho bạn những tin tức mới nhất và nhanh nhất về AI, DeFi, DAO, NFT và ngành công nghiệp metaverse.

Liệu "Khoảnh khắc DeepSeek 2.0" do Kimi K3 tạo ra cuối cùng sẽ chỉ là một báo động giả, giống như năm ngoái?

Có thể OUSD không phải là giọt nước tràn ly đối với Circle, nhưng nó đã vạch ra rõ ràng luật chơi cho giai đoạn tiếp theo của ngành: ai kiểm soát được kênh phân phối thì người đó nắm quyền định giá.

Khi khoảng cách về khả năng giữa các mô hình tiếp tục thu hẹp, mô hình nào dễ dàng tích hợp vào các công cụ, kết hợp vào quy trình làm việc và sử dụng lâu dài nhất sẽ nổi bật trong vòng cạnh tranh trí tuệ nhân tạo lần này.

Ngày 20 tháng 7, Giải vô địch bóng đá thế giới Mỹ-Canada-Mexico cuối cùng đã khép lại. Sự kiện lớn này, thu hút hàng trăm triệu người hâm mộ trên toàn thế giới, không chỉ gây chú ý lớn trên sân cỏ mà còn thu hút vô số nhà đầu cơ bên ngoài sân đấu.

Trong tuần ra mắt của Kimi K3, cộng đồng công nghệ Mỹ đã đồng loạt bày tỏ sự tiếc nuối vì sao một người trẻ tài năng như Yang Zhilin lại không ở lại Hoa Kỳ vào thời điểm đó.

Bong bóng AI sẽ vỡ khi nào? Từ cơn sốt sức mạnh tính toán đến sự thức tỉnh về hiệu quả, Jinse Finance đưa tin rằng chúng ta đang đứng trước ngưỡng cửa của một kỷ nguyên mới.

MetaMask đã vô tình tuyển dụng một lập trình viên từ nhóm Lazarus Group khét tiếng, cho phép lập trình viên này làm việc tại công ty hơn một năm trước khi bị phát hiện và sa thải.

Một thẩm phán liên bang Hoa Kỳ đã phê chuẩn thỏa thuận dàn xếp trị giá 1,5 tỷ đô la giữa Anthropic và các tác giả về việc công ty này sử dụng hàng triệu cuốn sách lậu để huấn luyện mô hình trí tuệ nhân tạo Claude của mình. Thỏa thuận này sẽ trả khoảng 3.000 đô la cho mỗi tác phẩm đủ điều kiện và yêu cầu Anthropic phải tiêu hủy các tập tin sách lậu.