200+ open problems in mathematics investigated by AI agents — proofs, disproofs, counterexamples, exact certificates, and AI-proposed conjectures. From answer generation to research-agenda generation.
☆19Sep 16, 2026Updated last month
Alternatives and similar repositories for AI-Has-Taste
Users that are interested in AI-Has-Taste are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Recursive Abstractive Processing for Tree-Organized Retrieval☆10May 30, 2024Updated 2 years ago
- A living guide of the systems that train, serve, and scale LLMs☆42Sep 1, 2026Updated last month
- ChatPaperPlus☆11Mar 13, 2023Updated 3 years ago
- This is a mirror of the latest stable version of CoMISo☆12Apr 6, 2023Updated 3 years ago
- ProfitPilot closes deals for you effortlessly 24/7, just provide a list of customer and ProfitPilot will reach out on your behalf and clo…☆21Sep 7, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆22Sep 25, 2026Updated 3 weeks ago
- ☆13Aug 27, 2026Updated last month
- EvE is an open-source framework for co-evolving ensembles of coding agents. Wrap Codex into an evolutionary loop that co-evolves solvers …☆62Aug 20, 2026Updated 2 months ago
- Quick preview of DLL and EXE files☆11Jun 19, 2023Updated 3 years ago
- Bachelor Thesis: Real-time Neural Radiance Caching in Heterogeneous Participating Media☆17Sep 9, 2024Updated 2 years ago
- ☆20Aug 17, 2026Updated 2 months ago
- ☆14Mar 11, 2022Updated 4 years ago
- Ricci flow experiments on discrete surfaces☆13Jul 4, 2026Updated 3 months ago
- Experimental plugin for asyncomplete.vim and tabnine☆13Jan 26, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A benchmark for scientific research agents, evaluating end-to-end paper reproduction across 12 research areas.☆40Oct 8, 2026Updated 2 weeks ago
- HBFSim (HBF Sim): an open-source High-Bandwidth Flash (HBF) simulator. Runs real LLM inference on a real GPU and injects modeled HBF timi…☆58Updated this week
- draw the Wythoff construction of uniform tilings in hyperbolic plane☆17Jun 7, 2025Updated last year
- MCP server providing multimodal vision capabilities via OpenAI-compatible API (Qwen3-VL, GPT-4o, etc.)☆20Feb 9, 2026Updated 8 months ago
- Robust PCA using Accelerating Alternating Projections in python☆16Nov 22, 2024Updated last year
- Jupyter notebook of GetFEM☆15Nov 9, 2023Updated 2 years ago
- fork of gitlab:OpenVolumeMesh/OpenVolumeMesh☆13Jun 1, 2026Updated 4 months ago
- ☆15Feb 23, 2025Updated last year
- 1,017 system prompts from real AI products, audited span by span against the eight AISPA assurance dimensions☆37Oct 13, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Jun 18, 2024Updated 2 years ago
- Newest ultimate bypass Qwen's AI Chat Endpoint - connect Qwen models from chat.qwen.ai to OpenCode. Supports Qwen 3.8 Max, Qwen 3.7 Plus …☆40Aug 9, 2026Updated 2 months ago
- neuralpy - neural network library written in python☆12Jun 25, 2023Updated 3 years ago
- Official implementation for "NADER: Neural Architecture Design via Multi-Agent Collaboration" (CVPR2025)☆15Aug 12, 2025Updated last year
- ☆37Sep 8, 2026Updated last month
- CUB-200-2011 dataset by classes folder☆12Nov 7, 2024Updated last year
- Compressible Linearized Navier-Stokes Solver☆13Sep 2, 2022Updated 4 years ago
- Enforces chinese laws in discord☆18Oct 7, 2024Updated 2 years ago
- A list of awesome papers on compression and acceleration of Large Language Models (LLMs) and Multimodal Large Language Models (MLLMs).☆18May 12, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 豆瓣命令行工具 + AI Agent Skill：查电影、剧集、图书和 Top250，导出备份豆瓣观影/读书记录，让 AI 放心地标记评分 | Douban CLI for movies, books & your ratings☆37Updated this week
- Real-event-anchored benchmark for detecting AI-generated videos in real-world crisis settings.☆137Aug 17, 2026Updated 2 months ago
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆27Aug 27, 2026Updated last month
- Source code of the work "Flexible 3D Cage-based Deformation via Green Coordinates on Bézier Patches"☆19Jun 9, 2026Updated 4 months ago
- ☆82Jul 25, 2026Updated 2 months ago
- 第十届信也杯大赛baseline代码仓库☆22Oct 15, 2025Updated last year
- Offline Clash Royale AI agent research: native simulation, imitation learning, PPO, and interactive evaluation. 离线对局模拟、模仿学习、强化学习与交互评测。☆181Oct 4, 2026Updated 2 weeks ago