Model Baru Cursor 1.5T Tinggalkan Basis Kimi, Tukar Saham $600 Miliar untuk Cursor, Langkah Pertama Musk Tebas Microsoft GitHub

marsbit发布于2026-06-17更新于2026-06-17

文章摘要

Cursor mengumumkan pada konferensi Compile bahwa mereka sedang mengembangkan model baru dengan parameter di atas 1,5T. Model ini tidak lagi menggunakan dasar Kimi, melainkan dilatih dari nol dengan lebih dari 100.000 GPU. Peningkatan ini didukung oleh akuisisi SpaceX senilai $60 miliar dalam bentuk saham, yang diharapkan selesai pada kuartal ketiga 2026. CEO Michael Truell menekankan bahwa peningkatan sumber daya komputasi 10-20 kali lipat akan memungkinkan pengembangan kemampuan yang lebih berbeda dan canggih. Selain itu, Cursor meluncurkan Origin, platform Git yang dirancang khusus untuk agen AI, untuk menyaingi GitHub milik Microsoft. Origin dirancang untuk menangani beban kerja skala besar dari agen AI yang dapat melakukan kloning, commit, dan merger kode ribuan kali sehari, serta menyelesaikan konflik merger secara otomatis. Platform ini dijadwalkan rilis musim gugur ini. Dengan dukungan sumber daya komputasi dari SpaceX, Cursor bertujuan tidak hanya menjadi alat pemrograman, tetapi juga model AI umum yang dapat membantu berbagai tugas di luar pengkodean. Mereka berencana mengintegrasikan seluruh alur kerja pengembangan perangkat lunak, mulai dari penulisan kode di Cursor, tinjauan kode dengan alur kerja Graphite, hingga hosting dan merger melalui Origin.

Hari ini, Cursor mengumumkan beberapa produk "masa depan" di konferensi Compile: model baru 1.5T yang akan datang yang menggunakan lebih banyak daya komputasi, dan platform Git "mirip Github" bernama Origin yang ditujukan untuk agen cerdas.

Ini dengan cepat menarik perhatian banyak pengguna, karena ini diumumkan hampir bersamaan dengan kabar bahwa SpaceX secara resmi telah menggunakan hak akuisisi untuk membeli Cursor dengan transaksi seluruh saham. Menurut perjanjian, Cursor akan mendapatkan saham SpaceX senilai 600 miliar dolar AS, dan transaksi spesifiknya diperkirakan akan selesai pada kuartal ketiga 2026. Laporan sebelumnya menyebutkan bahwa Cursor tahun lalu menolak minat akuisisi dari beberapa perusahaan AI besar.

"Dengan kecepatan ini, Cursor akan menjadi agen pemrograman cerdas peringkat pertama atau kedua dalam satu tahun. Tim ini sangat hebat... sekarang didukung oleh daya komputasi tak terbatas. Ini adalah akuisisi terbaik sejak Instagram dan YouTube." komentar seorang netizen.

Dengan Jaminan Daya Komputasi, Latih Model dari Nol

Banyak netizen membocorkan bahwa CEO Cursor Michael Truell hari ini di konferensi Compile mengungkapkan situasi model baru: sebuah model baru dengan parameter di atas 1,5T, tidak lagi menggunakan kerangka (wrapper) kimi, dilatih dari awal (pre-trained) pada lebih dari 100.000 GPU.

Selama beberapa bulan terakhir, SpaceXAI terus melatih model secara bersama dengan Cursor, model ini akan segera dirilis di Cursor dan Grok Build.

Orang-orang menduga model baru yang disebutkan Michael adalah model dasar 1,5T yang disebutkan Musk pada 25 Mei, kemudian ada dua pipeline pembelajaran penguatan (reinforcement learning), yaitu Cursor dan Grok.

Dalam konferensi, Michael mengungkapkan, model baru yang sedang dilatih memiliki 3 perbedaan.

Pertama, skalanya besar, berada pada tingkat yang sama dengan model tingkat AGI milik OpenAI.

