Pramaana Labs: 27-Millionen-Seed fĂĽr formale Verifikation von KI in sensiblen Workflows
SAN FRANCISCO / LONDON (IT BOLTWISE) – Pramaana Labs sichert sich 27 Millionen US-Dollar Seed-Finanzierung, um KĂĽnstliche Intelligenz in besonders fehlerkritischen Bereichen wie Steuerrecht, Arzneimittelforschung und juristischen Prozessen belastbarer zu machen. Das Startup setzt auf eine Kombination aus klassischem Large Language Model und einer deterministischen Verifikationsschicht, die die Korrektheit der KI-Antworten ĂĽberprĂĽfbar machen soll. Damit […]
OpenAI-KI widerlegt Erdős’ Planar-Unit-Distance-Problem
LONDON (IT BOLTWISE) – OpenAI berichtet, dass ein KI-Modell eine seit fast 80 Jahren ungeklärte Vermutung aus der diskreten Geometrie widerlegt hat. Konkret geht es um das Planar Unit Distance Problem, das auf Paul ErdĹ‘s’ Arbeiten von 1946 zurĂĽckgeht. Der Ansatz soll nicht auf spezialisierter Mathe-Software beruhen, sondern auf einem allgemeinen Reasoning-Modell, das Geometrie mit […]
#Sophos
#AmazonPrime
#Bestseller
