AWS Itu adalah perbankan tentang fakta bahwa dengan membawanya Cek pemikiran otomatis Fitur Bedrock untuk ketersediaan umum, dan akan memberikan lebih banyak lembaga organisasi dan kepercayaan industri untuk menggunakan dan menerbitkan lebih banyak aplikasi intelijen buatan dan karyawan.

Ia juga berharap dapat memberikan cara-cara seperti pemikiran otomatis, yang menggunakan validitas matematika untuk menentukan kebenaran duniawi, untuk mengurangi institusi di dunia saraf, langkah yang diyakini perusahaan akan menjadi progres utama berikut-diferensiasi terbesar di dunia kecerdasan buatan.

Operasi verifikasi pemikiran otomatis memungkinkan pengguna yayasan untuk memverifikasi keakuratan tanggapan dan menemukan halusinasi model. AWS meluncurkan pemikiran otomatis di Bedrock di konferensi Re: Invent pada bulan Desember, mengklaim bahwa itu dapat menangkap hampir 100 % dari semua halusinasi. Sejumlah besar pengguna dapat mengakses fitur melalui pegangan tangan Amazon Bedrock, di mana lembaga dapat menetapkan kebijakan AI yang bertanggung jawab.

Peron Cook, ilmuwan terkemuka dan wakil presiden kelompok pemikiran AWS AWS, mengatakan kepada VentureBeat dalam sebuah wawancara bahwa inspeksi rasionalisasi telah membuktikan sistem pekerjaan tersebut di lingkungan lembaga, dan organisasi membantu memahami nilai kecerdasan buatan yang dapat memadukan pemikiran simbolis atau peraturan dengan sifat jaringan saraf AI.

“Ada ide tentang AI gugup, ini adalah jenis judul yang Anda sebut pemikiran otomatis,” kata Cook. “Munculnya minat pada AI yang gugup menyebabkan orang, sementara mereka menggunakan alat, untuk menyadari betapa pentingnya pekerjaan ini.”

Cook mengatakan bahwa beberapa pelanggan mengizinkan AWS untuk meninjau data dan dokumen mereka yang digunakan untuk menangguhkan jawaban sebagai benar atau salah, dan menemukan bahwa pekerjaan yang dibuat oleh alat tersebut diimplementasikan mirip dengan manusia dengan salinan Buku Peraturan di depan mereka. Dia menambahkan bahwa konsep kebenaran atau benar seringkali dapat ditundukkan pada interpretasi. Pemikiran otomatis tidak memiliki masalah yang sama.

Dia berkata: “Sangat mengejutkan! Sangat mengejutkan bahwa orang -orang dengan latar belakang logis berada di saluran komunikasi internal yang berdebat tentang apa yang benar atau tidak, dan dalam lima atau enam pesan yang menunjukkan alat dan menyadari oh, ini benar.”

AWS telah menambahkan fitur baru ke ujian berpikir optimal untuk versi publik. Ini termasuk:

• Dukungan untuk menambahkan dokumen besar hingga 80 ribu ikon atau hingga 100 halaman
• Verifikasi kesehatan kebijakan paling sederhana dengan menjaga tes verifikasi kesehatan untuk sering bekerja
• Generasi skenario otomatis dari definisi sebelumnya
• Saran bahasa alami untuk komentar politik
• Set verifikasi kesehatan yang disesuaikan

Cook mengatakan bahwa operasi verifikasi pemikiran otomatis divalidasi oleh kebenaran atau hak dalam sistem kecerdasan buatan dengan membuktikan bahwa model tersebut belum dibagikan dengan solusi atau respons. Ini berarti bahwa hal itu dapat memberikan organisasi dan organisasi -lembaga yang menyubjek yang berkaitan dengan sifat non -spesifik dari kebidanan internasional amnesty dapat mengembalikan respons yang salah terhadap lebih percaya diri.

Ai gugup dan membuktikan kebenaran

Cook menaruh ide bahwa pemeriksaan berpikir otomatis membantu membuktikan banyak konsep gugup AI.

