dimacs logo color

Events

Event Calendar

« Previous Month

August 2026

Next Month »
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Seminar Details

O-Forge: A Verifiable, LLM-driven Framework for Proving Inequalities in Research Mathematics

  • Start Date: November 5, 2025
  • Event Start Time: 2:00 PM
  • Event End Time: 3:00 PM
  • Seminar Series: AI and Mathematics Seminar
  • Presenter(s): Ayush Khaitan - Rutgers University
  • Event Location: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
  • Presentation Type: Stand Alone Presentation
  • Abstract:

    We introduce an LLM + computer software framework for proving sophisticated inequalities in research mathematics. We first ask a frontier LLM to break up a problem into its simplest parts, and then ask a computer algebra system to complete the proof for each part. In doing so, we solve a concrete question posed by Terence Tao. This is joint work with Vijay Ganesh (Georgia Tech).