Kedua, ia dilatih dari nol, bukan berdasarkan pelatihan lanjutan model open source. "Kami mencintai open source, dan juga berharap menemukan lebih banyak cara untuk memberi kembali kepada komunitas open source. Tetapi melatih model dasar dari awal memungkinkan kita mengontrol perilaku model dengan lebih baik, dan selanjutnya mencakup beban kerja yang benar-benar saya dan kalian pedulikan." kata Michael. Sebelumnya, Cursor pernah diungkap menggunakan kerangka (wrapper) Kimi.

Ketiga, dan ini juga poin yang sangat krusial, sumber daya komputasi yang digunakan Cursor sekarang adalah 10 hingga 20 kali lipat dari yang bisa didapatkan sebelumnya. Model generasi sebelumnya sudah menggunakan sedikit lebih banyak sumber daya komputasi dibandingkan masa lalu, tetapi kali ini baru benar-benar peningkatan skala besar pertama dalam investasi komputasi.

"Ini sangat penting." kata Michael, "Di masa lalu, dari Composer 1 ke Composer 2.5, skala daya komputasi yang digunakan untuk melatih model kami sebenarnya sangat kecil dibandingkan dengan laboratorium terdepan, ini akan sangat membatasi hal-hal yang bisa kami lakukan. Banyak metode untuk membuat model semakin baik, pada dasarnya akan mentok pada satu masalah: bisakah kami menjalankan lebih banyak eksperimen, melatih model lebih lama. Oleh karena itu, peningkatan daya komputasi skala 10 kali lipat kali ini, memang memberi kami kesempatan untuk menciptakan kemampuan yang berbeda, dan berharap segera menyerahkan kemampuan ini ke tangan kalian, membawa fitur baru yang benar-benar menarik dan cukup kuat."

Namun, netizen Lisan al Gaib mengungkapkan, "Opus 4.5 hingga 4.8, serta GPT-5 hingga GPT-5.5, sebenarnya tidak sebesar itu! (Semua di bawah 2 triliun parameter)" Dia melanjutkan, "Ini berarti, performa saat ini dari GPT-5.5 dan Opus 4.8, dapat dicapai oleh model open source. Karena tebak apa lagi yang juga sebesar ini? DeepSeek-V4-Pro."

Gaib mengatakan, satu-satunya pertahanan (moat) adalah skalabilitas:

Sampai saat ini, Anthropic adalah satu-satunya laboratorium yang berhasil melompat ke skala sekitar 10 triliun parameter, itulah mengapa saya tidak lagi berpikir OpenAI bisa mengejar pada akhir tahun ini. Selanjutnya, Anthropic hanya perlu terus menginvestasikan daya komputasi pembelajaran penguatan (reinforcement learning) pada Mythos, dan akan terus meningkat dalam 1 hingga 2 tahun ke depan.

Google tidak berhasil membuatnya sebesar itu, dan agak berlebihan dalam hal sparse (sparsifikasi). Mereka jelas juga tidak tahu bagaimana benar-benar memoles model hingga dapat digunakan melalui pembelajaran penguatan (reinforcement learning).

OpenAI masih terperangkap dalam bayang-bayang GPT-4.5.

xAI dan Meta masih dalam tahap perencanaan.

Sebelumnya, investor Wall Street Gavin Baker memberikan penilaian tinggi pada Cursor, "Selain Anthropic, jumlah token 'data pelatihan kode berpemilik' yang dimiliki Cursor lebih banyak daripada laboratorium lain mana pun di dunia. Model kode internal Cursor Composer 2.5, bahkan sebelum melalui pelatihan tingkat Colossus yang lengkap, sudah mendekati level model terdepan."

Ada netizen yang melihat prospek baik untuk transaksi akuisisi ini: "Cursor menguasai pembelajaran penguatan (reinforcement learning), sementara SpaceX memiliki daya komputasi yang cukup untuk melatih model 10T. Oleh karena itu, SpaceX mungkin akan memenangkan perlombaan AI."

Tidak Hanya Kode