AI neurosimbolik Itu menunjukkan jamak Salah satu jaringan saraf yang digunakan oleh model bahasa, dengan pemikiran yang terorganisir dan logis tentang kecerdasan simbolik. Ketika jaringan saraf mengenali pola data, AI menggunakan aturan yang jelas dan masalah logis. Model dasar sering bergantung pada jaringan saraf atau pembelajaran yang mendalam, tetapi karena model membangun respons mereka terhadap pola, mereka rentan terhadap halusinasi, dan mereka masih peduli dengan institusi. Tetapi Amnesty International tidak terlalu fleksibel tanpa instruksi manual.

Janji suara dalam kecerdasan buatan, seperti Kata Gary Marcus AI gugup sangat penting untuk kecerdasan umum buatan.

Memasak dan AWS sangat bersemangat Membawa ide dari AI yang gugup Ke institusi. Matt Marshall dari VentureBeat berbicara tentang fokus AWS pada metode seperti pemikiran otomatis dan menggabungkan matematika dan logika untuk kecerdasan buatan untuk mengurangi halusinasi Di podcast.

Saat ini, beberapa perusahaan ditawarkan dalam Amnesty International Terbalik. Ini termasuk KognitosDan Franz Inc.. Dan Kami.

Bawa matematika untuk memverifikasi kesehatan

Pemikiran otomatis dengan menerapkan bukti olahraga pada model sebagai tanggapan atas pertanyaan.

Ini digunakan sebagai metode yang disebut modulo untuk kepuasan, karena simbol berisi makna yang telah ditentukan sebelumnya, dan mereka memecahkan masalah yang melibatkan kedua logika (kemudian, atau) dan matematika. Pemikiran otomatis mengambil metode ini dan menerapkannya pada tanggapan melalui model dan memverifikasi ini terhadap serangkaian data kebijakan atau kebenaran tanpa perlu menguji jawaban beberapa kali.

Misalnya, dalam mempersiapkan lembaga, mereka ingin membuktikan bahwa audit keuangan benar. Model menjawab bahwa laporan tersebut berisi pembayaran yang tidak terhitung. Tes Berpikir Otomatis Membagi ini menjadi seri logis:

(Forll ((laporan r))

(=> (Berisi unaprovidorpayment r)

(Anda harus memeriksa p))))))

Kemudian ia pindah ke definisi, variabel, dan spesies yang telah diidentifikasi pengguna pada pegangan pondasi dan menggantikan persamaan untuk membuktikan bahwa model tersebut ditanggapi dengan benar dan berdasarkan kebenaran.

Membuat agen sangat benar

Cook mengatakan bahwa kasus penggunaan palsu dapat mengambil manfaat dari pemeriksaan pemikiran otomatis, dan bahwa memberikan lebih banyak akses ke fitur melalui dasar dapat membuktikan manfaatnya. Tetapi dia memperingatkan bahwa pemikiran otomatis, dan teknik saraf AI lainnya, masih dalam tahap awal.

“Saya pikir itu akan berdampak pada AICenc AI, bagaimanapun, tentu saja, pekerjaannya sangat spekulatif saat ini,” kata Cook. “Ada banyak teknik seperti menemukan misteri dalam pernyataan, maka Anda menemukan semacam delta utama antara terjemahan potensial, kemudian kembali kepada Anda dan disempurnakan, saya pikir, itu akan menjadi kunci dalam hal perjalanan emosional yang saya lihat melalui mereka mulai bermain dengan kecerdasan buatan dua tahun yang lalu.”

Secara tradisional, versi produk dapat membuat stres, membutuhkan banyak pendaftaran, perusakan tanpa akhir, birokrasi dan titik gesekan.

Genspark Ini telah mengembangkan pendekatan yang sangat berbeda.

Tim lean AI-Nation-Nation berlatih atau “bekerja dalam keanggunan”, sehingga untuk berbicara-jadi mereka dapat bergerak dalam apa yang mereka sebut “Gen Speed”. Ini memungkinkan mereka untuk mengeluarkan produk dan fitur baru di kekhalifahan cepat (hampir setiap minggu atau lebih), yang terus mengarah pada pendapatan tahunan berulang (ARR). sebagai Perusahaan ini banggaIni bisa menjadi “yang tumbuh paling cepat muncul dalam hal ARR.”

“Ketika orang -orang bekerja dengan cara asli kecerdasan buatan, semua orang adalah manajer di tempat pertama,” Kayhaua (Kai) Chu, Co -Founder dan CTO, mengatakan kepada VentureBeat. “Mereka dilengkapi dengan tim agen intelijen buatan, yang merupakan semacam laporan, dan mereka dapat memberikan fitur saja.”

