
![]() | Bardic Labs AI solutions and automations, built in Singapore. Bardic Labs builds practical AI systems for teams across Singapore and Southeast Asia: document pipelines, internal copilots, and customer-facing agents that run in production rather than in a demo. Start with a free automation audit and find out what is worth handing to a machine. Book a free audit → |

Sharing AI progress in mathematics
Leading today: Sharing AI progress in mathematics. Also in this issue: Mistral Large 4: "Le Chonk"; Mistral Large 4. 16 stories in total, selected automatically from 77 candidates across the day's feeds.

| 1 | openai.com Sharing AI progress in mathematicsOpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub. |
| 2 | mistral.ai Mistral Large 4: "Le Chonk"Trending on Hacker News (518 points, 5 comments). |
| 3 | mistral.ai Mistral Large 4Trending on Hacker News (1593 points, 967 comments). |

Google's new Nano Banana 2.1 image model uses Gemini 3.6 Flash and beats the previous Pro model in some benchmarks at a lower cost.
Read →Microsoft published a bearish AI outlook from Nobel economist Daron Acemoglu. He predicts about 1.5 percent GDP growth over ten years and at most five percent of jobs replaced.
Read →The AI lab's personal assistant is an operating system from the future designed to compete with Muse, Dots, and Instinct.
Read →Google DeepMind's EmbeddingGemma 2 maps 5 input types into one 768d space and ships today under Apache 2.0.
Read →Mistral AI has released Mistral Large 4, nicknamed Le Chonk, as a public preview. It is a 1.05 trillion parameter Mixture of Experts model with 49 billion active parameters, native image input, and a 1 million token cont...
Read →Reka has released Rho-1, a 19B omni-reasoning model trained from scratch. One network reads and generates text, images, video and robot actions over a shared KV cache.
Read →
Jump Trading uses OpenAI to expand quantitative research. See how longer-running AI workflows combine multiple data sources with human review.
Read →Telecom operators are increasingly building their AI strategies on open models — and the reasons go beyond mere cost.
Read →Jennifer Neville did not want to go into computer science—but that’s exactly where she landed.
Read →On Tuesday, Musubi announced a lightweight decision model made for real-time moderation called PolicyLM-1.7B, released with open weights.
Read →Pipeline figures in ML papers must be repurposed across many canvases, including paper columns, 16:9 slides, portrait posters, 1:1 social teasers, 9:16 phone previews.
Read →In this paper, we study how training data creates associations between the tokens at the start of a base model's response and the reasoning behavior that follows.
Read →
Trending on Hacker News (236 points, 300 comments).
Read →The AI industry, condensed into a five minute read. Free, and you can leave whenever.
Subscribe free