Selain itu, ada netizen yang memperhatikan, Cursor dalam tweet pengumuman resminya tidak menyebut diri mereka "berorientasi pada pengembang", tetapi hanya mengatakan "AI yang berguna". Oleh karena itu, mereka berpendapat Cursor kemungkinan besar akan menjadi pesaing langsung Codex dan Claude Desktop.

Sampai batas tertentu, ini sesuai dengan penekanan Michael dalam konferensi terhadap posisi model baru: "Ini akan menjadi model cerdas yang tidak hanya mahir menulis kode."

Michael berpendapat, ini sangat penting untuk hal-hal yang ingin dilakukan tim. "Tujuan kami adalah, agar siapa pun dapat membangun apa yang mereka inginkan dengan komputer. Dan sekarang, hambatan (bottleneck) sedang bergeser dari 'menulis kode' itu sendiri, ke semua kemampuan yang Anda harapkan dari seorang rekan insinyur."

Ini berarti, ia harus bisa menggunakan alat yang digunakan insinyur; harus bisa melakukan pemantauan, perencanaan, benar-benar menguji perangkat lunak, dan mengklik tombol di antarmuka; juga berarti, tim perlu menyajikan dengan baik seputar pengalaman pengguna, sehingga pengguna dapat melihat dengan jelas apa yang diubah oleh agen cerdas tersebut.

"Jadi, kami akan melangkah keluar dari lingkup 'pengkodean terpercaya' semata, membuat model ini memiliki kecerdasan umum yang lebih kuat. Saat ini pelatihan terkait telah dimulai, dan akan dirilis dalam beberapa minggu ke depan. Dan semua ini didukung oleh kemitraan kami dengan SpaceX. Kalian juga tahu, ini sudah bukan kemitraan biasa lagi." kata Michael.

Menurutnya, saat ini sebenarnya tidak banyak pemain dan lembaga AI yang benar-benar mampu mendesain lapisan produk dan lapisan model secara bersamaan dan terkoordinasi. Gen perusahaan pemain lain, banyak yang berasal dari perusahaan teknologi besar, atau awalnya adalah laboratorium, kemudian baru secara bertahap beralih ke sisi pengembang dan produk. Sedangkan perusahaan di balik Cursor, baik buruknya, pada dasarnya dibangun di sekitar pengembang. Perusahaan ini terdiri dari sekelompok orang yang benar-benar ingin membuat alat yang berguna bagi pengembang.

Jadi, Michael berpendapat, ketika perusahaan memasuki tahap berikutnya, untuk pertama kalinya menyatukan sekelompok orang yang benar-benar memahami detail produk, memahami alur kerja pengembang, dengan kemampuan untuk memodifikasi langsung kemampuan dasar model. "Yang bisa kami pengaruhi bukan hanya piksel di layar, tetapi juga kemampuan dasar model itu sendiri, dan kemampuan model adalah bagian yang sangat penting dalam produk."

Perlu dicatat, Cursor Mobile sekarang telah memasuki versi beta, termasuk fitur kendali jarak jauh (remote control) untuk host Mac.

Platform Git Berorientasi Agen Cerdas, Bersaing dengan Microsoft GitHub

Selain model, Cursor juga merilis platform Git asli (native) untuk agen cerdas: Origin.

"Platform hosting Git modern dirancang untuk pengembang manusia: mereka hanya sesekali meng-clone repositori, melakukan beberapa commit kode per hari, bukan dirancang untuk agen cerdas yang akan meng-clone dan melakukan push ribuan kali per hari." kata insinyur Cursor Austin Nick Piel di X, "Sangat bersemangat membangun platform hosting kode Git untuk dunia baru ini."

Origin adalah pesaing GitHub yang mencoba dibangun Cursor sebagai "asli untuk agen cerdas": Ini adalah platform hosting kode yang kompatibel dengan Git, tetapi asumsi dasarnya adalah, di masa depan akan ada banyak agen AI secara paralel melakukan clone, membuat branch, commit kode, rebase, meninjau kode, serta memperbaiki tugas yang gagal.