ADDISAN pass, kompetisi yang akan disewa

GensparkDiluncurkan pada Juni 2024 oleh MainfuncPertama -tama berfokus pada penelitian kecerdasan buatan. Namun meskipun mencapai 5 juta pengguna yang mengesankan, perusahaan pindah dari produk awal ini Agen superAlih -alih mengikuti urutan langkah yang tetap seperti dalam penelitian tradisional, ia memilih alat atau sub -agen terbaik dari pekerjaan itu, dan membentuk hasil dan diatur dalam waktu yang sebenarnya.

Diluncurkan pada 2 April, Agen Super dijalankan oleh Claude, dan dapat mengembun pada sore hari di kantor yang tampak putih dalam 5 menit, seperti yang diklaim Zhu. Misalnya, ia dapat melakukan panggilan, mengunduh, memverifikasi fakta, produksi podcast, pelukis dokumen, melakukan pencarian mendalam dan menarik jadwal data dan slide.

“Kami masih melihatnya sebagai semacam penelitian, tetapi lebih maju secara teknis,” kata Zhu, yang memiliki lebih dari 20 tahun pengalaman dalam penelitian di Google dan Baidu.

Perusahaan ini telah menambah lebih banyak fitur selama empat bulan terakhir; Berikut adalah satu set umpan dan landmark terkemuka:

• 11 April: mencapai 10 juta dolar, yang dilaporkan hanya 9 hari setelah agen superior diluncurkan
• 22 April: Irisan kecerdasan buatan (ratusan cetakan) disajikan
• 28 April: Agen super khusus telah disajikan dengan kepribadian adaptif
• 2 Mei: Itu 22 juta dolar, yang satu bulan setelah peluncurannya
• 8 Mei: Lembar kecerdasan buatan yang membuat jadwal data lengkap telah diluncurkan dengan satu klik
• 15 Mei: Agen Pengunduhan Lengkap Amnesty International, yang mengelola dan menyimpan file
• 19 Mei: Itu 36 juta dolar
• 22 Mei: AI yang dapat melakukan panggilan telepon telah diluncurkan
• 4 Juni: Sekretaris Intelijen Buatan Menawarkan Gmail, Kalender, dan Google Drive
• 10 Juni: Amnesty International dan MCP Browser telah diluncurkan dengan kemungkinan penjelajahan dan pasar alat
• 18 Juni: Menyediakan dokumen kecerdasan buatan untuk membuat dan mengelola dokumen
• 25 Juni: Studio desain disajikan dengan kemampuan “Canva” untuk membuat konten visual
• 10 Juli: Pod intelijen buatan telah diluncurkan
• 17 Juli: Fitur pengeditan lanjutan dari kecerdasan buatan disajikan
• 31 Juli: Slide 2.0 telah dirilis
• 1 Agustus: Kebetulan multi -agen telah disediakan yang dapat menghasilkan hingga 10 faktor secara bersamaan

Genspark juga memanaskan area agen kecerdasan buatan dengan persaingan persahabatan. Setelah mendeklarasikan Openai Agen chatgpt Pada pertengahan Juli, Genspark melakukan analisis komparatif dan “sangat percaya diri” dalam kemampuannya untuk melewati pesaing. Untuk memimpin titik ini ke DPR, perusahaan diluncurkan. “$ 1 juta di samping konfrontasi“Tantang pengguna untuk mencari kasus di mana platform lain unggul di atas super genspark.

Di babak pertama, pengguna ditugaskan untuk membangun irisan keuangan 12 halaman menggunakan agen Genspack dan ChatGPT; Pengguna menetapkan 429 kasus sebagai yang terakhir mengungguli yang sebelumnya, masing -masing mendapat $ 100 untuk upaya mereka.

Di Babak 2 (yang berakhir pada hari Senin, 4 Agustus), Genspark naik menjadi $ 200 untuk setiap kemenangan dan membuka kompetisi untuk alat Amnesty International sebagai lawan. Pengguna ditantang untuk menggunakan klaim yang sama untuk membangun irisan di Genspark dan alat kecerdasan buatan yang dipilih, kemudian mengunduhnya ke Guemi untuk dievaluasi.

