Mert Ünsal(@mertunsal2020):Leanstral ahead of GPT-6-Astra on ArxivLean 🚀 we used a heavily parallel multi-agent scaffold and it’s with a ton of more compute and I am pretty sure Astra would do better if you scale its compute as well. but we do what we can!

Mert Ünsal

@mertunsal2020

Training models and building infra @MistralAI, prev. founding engineer @browser_use (YC W25), Kimina Prover @ProjectNumina @ETH_en

参加 January 2018

1.1K フォロー中 3.4K ファン

Mert Ünsal@mertunsal2020

2026.09.11 14:46

Leanstral ahead of GPT-6-Astra on ArxivLean 🚀 we used a heavily parallel multi-agent scaffold and it’s with a ton of more compute and I am pretty sure Astra would do better if you scale its compute as well. but we do what we can!

Albert Jiang@AlbertQJiang

2026.09.11 14:23

A lot of grinding from Leanstral 1.5 with a tiny bit of K3 orchestration get to beat GPT-6 Astra on ArXivLean. I think #tokens# is counted erroneously here but yes a 6B model does yap. Great internship work by Matéo Pirio Rossignol mentored by @roman_soletskyi!