Friday, October 9, 2026 Today’s Paper
Log in Join free
Vol. I · No. 10 Texas Edition
Friday, Oct 9
Xultr
Texas first. Then the world.
Always free Updated 1 minute ago
Read. React. Discuss.
Tech

Using OpenAI Dots as an agent swarm to prove new math, for free (Lean verified)

Hacker News (Newest) By jychang 2 views 0 comments

Article URL: https://unexcitedneurons.substack.com/p/i-used-openai-dots-as-an-agent-swarm

Comments URL: https://news.ycombinator.com/item?id=49971444

Points: 1

# Comments: 1

Hacker News (Newest) Original story · unexcitedneurons.substack.com
Read the full story
How does this story make you feel?
👍 ❤️ 💡 😮 😂 😢 😠

Discussion (0)

No comments yet. Start the conversation!

More to read