chiwilliams
Re:Sharing AI progress in mathematics
on Tuesday October 06, 2026 @07:47PM (#49985835)
There are competitive reasons that they don't want to share all the people on the team.
Trillium Labs (Nathan Lambert's new effort)
OpenAI's Astra model is shockingly good at robotics
How mathematicians are responding to AI
Re:Anthropic apologizes for invisible Claude Fable guardrails
on Thursday June 11, 2026 @04:41PM (#48496127)
Thanks for flagging this. This is interesting
Re:An OpenAI model has disproved a central conjecture in discrete geom...
on Friday May 22, 2026 @05:29PM (#48241908)
It didn't seem like nonsense to me. (Recently graduated undergrad with a math degree; probably could have gone to PhD). It seemed like the AI was cycling through a bunch of different possible approaches to tackle the problem. Eventually it finds one and makes more progress there until it reaches the solution
China's Mandate of AI
Conductors who died while conducting
Humanity's Last Machine
Debunking Moravec's Paradox [video]
AI Safety ArXiv Scraper
Re:AI World Clocks
on Friday November 14, 2025 @02:52PM (#45931373)
I'll also note that the output isn't quite right --- the top number should be 13 rather than 1!
The Role of Open Source in Robotics
Android Dreams [AI 2027 for robotics]
Re:Maintaining a Music Library, Ten Years On
on Monday November 03, 2025 @07:02PM (#45806003)
I've pursued a similar strategy via CDs found in resale shops. I've gotten a good collection going, but there's a very specific selection of CDs popular enough for people to buy but not so good that they kept it.
Waymo involved in second fatal crash – not at fault
When an AI Seems Conscious
Re:How I code with AI on a budget/free
on Saturday August 09, 2025 @09:29PM (#44852030)
I'm assuming it isn't sensitive for your purposes, but note that Google will train on these interactions, but not if you pay.
Re:Compression culture is making you stupid and uninteresting
on Tuesday July 22, 2025 @01:32PM (#44650466)
> For centuries, communities gathered around the fire to hear the same saga recited for the hundredth time. The listeners didn't grow impatient with the familiar opening formulas, the elaborate genealogies, the detailed descriptions of weapons and weather.
I generally agree with the broad strokes of this post, but this description gives me pause. How do we know that listeners didn't grow impatient? Though I suppose it would take a good deal of compression to answer this :)
Re:Exhausted man defeats AI model in world coding championship
on Friday July 18, 2025 @06:56PM (#44610699)
He's retired, so I'm guessing more about the clout. Or even just "love of the game"? He had a fairly popular tweet thread a couple years back where he wrote out 80 tips for competitive programming -- that feels less likely to be clout based
Re:Exhausted man defeats AI model in world coding championship
on Friday July 18, 2025 @06:52PM (#44610667)
He did use a little autocomplete apparently, but used [Vscode](https://x.com/jacob_posel/status/1945585787690738051).
And it's not against the rules to use LLMs apparently in the competition. (https://atcoder.jp/posts/1495). I'd be curious what other competitors used.
Re:WhatsApp to start showing more adverts in messaging app
on Monday June 16, 2025 @10:27AM (#44289858)
Ugh
WhatsApp adds ads to the status screen
Re:Introducing TiānshūBench (天书Bench)
on Saturday May 31, 2025 @11:54PM (#44148552)
Cool project! I have a couple of questions that would be nice in the writeup:
* How did you generate your example problems? Did you take an existing benchmark? Or did you have LLMs generate the problems?
* Do you have any thought to adding a second "base programming language" to alter? I'm not sure that there's enough variation as there is. (Another thought would be to generate 4 or 5 different new languages, each quite different, and then run the benchmark on each of those languages? I'm not sure how much the fact that it is randomly generated each time matters that much?)
But overall, a clever idea!