“Jangan mencoba memulai drama apa pun di sini – sangat bersemangat tentang kedatangan ekosistem seluruh agen kecerdasan buatan,” Diposting di x. “Ini menunjukkan bahwa kita mendorong perbatasan ke arah yang benar.”

Beberapa reaksi pengguna:

Bagaimana Genspark menyerupai kecerdasan buatan

Secret Genspark adalah 20 orang lean club dan filosofi teknik “lebih sedikit kontrol, lebih banyak alat”. Zhou menjelaskan bahwa lebih dari 80 % kode ditulis oleh kecerdasan buatan, yang tidak menyembuhkan dirinya sendiri, “karena jenis pengkodean adalah bahwa Anda tidak pernah melihat simbolnya.” Sebaliknya, Genspark memiliki tinjauan simbol “sangat kaku” untuk membantu memastikan kualitas basis kode mereka.

“Kami hanya membutuhkan tim kecerdasan buatan yang sangat kecil untuk bekerja dalam situasi pahlawan super, seperti Avengers“Pengkodean kecerdasan buatan dan fungsi kecerdasan buatan sangat kuat, itu diperbesar,” kata Zhu, yang mengatakan bahwa mereka secara bertahap akan menambahkan anggota tim sesuai kebutuhan.

Dia mengatakan bahwa tim tim harus direorganisasi hari ini “sangat berbeda.” Dia berhasil mengelola 1.000 anggota dengan berbagai tingkat manajemen dan melihat bagaimana memberikan kebijakan kantor gesekan.

Sebaliknya, tim Genspark terhubung ke “metode yang sangat transparan”, dan produktivitas “sangat tinggi”. “Semua orang mengerjakan produk yang dapat dikirimkan,” kata Zhu. “Saya pikir ini akan menjadi basis yang menantikan, karena Amnesty International sangat membantu semakin banyak orang untuk melakukan pekerjaan mereka dengan lebih baik.”

Dia juga menekankan pentingnya membenamkan diri dalam produk Anda. Dari para desainer sendiri hingga tim pemasaran, “Kami benar -benar makan makanan anjing kami. Kami dikonsumsi oleh produk kami sendiri. Ini adalah bagaimana kami akan terus meningkatkan pengalaman.”

Di dalam agen perintis di genspark

Zhu mencatat bahwa ketika kebingungan diluncurkan pada bulan Desember 2022, ia memicu kemampuan Amnesty International untuk mengonversi penelitian. Namun, saya mengikuti alur kerja yang kaku, karena platform dipaksa untuk:

• Analisis pertanyaan dan perluasan kata kunci;
• Memulihkan hasil web atas;
• Rerarank/ringkasan untuk respons akhir.

Ini cocok untuk hal -hal dasar, tetapi “runtuh” dalam skenario yang lebih rumit seperti perbandingan seni, dalam penelitian -Depth dan pembelian multi -langkah dan multi -factor. “Pada intinya, itu seperti upaya untuk bergerak dalam labirin dengan belokan tetap,” kata Zhu.

Genspark telah membangun mesin pencari di atas jenis fondasi ini, karena ditempatkan pada perbaikan bertahap termasuk sumber data khusus, pencarian paralel untuk penyelidikan yang lebih dalam dari informasi kompleks dan saling memeriksa faktor -faktor simultan untuk memverifikasi data yang sangat kompleks untuk “transaksi cepat, selama kontradiksi”. Tetapi mereka menyadari bahwa mereka masih “terikat” melalui alur kerja yang telah ditentukan sebelumnya.

Super Agent menggunakan sembilan dalam ukuran yang berbeda, dan perbedaan dalam spesialisasi Model bahasa (LLMS) dalam campuran faktor (MEE). Model menyimpan tugas ke dalam langkah -langkah, delegasi berdasarkan spesialisasi dan kekuatan, kemudian memotivasi satu sama lain. Super Agent juga dilengkapi dengan lebih dari 80 alat (dari sub -agen yang dapat membuat ikon ular ke yang dapat membuat panggilan telepon secara mandiri) dan lebih dari 10 pengumpulan data yang sesuai dari web, mitra, dan gudang.

