Robinhoodin toimitusjohtajan Vlad Tenevin yhdessä perustama AI-startup, Harmonic, on julkaissut beetaversion AI-chatbot-sovelluksestaan iOS: lle ja Androidille, mikä tarjoaa käyttäjille pääsyn AI-malliinsa Aristoteleen. Yrityksen tavoitteena on laajentaa pääsyä Aristoteleen, jonka mukaan se tarjoaa ”hallusinaatiotonta” vastauksia matemaattisiin päättelykysymyksiin. Tämä on merkittävä väite, kun otetaan huomioon jatkuvat luotettavuusongelmat nykyisten AI -mallien kanssa.
Harmonisen ydintehtävänä on luoda ”matemaattinen superintelligenssi” (MSI). Startup aikoo laajentaa Aristoteleen kykyjä auttaa käyttäjiä eri aloilla, jotka luottavat matematiikkaan, mukaan lukien fysiikka, tilastot ja tietotekniikka. Harmoninen toimitusjohtaja ja perustaja Tudor Achim kertoi TechCrunch Se, että Aristoteles on ”ensimmäinen ihmisille, jotka ovat päättelemässä ja tarkistavat tulosteen”, lisäämällä ”Aristoteleen tukevien verkkotunnusten sisällä, jotka ovat kvantitatiivisia päättelyalueita, me tosiasiallisesti takaavat, ettei hallusinaatioita ole.”
Yhtiö aikoo myös julkaista API: n yrityksille pääsemään Aristoteleen ja Web -sovelluksen yleisille kuluttajille tulevaisuudessa. Harmonic ilmoitti, että Aristoteles saavutti kultamitalin suorituskyvyn vuoden 2025 kansainvälisellä Math Olympiad (IMO) muodollisen testin kautta, jossa ongelmat käännettiin koneen luettavissa olevaan muotoon. Tämä saavutus asettaa Aristoteleen Googlen ja Openain kehittämien AI -mallien rinnalle, jotka saavuttivat myös kultamitalin suorituskyvyn tämän vuoden IMO: ssa epävirallisten testien kautta luonnollisella kielellä. Tästä huolimatta Harmonic ei ole tällä hetkellä julkaissut muita Aristoteleen vertailuarvoja.
Tämä beeta -lanseeraus seuraa tarkkaan Harmontin onnistuneen B -sarjan rahoituskierroksen kantapäätä, joka keräsi 100 miljoonaa dollaria. Kierrosta johti Kleiner Perkins, ja arvostavat yritystä 875 miljoonaan dollariin. Achim ilmoitti, että harmoninen ”etenee erittäin nopeasti” polun saavuttamiseen MSI: n saavuttamiseen, ja sijoittajat uskoivat, että arvostus oli oikeudenmukainen ottaen huomioon käynnistyksen tavoitteen laajuus.
Useat johtavat teknologiayritykset keskittyvät aktiivisesti AI -malleihin matemaattisten ongelmien ratkaisemiseksi. AI: n kyky suorittaa matematiikka on sinänsä arvokasta, ja matematiikkaa pidetään myös ainutlaatuisesti todennettavissa olevana verkkotunnuksena, joka vaatii keskeisiä päättelytaitoja. Järjestelmät, jotka kykenevät kehittämään näitä taitoja, voivat osoittautua hyödyllisiksi myös muilla alueilla. Achim selitti, että harmoninen saavuttaa suuren tarkkuuden saattamalla Aristoteles-vastaukset Lean-ohjelmissa, avoimen lähdekoodin ohjelmointikielellä. Ennen vastausta käyttäjille malli algoritmisesti tarkistaa ratkaisun oikeellisuuteen, prosessiin, joka ei sisällä AI: tä. Achim totesi, että samanlaista varmennustekniikkaa käytetään korkean panoksen aloilla, kuten lääkinnällisissä laitteissa ja ilmailussa.
Hallusinaatiovapaan suorituskyvyn saavuttaminen AI-mallista, jopa kapealla alueella, on uskomattoman vaikea tehtävä. Tutkimukset ovat osoittaneet, että jopa AI -mallejen johtaminen usein hallusinaattina, ja tämä ongelma ei ole osoittanut merkittäviä parannuksia merkkejä, jolloin jotkut Openain viimeisimmistä päättelemalleista on jopa enemmän hallusinaatioita kuin heidän edeltäjänsä.
Source: Tämä startup väittää, että se on ratkaissut AI: n hallusinaatioongelman
