Loading activity…
@albertqjiang
Aspire to get schmidhubered one day Account mainly sharing classical music opinions
AI
A post argues that human tasks are now too easy to use as AI benchmarks in many domains.
AI
Mistral says Mistral Large 4 is live via API in public preview now, with open weights due at the end of October. Reuters says the launch is part of Mistral’s push to narrow the gap with leading Chinese open-weight models.
AI
One post connects the question of knowledge’s usefulness to the step-by-step automation of knowledge production.
AI
A post says OpenAI told The New York Times it had made “substantial progress” on a Millennium Prize problem, while describing a Hodge Conjecture solution as a rumor.
AI
The user credits “a lot of grinding” and a little K3 orchestration, while flagging a possible error in the token count.
AI
The user describes Leanstral as a 6-billion-parameter model and suspects the displayed token count is incorrect.
AI
Anthropic's AI generated a Lean formalization of the theorem along with supporting proofs.