Ada netizen yang berpendapat, ini juga membuat akuisisi Graphite tahun lalu oleh perusahaan menjadi lebih menarik. "Graphite membawa PR bertumpuk (stacked PR), alur peninjauan kode, antrian penggabungan (merge queue), serta pengalaman kolaborasi yang lebih jelas, sementara Origin menambahkan lapisan hosting kode di bawahnya."

Oleh karena itu, Cursor sudah tidak lagi hanya "VS Code dengan AI". Mereka mencoba menguasai seluruh pabrik perangkat lunak (software factory) AI: menulis kode di Cursor, menjalankan agen cerdas secara paralel, meninjau kode dengan alur kerja gaya Graphite, lalu menghosting dan menggabungkan kode melalui Origin.

"GitHub dibangun untuk pengembangan perangkat lunak skala manusia. Sedangkan Origin dikemas sebagai infrastruktur yang ditujukan untuk hambatan (bottleneck) berikutnya: di era generasi kode skala besar oleh agen cerdas, bagaimana mengoordinasikan, meninjau, dan menggabungkan kode-kode ini dengan aman." simpulnya.

Berdasarkan video yang dirilis netizen, di konferensi Compile, Tomas Reimers, salah satu pendiri Graphite, yang memperkenalkan Origin.

Pengembangan perangkat lunak jauh lebih dari sekadar menulis kode. Ini juga mencakup pengujian, peninjauan, penggabungan, dan penerapan (deployment) yang benar. Kami terus berusaha menemukan cara terbaik untuk mempercepat semua link ini dalam proses pengembangan perangkat lunak.

"Dalam beberapa tahun terakhir, kami melihat sebuah tren: seiring perusahaan-perusahaan ini mulai mengadopsi pemrograman AI, alat-alat yang mereka andalkan di masa lalu mulai menjadi tidak dapat diandalkan. Ini karena beberapa tahun terakhir, alat-alat AI telah sepenuhnya mengubah seluruh industri. Ini memberi setiap pengembang peluang untuk menjadi pengembang dengan peningkatan efisiensi 10 hingga 100 kali lipat." kata Tomas, "Tetapi perubahan ini juga menuntut alat pengembangan berubah secara fundamental. Itulah mengapa setelah diakuisisi oleh Cursor, kami mempercepat proyek paling ambisius kami: membangun kembali lapisan infrastruktur ini dari awal."

Diketahui, Origin dapat diskalakan untuk menyesuaikan beban kerja (workload) agen cerdas, mendukung API dan ekstensi MCP, dan memiliki mekanisme penyelesaian otomatis oleh agen cerdas untuk konflik penggabungan (merge conflict) dan kegagalan kolaborasi (collaboration failure).

Ada pengembang yang mengatakan, "Fitur yang paling saya sukai mungkin adalah penyelesaian konflik otomatis. Ketika puluhan agen AI mengirimkan kode (commit) secara bersamaan, menyebabkan konflik penggabungan yang besar, Origin akan dapat memperbaiki konflik-konflik ini secara otomatis."

"Mungkin sudah waktunya mencari pesaing untuk GitHub, lihat apakah ini bisa membawa perubahan", ada juga netizen yang bercanda, "GitHub menyaksikan semua orang satu per satu secara perlahan mereplikasi fungsinya." Tentu saja ada juga yang mempertanyakan, "Cursor bahkan tidak bisa mengelola layanan pelanggannya sendiri, sekarang malah ingin membuat Git?"

Pihak resmi menyatakan, Origin akan diluncurkan musim gugur ini, dan sekarang sudah membuka daftar tunggu (waitlist). Ada pengembang yang khawatir, ketika produk "masa depan" ini benar-benar diluncurkan, mungkin orang-orang sudah melupakannya.

Penutup

