On this day: Mar 16
3 records from this date, 2021 to 2026, gathered year by year — the most recent year first.
2026
This year · 2 recordsMistral AI releases LeanstralMistral AI
A move toward mechanically checking AI-generated code against formal specifications. Shifted the evaluation axis from competition math to contributions to real formalization projects
Open-Weight LineageOfficial
Mistral AI releases Mistral Small 4Mistral AI
Brought the trend of merging separate model families into a single set of weights to open weights
2021
5 years ago · 1 recordAltman posts Moore's Law for EverythingSam Altman
The first case of an AI lab CEO personally designing and putting forward a redistribution policy
People & DiscourseOfficial