EmbeddingGemma 2: an open, lightweight multimodal embedding model
deepmind.google·6d ago
AI Engineering
Hacker News·24d ago·5 min read
I Vibed a Proof of Conway's Conjecture
TL;DR
A proof of Conway's refinement conjecture was developed using AI tools, particularly Lean and ChatGPT, although it remains unverified by mathematicians. The approach involved a collaborative AI workflow that generated new insights into surreal numbers and their properties.
✦ Why It Matters
Explore AI-driven approaches to tackle complex mathematical problems in your own research or projects.
Key Takeaways
- Utilize AI models to explore open mathematical problems.
- Set up specialized AI agents for collaborative research.
- Critically evaluate AI-generated outputs for coherence.
- Document findings rigorously to identify potential errors.
How It Works
The author created a structured AI workflow involving multiple agents, each with specific roles, to collaboratively explore Conway's conjecture. This included a project manager to drive the research, math agents to propose breakthroughs, and a red agent to critique findings.
The use of Codex allowed for better control over the workflow, enabling continuous communication and task management among agents.