Banyak orang berkomentar tentang pencapaian Cursor yang didirikan oleh 4 lulusan MIT pada 2023: awalnya adalah perusahaan rintisan komunikasi enkripsi, kemudian berkembang ke bidang alat pemrograman AI. Perusahaan ini adalah salah satu yang paling awal secara lengkap menyematkan kemampuan memanfaatkan model besar (large model) ke dalam IDE. Ini adalah fork dari Visual Studio Code, dan terintegrasi mendalam dengan kemampuan AI. Namun, platform yang sudah ada dan perusahaan AI yang lebih besar kemudian juga secara berturut-turut meluncurkan fungsi serupa.

Saat ini, pendapatan tahunan Cursor telah mencapai puluhan miliar dolar AS. Tetapi seiring Claude Code dari Anthropic mendominasi bidang ini, pangsa pasar Cursor juga mengalami penurunan. Media asing melaporkan, Cursor masih berusaha mencapai titik impas (break-even).

Alat yang dibuat Cursor memungkinkan pengembang beralih di antara berbagai model AI, termasuk model dari OpenAI, Anthropic, xAI, Google, dan perusahaan lainnya. Perusahaan ini bersaing dengan Claude Code dari Anthropic, Codex dari OpenAI, produk-produk ini semua dapat menulis kode, mendebug perangkat lunak, dan mengotomatiskan tugas.

Menjadi anak perusahaan penuh (wholly-owned subsidiary) SpaceX, Cursor memiliki lebih banyak daya komputasi, dan ada yang menganalisis, SpaceX juga bisa memanfaatkannya untuk memenangkan klien perusahaan yang menguntungkan. Sebelumnya, banyak klien perusahaan pada dasarnya tidak menggunakan asisten chat buatan sendiri SpaceX, Grok. Grok bersaing dengan Claude dan ChatGPT, Musk memposisikannya sebagai chatbot "anti-woke" yang mencari kebenaran, tetapi saat ini masih tertinggal dari model-model terdepan lainnya.

Untuk kabar akuisisi Cursor oleh SpaceX, sebenarnya sudah beredar sejak bulan April. Saat itu, SpaceX menandatangani perjanjian komputasi dan opsi dengan perusahaan induk Cursor, Anysphere. SpaceX akan menyediakan daya komputasi klaster GPU dalam skala tertentu kepada Cursor, kedua belah pihak akan bekerja sama memperbaiki model yang ada, termasuk Grok, dan mungkin bersama-sama mengembangkan model AI baru serta produk terkait.

Saat itu, kerja sama ini tidak berarti Cursor telah diakuisisi. Menurut dokumen penawaran umum perdana (prospektus) SpaceX, SpaceX mendapatkan hak, tetapi tidak ada kewajiban akuisisi wajib: di masa depan dapat mengakuisisi Cursor sesuai harga yang telah disepakati sebelumnya. Jika setelah penerbitan (IPO) selesai SpaceX menggunakan hak akuisisi, imbalannya akan dibayar dengan saham biasa Kelas A SpaceX, dasar perhitungannya adalah nilai ekuitas implisit Cursor sebesar 600 miliar dolar AS, serta harga penutupan rata-rata tertimbang volume perdagangan (volume weighted average closing price) saham biasa Kelas A SpaceX dalam tujuh hari perdagangan berturut-turut sebelum akuisisi selesai.

Perjanjian juga menetapkan biaya putus (break-up fee) yang tinggi. Jika SpaceX mengakhiri perjanjian opsi, atau Cursor mengakhiri perjanjian karena pelanggaran berat (material breach) SpaceX, Cursor berhak mendapatkan biaya terminasi 1,5 miliar dolar AS, serta biaya layanan tangguhan (deferred service fee) 8,5 miliar dolar AS di bawah perjanjian, total 10 miliar dolar AS. Biaya terkait dapat dibayar tunai; jika pada saat itu IPO SpaceX belum selesai, juga dapat dibayar dengan saham biasa Kelas A.

SpaceX menyelesaikan penawaran umum (public offering) Jumat lalu, harga saham hari pertama naik 19%, Senin naik 20%, Selasa naik sekitar 5%, kapitalisasi pasar saat ini sekitar 2,66 triliun dolar AS. Setelah kenaikan harga saham SpaceX, kapitalisasi pasarnya pada hari Selasa melampaui Amazon, masuk ke 5 perusahaan publik dengan kapitalisasi pasar tertinggi di Amerika Serikat.