Genspark memberikan tugas Claude, Openai, Google Gemini, Deepseek. “Dengan cara ini, kami meningkatkan ketepatan, dan mengurangi halusinasi.”

Perusahaan juga membentuk model perbatasannya. Namun, tidak terlalu agresif dalam menciptakan sistem modern seperti Deepseek V3 atau V4, seperti yang ditekankan Zhu. Tujuannya adalah bahwa model tersebut mengarah ke peningkatan tingkat rendah tetapi berat.

“Kami tidak berusaha membayar perbatasan model perbatasan,” katanya. “Kami berusaha mengurangi biaya dan jintan, karena banyak model kerajaan sangat besar, sangat lambat dan sangat mahal untuk banyak tugas yang relatif sederhana.”

Adapun arah pengkodean, tujuan Genspark adalah untuk memungkinkan semua orang untuk mengalami, bahkan untuk non -programmer di mana konsep tersebut mungkin “sangat jauh”.

“Banyak orang berpikir,” sebuah pengkodean yang semarak, saya mendengarnya, itu tampak hebat, tetapi saya tidak mengetahui lingkungan pengembang yang terintegrasi (IDE), saya tidak mengetahui simbolnya. “Menggunakan Genspark, orang sudah bisa terpengaruh.”

Visi harian tentang kasus penggunaan bisnis dengan VB setiap hari

Jika Anda ingin membujuk bos Anda di tempat kerja, Anda telah membahas VB setiap hari. Kami memberi Anda prioritas jurnalistik internal atas apa yang dilakukan perusahaan dengan kecerdasan buatan kebidanan, dari transformasi organisasi hingga operasi penerbitan praktis, sehingga Anda dapat berbagi visi pengembalian investasi maksimum.

Baca Kebijakan Privasi Kami

Terima kasih telah berlangganan. Periksa lebih banyak buletin VB di sini.

Terjadi kesalahan.

Sistem Sekolah Umum Verfax di Virginia meluncurkan penyelidikan atas tuduhan bahwa staf sekolah mengatur aborsi untuk siswa tanpa memberi tahu orang tua mereka, menurut laporan lokal.

Diklaim bahwa pejabat sekolah di Sekolah Menengah Senfelle di Union Hill mengatur dan menjadi sasaran anak perempuan pada tahun 2021, termasuk 17 tahun, menurut apa yang dia katakan. Port berita lokal WJLA.

“Kami telah belajar kemarin tentang tuduhan ini sejak 2021,” kata FCPS dalam sebuah pernyataan pada hari Rabu. “Kami meluncurkan investigasi langsung dan komprehensif karena kami menangani semua ketakutan akan kesejahteraan siswa dengan sangat serius.”

VA mencerminkan kebijakan administrasi Biden, yang menyediakan agen layanan aborsi, menyerukan hukum federal

Apakah karyawan FCPS telah mengatur aborsi untuk siswa, termasuk dalam kasus ini, wilayah tersebut mengatakan tidak mengetahui adanya kasus seperti itu.

“Kami bukan penyelidikan segera terhadap kekhawatiran ini segera setelah kami tahu,” kata Provinsi kepada WJLA.

Mantan manajer bagan merayakan penutupan fasilitas Houston: “tidak mengejutkan”

Pejabat sekolah di Sekolah Menengah Sentefil mengatur dan membatalkan gadis pada tahun 2021. (Gambar Getty)

Kebijakan FCPS menyatakan bahwa “segala upaya harus dilakukan untuk mendorong dan mendukung siswa yang mencurigai kehamilan untuk membahas keprihatinan mereka dengan orang tua atau orang tua mereka.” Namun, dia tidak mengatakan bahwa staf FCPS harus memberi tahu orang tua tentang percakapan ini.

Fox News Digital menghubungi FCP untuk komentar tambahan.

Ada satu siswa yang mengklaim telah dibatalkan oleh karyawan sekolah menengah Sinfille pada tahun 2021, pada usia 17 tahun, menurut WJLA. (Google Earth)

Klik di sini untuk mendapatkan aplikasi Fox News

Reaksi kelompok -kelompok yang mendukung kehidupan terhadap operasi aborsi “diatur secara diam -diam” untuk siswa di Sekolah Menengah Senfelle.

Saya menulis 40 hari seumur hidup di X. Ini adalah eksploitasi anak -anak dari negara.