||
Horúca novinka
OpenAI predstavuje GPT-5.1 Turbo s rekordnou rýchlosťou • Google Gemini 3 Ultra prekonáva benchmarky • EÚ schvaľuje nové pravidlá pre generatívnu AI • Anthropic spúšťa Claude Opus 4 v Európe   •   OpenAI predstavuje GPT-5.1 Turbo s rekordnou rýchlosťou • Google Gemini 3 Ultra prekonáva benchmarky • EÚ schvaľuje nové pravidlá pre generatívnu AI • Anthropic spúšťa Claude Opus 4 v Európe
AI Expres — Rýchle novinky zo sveta umelej inteligencie

#formálne overovanie

2 článk(ov)

Leanstral 1.5: Prelom v matematickom overovaní a objavovaní chýb

Mistral AI uvádza Leanstral 1.5, open-source model, ktorý exceluje vo formálnom matematickom overovaní a identifikácii chybných kódov. Tento model odhalil päť nových chýb pri analýze 57 open-source repozitárov.

Pramaana Labs získava 27 miliónov dolárov na overovanie AI

Pramaana Labs získala investíciu 27 miliónov dolárov na podporu formálneho overovania AI v oblastiach, kde je presnosť kľúčová. Táto investícia prichádza v čase, keď sa dôveryhodnosť AI stáva prioritou.