Sampai hari ini, akuisisi Cursor oleh SpaceX sudah ditetapkan, tetapi ini juga awal yang baru. Apakah keduanya di masa depan dapat mengubah lanskap pasar saat ini seperti yang dinantikan banyak pengembang, kita tunggu dan lihat.

Referensi:

https://www.wsj.com/business/spacex-agrees-to-buy-ai-coding-agent-cursor-for-60-billion-7a473340?st=2addXh&reflink=article_copyURL_share

https://x.com/morganlinton/status/2066946225837109735

Artikel ini berasal dari akun WeChat resmi "InfoQ" (ID: infoqchina), penulis: Chu Xingjuan

热门币种推荐

相关问答

QApa yang dibahas dalam konferensi Compile oleh Cursor?

ADalam konferensi Compile, Cursor mengumumkan beberapa produk 'masa depan', termasuk model baru 1.5T yang akan dirilis, dan platform Git 'mirip GitHub' yang disebut Origin yang dirancang khusus untuk agen AI.

QBagaimana cara SpaceX mengakuisisi Cursor?

ASpaceX mengakuisisi Cursor melalui transaksi penuh saham, di mana Cursor akan menerima saham SpaceX senilai 600 miliar dolar AS. Transaksi ini diharapkan selesai pada kuartal ketiga tahun 2026.

QApa saja keunggulan dari model baru Cursor 1.5T?

AModel baru Cursor 1.5T dilatih dari awal (tidak berbasis model lain seperti Kimi sebelumnya) pada lebih dari 100.000 GPU. Skala parameternya berada di tingkat yang sama dengan model AGI OpenAI, dan mendapatkan peningkatan sumber daya komputasi 10 hingga 20 kali lipat dibandingkan sebelumnya, memungkinkan diferensiasi kemampuan yang lebih besar.

QApa itu Origin yang diumumkan Cursor?

AOrigin adalah platform hosting kode Git yang dirancang khusus untuk dunia AI, dengan asumsi dasar bahwa akan ada banyak agen AI yang mengkloning, membuat cabang, mengirimkan kode, dan melakukan review secara paralel. Platform ini dilengkapi mekanisme resolusi otomatis untuk konflik penggabungan kode.

QMengapa kolaborasi antara Cursor dan SpaceX dianggap penting?

AKolaborasi ini penting karena Cursor mendapatkan akses ke sumber daya komputasi besar-besaran dari SpaceX (10-20 kali lipat), yang memungkinkan mereka melatih model dasar skala besar dari nol dan mengembangkan kemampuan AI yang lebih kuat dan berbeda. SpaceX juga mendapat keuntungan dengan akses ke teknologi AI Cursor untuk menarik lebih banyak klien korporat.

你可能也喜欢

解读资产上链背后的杠杆、流动性与风险真相

RWA(现实世界资产)代币化常被讨论,但其价值不在于简单的资产上链,而在于能否在DeFi生态中实现高效、有韧性的金融运作。文章指出,代币化仅是赋予资产一个可识别的数字凭证(如同条形码),真正的变革来自DeFi提供的杠杆、流动性和风险管理能力。 核心挑战在于RWA与DeFi存在多重“时间时钟”冲突:区块链实时结算,而底层传统资产交易、赎回和处理存在延迟。这导致在压力情景下(如周末清算),链上快速处置需求与现实世界缓慢流程之间产生缺口,低波动资产(如国债代币)可能因流动性不足而比高波动加密资产风险更高。 真正的流动性并非总锁定价值(TVL),而是在需要时能否在限定时间内以可接受价格退出。资产需具备多条清晰的退出路径(二级市场卖出、发行方赎回、抵押借贷)。 杠杆能释放资产效用(如抵押借贷),但也引入脆弱性。抵押率的设定需综合考虑法律可执行性、数据新鲜度、赎回延迟、市场深度等多重风险,而不仅是资产波动率。因此,某些情况下国债代币的抵押率应低于ETH。 RWA的风险是一张相互关联的图谱,涉及发行方、托管、预言机、流动性提供者、协议等多节点,需持续监控链下指标(如赎回排队、市场深度)而不仅依赖价格信号。 展望未来,国债代币仅是起点。算力、能源等复杂资产以及代币化股票与永续合约的结合将带来更大机遇与更复杂的风险,需要精心设计风险隔离、动态抵押等机制。 最终,RWA的意义不在于代币本身,而在于其能否融入一个健壮的、可编程的市场体系,在压力下完成估值、融资、对冲和处置,实现资本的高效配置和风险管理。代币是条形码,市场才是运转的机器。

