Cogentic multi-agent system automates theorem proving, solves open problems

·1 views

Researchers developed Cogentic, a multi-agent orchestration system designed to automate complex mathematical theorem proving. The system uses an orchestrator to manage independent prover agents exploring different proof directions, with a verification layer that checks results before they are added to a shared ledger. This architecture successfully produced novel results on five previously open research problems in online learning and auction theory, using Gemini as its base language model. The approach overcomes limitations of single-agent methods by enabling parallel exploration and preventing duplication of work through a shared knowledge base. The framework's patterns for coordination and state management are applicable to research tasks beyond mathematics.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

AI Models Show Bias in Indian Context Benchmark Study

A study benchmarked frontier AI models using field data from 123 university students in Goa, India. Researchers tested models on 24 real institutional disputes across education, healthcare, justice and finance sectors. The benchmark measured four metrics including ambiguity resistance, demographic parity, persona sycophancy and human alignment. Results showed all evaluated models failed to achieve demographic parity in their decisions. The study highlights how current AI evaluations using Western templates may not capture model behavior in diverse cultural contexts.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Developer finds uncalibrated AI website classifier reduces conversion rates.

A developer created a website, Evolve, that dynamically rewrites its content for different visitor segments using a genetic algorithm and an AI classifier called Laya. The system assigns visitors to segments like 'recruiter' or 'developer' and serves optimized page variants based on their predicted interests. Testing revealed that using a poorly calibrated classifier for segmentation resulted in lower conversion rates than using no segmentation at all. The project concluded that calibration is critical for an AI routing system to perform safely and effectively.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

AI in schools prompts ethical questions about its role in student wellbeing

Artificial intelligence is increasingly integrated into education for tasks like lesson planning, study assistance, and administrative support. Developers are now creating tools that interact with students' emotions and wellbeing, raising ethical concerns. The key question is not the technical capabilities of AI but where its role in student wellbeing should begin and end. Experts argue such tools require careful design, strong privacy safeguards, and clear boundaries to avoid replacing crucial human relationships. Applications focused on practical, non-judgmental support, like organizing resources or providing general prompts, are seen as more appropriate than those attempting to diagnose or counsel.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Guide: Using a Disposable macOS VM to Safely Test Untrusted Software on Apple Silicon

A technical guide recommends creating a macOS virtual machine to test potentially untrusted applications safely. This approach provides an isolated environment on Apple Silicon Macs, keeping the host system's files and data separate from the software being tested. The process involves creating a clean VM, using a cloned copy for testing, and avoiding sharing sensitive host directories. The method is intended for cautious evaluation of unverified software, not for analyzing malicious malware.

0 comments Read more at DEV Community