marsbit7分钟前

解读资产上链背后的杠杆、流动性与风险真相

marsbit7分钟前

数学的终结:40位顶尖数学家齐聚OpenAI秘密会议

今年8月初,刚刚获得菲尔兹奖的Jacob Tsimerman与OpenAI科学家Sébastien Bubeck在旧金山召集约40位顶尖数学家举行闭门峰会。会议上一场报告标题为“数学的终结”,引发对人工智能可能终结人类数学研究的深度担忧。 近期AI在数学领域取得一系列突破性成果:5月,OpenAI未发布模型推翻了悬置多年的“单位距离猜想”;8月,该公司又公布了10项AI生成的数学与计算机科学新发现;Anthropic员工利用Claude构造出668维超立方体上的垂直向量对。这些成果绕过了传统的学术发表流程,通过社交媒体等方式快速传播。 数学界的反应出现分裂。超过3000名数学家签署“莱顿宣言”,呼吁负责任地使用AI并确保成果的可验证性。另一些学者则主张抵制AI以保住人类在数学中的位置。与会者指出,AI目前虽能证明问题,但难以解释论证中最困难的部分,也无法自主提出新概念。人类的理解与阐释仍是数学知识成为文献的关键。 峰会探讨了数学未来的几种可能形态:或如软件工程般大规模协作;或如物理学般依赖算力;或人类转为AI产出的“策展人”;抑或数学家集体转向AI安全研究。组织者强调“必须把人放在第一位”,数学的意义在于人类能从中学习。然而会议并未达成共识,数学界仍在寻找自身在AI时代的定位。Tsimerman选择加入OpenAI从事AI安全研究,这一举动本身已折射出该领域面临的深刻变革。

marsbit12分钟前

数学的终结:40位顶尖数学家齐聚OpenAI秘密会议

marsbit12分钟前

交易

现货

热门文章

如何购买S

欢迎来到HTX.com!我们已经让购买Sonic(S)变得简单而便捷。跟随我们的逐步指南,放心开始您的加密货币之旅。第一步:创建您的HTX账户使用您的电子邮件、手机号码注册一个免费账户在HTX上。体验无忧的注册过程并解锁所有平台功能。立即注册第二步:前往买币页面,选择您的支付方式信用卡/借记卡购买:使用您的Visa或Mastercard即时购买Sonic(S)。余额购买:使用您HTX账户余额中的资金进行无缝交易。第三方购买:探索诸如Google Pay或Apple Pay等流行支付方法以增加便利性。C2C购买:在HTX平台上直接与其他用户交易。HTX场外交易台(OTC)购买:为大量交易者提供个性化服务和竞争性汇率。第三步:存储您的Sonic(S)购买完您的Sonic(S)后,将其存储在您的HTX账户钱包中。您也可以通过区块链转账将其发送到其他地方或者用于交易其他加密货币。第四步:交易Sonic(S)在HTX的现货市场轻松交易Sonic(S)。访问您的账户,选择您的交易对,执行您的交易,并实时监控。HTX为初学者和经验丰富的交易者提供了友好的用户体验。

3.7k人学过发布于 2025.01.15更新于 2026.08.06

如何购买S

相关讨论

欢迎来到HTX社区。在这里,您可以了解最新的平台发展动态并获得专业的市场意见。以下是用户对S(S)币价的意见。

活动图片